Saltu al enhavo

Dosiero:Venn0111.svg

Paĝenhavo ne ekzistas en aliaj lingvoj.
El Vikipedio, la libera enciklopedio

Bildo en pli alta difino (SVG-dosiero, 380 × 280 rastrumeroj, grandeco de dosiero: 351 bajtoj)

Jen dosiero de la Wikimedia-Komunejo. La priskribo en ties priskriba paĝo estas montrata suben.
La Komunejo estas dosieruja retejo de libere licencitaj dosieroj.

Resumo

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
1111 1111
 
Ac  Bc		 true
A ↔ A		  
A  B		  
A  Bc		 AA
 		  
A  Bc
1110 0111 1110 0111
 
A  Bc		 ¬A  ¬B
A → ¬B		  
A  B		 A  B
A ← ¬B		  
Ac B		  
A B		 A¬B
 		  
A = Bc		 A¬B
 		  
A B
1101 0110 1011 1101 0110 1011
 
Bc		 A  ¬B
A ← B		  
A		 A  B
A ↔ ¬B		  
Ac		 ¬A  B
A → B		  
B		  
B = ∅		 AB
 		  
A = ∅c		 A¬B
 		  
A = ∅		 AB
 		  
B = ∅c
1100 0101 1010 0011 1100 0101 1010 0011
¬B
 		  
A  Bc		 A
 		  
(A  B)c		 ¬A
 		  
Ac  B		 B
 		 Bfalse
 		 Atrue
 		  
A = B		 Afalse
 		 Btrue
 
0100 1001 0010 0100 1001 0010
A  ¬B
 		  
Ac  Bc		 A  B
 		  
A  B		 ¬A  B
 		 AB
 
1000 0001 1000 0001
¬A  ¬B
 		  
∅		 A  B
 		  
A = Ac
0000 0000
false
A ↔ ¬A		 A¬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.



Tiu ĉi dosiero ne estas protektebla aŭtorrajte kaj tial apartenas al publikaĵo, ĉar ĝi konsistas komplete el libere atingeblaj, publike posedataj informoj kaj ne entenas originalan aŭtorkontribuon.

Titoloj

Donu unulinian priskribon de la enhavo de ĉi tiu dosiero

Eroj prezentitaj en ĉi tiu dosiero

montras

MIME-tipo

image/svg+xml

Dosierhistorio

Alklaku iun daton kaj horon por vidi kiel la dosiero tiam aspektis.

Dato/HoroBildetoGrandecojUzantoKomento
nun22:19, 28 sep. 2024Bildeto por versio ekde 22:19, 28 sep. 2024380 × 280 (351 bajtoj)WatchduckShade of red and thinner lines match other image sets.
15:32, 16 jul. 2024Bildeto por versio ekde 15:32, 16 jul. 2024400 × 300 (614 bajtoj)AntonsusiValid SVG
23:10, 1 mar. 2024Bildeto por versio ekde 23:10, 1 mar. 2024380 × 280 (351 bajtoj)Watchduckcleaner code and lighter red (overwritten with Pywikibot)
21:48, 24 feb. 2023Bildeto por versio ekde 21:48, 24 feb. 2023380 × 280 (352 bajtoj)JoKalliauerrecreated, human redable, more symmetric
22:39, 19 nov. 2022Bildeto por versio ekde 22:39, 19 nov. 2022512 × 373 (491 bajtoj)TSamuelCareful recompression via SVGOMG & vecta.io/nano, & verified via SVGCheck
14:10, 26 jul. 2009Bildeto por versio ekde 14:10, 26 jul. 2009384 × 280 (3 KB)Watchduck
13:29, 26 jan. 2008Bildeto por versio ekde 13:29, 26 jan. 2008615 × 463 (4 KB)Watchduck{{Information |Description= |Source=eigene arbeit |Date= |Author= Tilman Piesk |Permission= |other_versions= }}
16:03, 22 jan. 2008Bildeto por versio ekde 16:03, 22 jan. 2008615 × 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= }}

La jenaj paĝoj ligas al ĉi tiu dosiero:

Suma uzado de la dosiero

La jenaj aliaj vikioj utiligas ĉi tiun dosieron:

Vidi plian ĝeneralan uzadon de ĉi tiu dosiero.

Metadatumoj

Ĉi tiu dosiero entenas aldonan informon, probable aldonitan de la diĝita fotilo aŭ skanilo uzita por ĝin krei aŭ diĝitigi. Se la dosiero estas modifita disde sia originala stato, detaloj povas ne ĝuste priskribi tiun modifitan bildon.

Elŝutita el "https://eo.wikipedia.org/wiki/Dosiero:Venn0111.svg"