Súbor:Venn0001.svg

Veľkosť tohoto PNG náhľadu tohoto SVG súboru: 384 × 280 pixelov. Iné rozlíšenia: 320 × 233 pixelov | 640 × 467 pixelov | 1 024 × 747 pixelov | 1 280 × 933 pixelov | 2 560 × 1 867 pixelov .

Pôvodný súbor (SVG súbor, 384 × 280 pixelov, veľkosť súboru: 3 KB)

Tento zdieľaný súbor je z Wikimedia Commons a je možné ho používať na iných projektoch. Nižšie sú zobrazené informácie z popisnej stránky súboru.

Zhrnutie

Popis

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.

Dátum

22. januára 2008

Zdroj

Vlastné dielo

Autor

Watchduck

SVG vývoj

Zdrojový kód tohoto SVG je validní.

Táto grafika bola vytvorená pomocou Inkscape.

Licencovanie

Tento soubor nemůže být předmětem autorských práv, a je tedy volným dílem, protože sestává výhradně z informací, jež jsou veřejným vlastnictvím, a neobsahuje žádné autorské dílo.

História súboru

Po kliknutí na dátum/čas uvidíte ako súbor vyzeral vtedy.

	Dátum/Čas	Náhľad	Rozmery	Používateľ	Komentár
aktuálna	22:05, 23. január 2025		384 × 280 (3 KB)	wikimediacommons>Watchduck	correct size

Použitie súboru

Na tento súbor odkazuje nasledujúca stránka:

Symetrická diferencia

Súbor:Venn0001.svg

Zhrnutie

Operations and relations in set theory and logic

Licencovanie

Štítky

Položky prezentované týmto súborom

motív

objem dát

2 908 bajt

výška

280 obrazový prvok

šírka

384 obrazový prvok

MIME

image/svg+xml

kontrolný súčet

a85bb40a017725cd08586a1c770f055653854c0b

História súboru

Použitie súboru

Navigačné menu

Súbor:Venn0001.svg

Zhrnutie

Operations and relations in set theory and logic

Licencovanie

Štítky

Položky prezentované týmto súborom

motív

objem dát

2 908 bajt

výška

280 obrazový prvok

šírka

384 obrazový prvok

MIME

image/svg+xml

kontrolný súčet

a85bb40a017725cd08586a1c770f055653854c0b

História súboru

Použitie súboru

Navigačné menu

Hľadať