Figure:Venn0111.svg

Dimensioni di questa anteprima PNG per questo file SVG: 380 × 280 pixels. Altris risoluzions: 320 × 236 pixels | 640 × 472 pixels | 1 024 × 755 pixels | 1 280 × 943 pixels | 2 560 × 1 886 pixels.

File origjnâl (file tal formât SVG, dimensions nominâls 380 × 280 pixels, dimensions dal file: 351 byte)

Chest file al ven di Wikimedia Commons e al pues jessi doprât di altris progjets. La descrizion su la sô pagjine di descrizion e je mostrade ca sot.

Descrizion

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

A^c

\scriptstyle \cup

B^c

true
^{A ↔ A}

A

\scriptstyle \cup

B

A

\scriptstyle \subseteq

B^c

A

\scriptstyle \Leftrightarrow

A

\scriptstyle \supseteq

B^c

A

\scriptstyle \cup

B^c

¬A

\scriptstyle \lor

¬B
^{A → ¬B}

A

\scriptstyle \Delta

B

A

\scriptstyle \lor

B
^{A ← ¬B}

A^c

\scriptstyle \cup

B

A

\scriptstyle \supseteq

B

A

\scriptstyle \Rightarrow

¬B

A = B^c

A

\scriptstyle \Leftarrow

¬B

A

\scriptstyle \subseteq

B

B^c

A

\scriptstyle \lor

¬B
^{A ← B}

A

\scriptstyle \oplus

B
^{A ↔ ¬B}

A^c

¬A

\scriptstyle \lor

B
^{A → B}

B

B = ∅

A

\scriptstyle \Leftarrow

B

A = ∅^c

A

\scriptstyle \Leftrightarrow

¬B

A = ∅

A

\scriptstyle \Rightarrow

B

B = ∅^c

¬B

A

\scriptstyle \cap

B^c

A

(A

\scriptstyle \Delta

B)^c

¬A

A^c

\scriptstyle \cap

B

\scriptstyle \Leftrightarrow

false

A

\scriptstyle \Leftrightarrow

true

A = B

A

\scriptstyle \Leftrightarrow

false

B

\scriptstyle \Leftrightarrow

true

A

\scriptstyle \land

¬B

A^c

\scriptstyle \cap

B^c

A

\scriptstyle \leftrightarrow

B

A

\scriptstyle \cap

B

¬A

\scriptstyle \land

B

A

\scriptstyle \Leftrightarrow

B

¬A

\scriptstyle \land

¬B

∅

A

\scriptstyle \land

B

A = A^c

false
^{A ↔ ¬A}

A

\scriptstyle \Leftrightarrow

¬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

The operations, arranged in the same matrix as above. The 2x2 matrices show the same information like the Venn diagrams. (This matrix is similar to this Hasse diagram.) In set theory the Venn diagrams represent the set, which is marked in red.	These 15 relations, except the empty one, are minterms and can be the case. The relations in the files below are disjunctions. The red fields of their 4x4 matrices tell, in which of these cases the relation is true. (Inherently only conjunctions can be the case. Disjunctions are true in several cases.) In set theory the Venn diagrams tell, that there is an element in every red, and there is no element in any black intersection.
Negations of the relations in the matrix on the right. In the Venn diagrams the negation exchanges black and red. In set theory the Venn diagrams tell, that there is an element in one of the red intersections. (The existential quantifications for the red intersections are combined by or. They can be combined by the exclusive or as well.)	Relations like subset and implication, arranged in the same kind of matrix as above. In set theory the Venn diagrams tell, that there is no element in any black intersection.

Questo documento non possiede i requisiti per essere soggetto a copyright ed è quindi nel pubblico dominio, poiché è costituito interamente da informazioni di proprietà comune e non contiene nessun contributo originale dai suoi autori.

Storic dal file

Frache suntune date/ore par viodi il file cemût che al jere in chel moment.

	Date/Ore	Miniature	Dimensions	Utent	Coment
atuâl	28 di Set 2024 a lis 23:19		380 × 280 (351 byte)	wikimediacommons>Watchduck	Shade of red and thinner lines match other image sets.

Ûs dal file

La pagjine ca sot e dopre chest file:

Insiemi

Figure:Venn0111.svg

Descrizion

Operations and relations in set theory and logic

Didascalie

Elementi ritratti in questo file

raffigura ^talian

stato del copyright ^talian

pubblico dominio ^talian

tipo di file ^talian

image/svg+xml

dimensione dati ^talian

351 byte

checksum ^talian

b20941867d2d9624ac4736c766fc69e637f84c39

Storic dal file

Ûs dal file

Menù di Navigazion

Figure:Venn0111.svg

Descrizion

Operations and relations in set theory and logic

Didascalie

Elementi ritratti in questo file

raffigura talian

stato del copyright talian

pubblico dominio talian

tipo di file talian

image/svg+xml

dimensione dati talian

351 byte

checksum talian

b20941867d2d9624ac4736c766fc69e637f84c39

Storic dal file

Ûs dal file

Menù di Navigazion

Cîr

raffigura ^talian

stato del copyright ^talian

pubblico dominio ^talian

tipo di file ^talian

dimensione dati ^talian

checksum ^talian