Súbor:Venn0110.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

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.

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	Rozmery	Používateľ	Komentár
aktuálna	23:14, 1. marec 2024	384 × 280 (3 KB)	Watchduck	cleaner code and lighter red (overwritten with Pywikibot)
	14:09, 26. júl 2009	384 × 280 (3 KB)	Watchduck
	13:28, 26. január 2008	615 × 463 (4 KB)	Watchduck	{{Information \|Description= \|Source=eigene arbeit \|Date= \|Author= Tilman Piesk \|Permission= \|other_versions= }}
	16:02, 22. január 2008	615 × 463 (4 KB)	Watchduck	{{Information \|Description=Venn diagrams (sometimes called Johnston diagrams) concerning propositional calculus and set theory \|Source=own work \|Date=2008/Jan/22 \|Author=Tilman Piesk \|Permission=publich domain \|other_versions= }}

Použitie súboru

Na tento súbor odkazujú nasledujúce 2 stránky:

Globálne využitie súborov

Nasledovné ďalšie wiki používajú tento súbor:

Použitie na als.wikipedia.org
- Mengenlehre
Použitie na am.wikipedia.org
Použitie na ar.wikipedia.org
Použitie na ba.wikipedia.org
- Күмәклек
Použitie na bn.wikipedia.org
- ভেন রেখাচিত্র
Použitie na ca.wikipedia.org
Použitie na cs.wikipedia.org
- Množina
- Symetrická diference
Použitie na cv.wikipedia.org
- Симметрилле расналăх
Použitie na de.wikipedia.org
Použitie na de.wikibooks.org
Použitie na de.wikiversity.org
- Benutzer:Watchduck/Spielwiese
Použitie na en.wikipedia.org
Použitie na en.wikibooks.org

Zobraziť ďalšie globálne použitie tohto súboru.

Metadáta

Tento súbor obsahuje ďalšie informácie, pravdepodobne pochádzajúce z digitálneho fotoaparátu či skenera, ktorý ho vytvoril alebo digitalizoval. Ak bol súbor zmenený, niektoré podrobnosti sa nemusia plne zhodovať so zmeneným súborom.

Šírka	307.28000pt
Výška	223.89000pt

Súbor:Venn0110.svg

Zhrnutie

Operations and relations in set theory and logic

Štítky

Položky prezentované týmto súborom

motív

Vennov diagram

vylučujúce alebo

História súboru

Použitie súboru

Globálne využitie súborov

Metadáta