Файл:Venn0111.svg
Перайсці да навігацыі
Перайсці да пошуку
Памер гэтага PNG-прагляду для SVG-файла: 380 × 280 пікселяў. Іншыя раздзяляльнасці: 320 × 236 пікселяў | 640 × 472 пікселяў | 1 024 × 755 пікселяў | 1 280 × 943 пікселяў | 2 560 × 1 886 пікселяў.
Арыгінальны файл (файл SVG, намінальна 380 × 280 кропак, аб’ём файла: 351 байтаў)
Тлумачэнне
One of 16 Venn diagrams, representing 2-ary Boolean functions like set operations and logical connectives:
Operations and relations in set theory and logic
| ∅c |
A = A |
|||||||||||||
 |
 |
|||||||||||||
| Ac Bc |
true A ↔ A |
A B |
A Bc |
AA |
A Bc |
|||||||||
 |
 |
 |
 |
|||||||||||
| A Bc |
¬A ¬B A → ¬B |
A B |
A B A ← ¬B |
Ac B |
A B |
A¬B |
A = Bc |
A¬B |
A B |
|||||
 |
 |
 |
 |
 |
 |
|||||||||
| Bc |
A ¬B A ← B |
A |
A B A ↔ ¬B |
Ac |
¬A B A → B |
B |
B = ∅ |
AB |
A = ∅c |
A¬B |
A = ∅ |
AB |
B = ∅c | |
 |
 |
 |
 |
 |
 |
 |
| |||||||
| ¬B |
A Bc |
A |
(A B)c |
¬A |
Ac B |
B |
Bfalse |
Atrue |
A = B |
Afalse |
Btrue | |||
 |
 |
 |
 |
 |
 |
|||||||||
| A ¬B |
Ac Bc |
A B |
A B |
¬A B |
AB |
|||||||||
 |
 |
 |
 |
|||||||||||
| ¬A ¬B |
∅ |
A B |
A = Ac |
|||||||||||
 |
 |
|||||||||||||
| false A ↔ ¬A |
A¬A |
|||||||||||||
| These sets (statements) have complements (negations). They are in the opposite position within this matrix. |
These relations are statements, and have negations. They are shown in a separate matrix in the box below. | |||||||||||||
| more relations | ||||
|---|---|---|---|---|
|
|
This work is ineligible for copyright and therefore in the public domain because it consists entirely of information that is common property and contains no original authorship. |
Гісторыя файла
Націснуць на даце з часам, каб паказаць файл, якім ён тады быў.
| Дата і час | Драбніца | Памеры | Удзельнік | Тлумачэнне | |
|---|---|---|---|---|---|
| актуальн. | 23:19, 28 верасня 2024 | | 380 × 280 (351 байтаў) | wikimediacommons>Watchduck | Shade of red and thinner lines match other image sets. |
Выкарыстанне файла
Наступная 1 старонка выкарыстоўвае гэты файл:
