Fișier:Venn0001.svg

Mărimea acestei previzualizări PNG a acestui fișier SVG: 384 × 280 pixeli. Alte rezoluții: 320 × 233 pixeli | 640 × 467 pixeli | 1.024 × 747 pixeli | 1.280 × 933 pixeli | 2.560 × 1.867 pixeli.

Mărește rezoluția imaginii ‎(Fișier SVG, cu dimensiunea nominală de 384 × 280 pixeli, mărime fișier: 3 KB)

Acest fișier se află la Wikimedia Commons. Consultați pagina sa descriptivă acolo.

Descriere fișier

DescriereVenn0001.svg	Intersection math
Sursă	Acestui fișier îi lipsesc informațiile despre sursă. Vă rugăm să oferiți sursa acestui fișier modificându-i descrierea.
Autor	Acestui fișier îi lipsesc informațiile despre autor.
Permisiune (Reutilizarea acestui fișier)	Public Domain
SVG dezvoltare InfoField	The source code of this SVG is invalid due to 12 errors. Această imagine vectorială a fost creată cu Inkscape.

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.

Această muncă este neeligibilă pentru drepturi de autor și prin urmare în domeniul public, deoarece constă în întregime din informații care sunt proprietate comună și nu conține autor original.

Istoricul fișierului

Apăsați pe Data și ora pentru a vedea versiunea trimisă atunci.

	Data și ora	Dimensiuni	Utilizator	Comentariu
actuală	2 martie 2024 02:14	384x280 (3 KB)	Watchduck	cleaner code and lighter red (overwritten with Pywikibot)
	26 iulie 2009 17:06	384x280 (3 KB)	Watchduck
	26 iulie 2009 17:05	384x280 (3 KB)	Watchduck
	26 ianuarie 2008 16:24	615x463 (4 KB)	Watchduck	{{Information \|Description= \|Source=eigene arbeit \|Date= \|Author= Tilman Piesk \|Permission= \|other_versions= }}
	22 ianuarie 2008 18:57	615x463 (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= }}
	22 ianuarie 2008 17:26	480x360 (3 KB)	Watchduck	{{Information \|Description= \|Source= \|Date= \|Author= \|Permission= \|other_versions= }}

Utilizarea fișierului

Următoarele pagini conțin această imagine:

Utilizarea globală a fișierului

Următoarele alte proiecte wiki folosesc acest fișier:

Utilizare la als.wikipedia.org
- Menge (Mathematik)
- Mengenlehre
Utilizare la am.wikipedia.org
- ስብስብ
- የጋራ ስብስብ
Utilizare la anp.wikipedia.org
- समुच्चय सिद्धान्त
Utilizare la ar.wikipedia.org
Utilizare la ast.wikipedia.org
- Interseición de conxuntos
Utilizare la az.wikipedia.org
- Çoxluqlar nəzəriyyəsi
Utilizare la bar.wikipedia.org
- Grundlogn vo da Mathematik
Utilizare la ba.wikipedia.org
- Күмәклек
Utilizare la be-tarask.wikipedia.org
- Мноства
Utilizare la be.wikipedia.org
- Мноства
Utilizare la bg.wikipedia.org
Utilizare la bn.wikipedia.org
Utilizare la ca.wikipedia.org
Utilizare la ckb.wikipedia.org

Vizualizați utilizările globale ale acestui fișier.

Informații

Acest fișier conține informații suplimentare, introduse probabil de aparatul fotografic digital sau scannerul care l-a generat. Dacă fișierul a fost modificat între timp, este posibil ca unele detalii să nu mai fie valabile.

Lățime	307.28000pt
Înălțime	223.89000pt