Figure:Venn0001.svg

Dimensioni di questa anteprima PNG per questo file SVG: 384 × 280 pixels. Altris risoluzions: 320 × 233 pixels | 640 × 467 pixels | 1 024 × 747 pixels | 1 280 × 933 pixels | 2 560 × 1 867 pixels.

File origjnâl (file tal formât SVG, dimensions nominâls 384 × 280 pixels, dimensions dal file: 3 KB)

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

English: 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.

Date

22 Zenâr 2008

Sorzint

Opere personâl

Autôr

Watchduck

SVG sviluppo

Il codice sorgente di questo file SVG è valido.

Questo diagramma in grafica vettoriale è stato creato con Inkscape.

Licence pal ûs

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	23 di Zen 2025 a lis 22:05		384 × 280 (3 KB)	wikimediacommons>Watchduck	correct size

Ûs dal file

La pagjine ca sot e dopre chest file:

Insiemi

Figure:Venn0001.svg

Descrizion

Operations and relations in set theory and logic

Licence pal ûs

Didascalie

Elementi ritratti in questo file

raffigura ^talian

dimensione dati ^talian

2 908 byte

altezza ^talian

280 pixel

larghezza ^talian

384 pixel

tipo di file ^talian

image/svg+xml

checksum ^talian

a85bb40a017725cd08586a1c770f055653854c0b

Storic dal file

Ûs dal file

Menù di Navigazion

Figure:Venn0001.svg

Descrizion

Operations and relations in set theory and logic

Licence pal ûs

Didascalie

Elementi ritratti in questo file

raffigura talian

dimensione dati talian

2 908 byte

altezza talian

280 pixel

larghezza talian

384 pixel

tipo di file talian

image/svg+xml

checksum talian

a85bb40a017725cd08586a1c770f055653854c0b

Storic dal file

Ûs dal file

Menù di Navigazion

Cîr

raffigura ^talian

dimensione dati ^talian

altezza ^talian

larghezza ^talian

tipo di file ^talian

checksum ^talian