Abrir menu principal

Ficheiro:Venn1010.svg

Imagem numa resolução maior(ficheiro SVG, de 384 × 280 píxeis, tamanho: 3 kB)

Descrição do ficheiro

One of 16 Venn diagrams, representing 2-ary Boolean functions like set operations and [[w:Logical corect 81 233 166 409 ¬A or ¬B rect 260 231 349 409 A or ¬B rect 393 230 481 409 ¬A or B rect 574 232 663 408 A or B rect 13 436 103 617 ¬B rect 147 438 235 617 ¬A rect 279 440 368 616 A xor B rect 375 440 464 617 A xnor B rect 507 439 595 617 A rect 639 438 732 617 B rect 79 647 168 826 ¬A and ¬B rect 260 647 349 826 A and ¬B rect 392 646 482 826 ¬A and B rect 574 646 663 826 A and B rect 327 853 417 1035 X and ¬X desc top-right </imagemap>

Operations and relations in set theory and logic

 
c
          
A = A
1111 1111
 
Ac  Bc
true
A ↔ A
 
 B
 
 Bc
AA
 
 
 Bc
1110 0111 1110 0111
 
 Bc
¬A  ¬B
A → ¬B
 
 B
 B
A ← ¬B
 
Ac B
 
A B
A¬B
 
 
A = Bc
A¬B
 
 
A B
1101 0110 1011 1101 0110 1011
 
Bc
 ¬B
A ← B
 
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
 
 
 Bc
A
 
 
(A  B)c
¬A
 
 
Ac  B
B
 
Bfalse
 
Atrue
 
 
A = B
Afalse
 
Btrue
 
0100 1001 0010 0100 1001 0010
 ¬B
 
 
Ac  Bc
 B
 
 
 B
¬A  B
 
AB
 
1000 0001 1000 0001
¬A  ¬B
 
 
 B
 
 
A = Ac
0000 0000
false
A ↔ ¬A
A¬A
 
These sets or statements have complements
or negations. They are shown inside this matrix.
These relations are statements, and have negations.
They are shown in a separate matrix in the box below.




PD-icon.svg Esta imagem é inelegível para proteção dos direitos de autor e, portanto, está no domínio público porque é formada integralmente por informações de propriedade comum, sem autoria delimitável.

derivative works

Obras derivadas deste ficheiro: Komplement einer Menge.svg

Histórico do ficheiro

Clique uma data e hora para ver o ficheiro tal como ele se encontrava nessa altura.

Data e horaMiniaturaDimensõesUtilizadorComentário
atual14h11min de 26 de julho de 2009Miniatura da versão das 14h11min de 26 de julho de 2009384 × 280 (3 kB)Watchduck
13h31min de 26 de janeiro de 2008Miniatura da versão das 13h31min de 26 de janeiro de 2008615 × 463 (4 kB)Watchduck{{Information |Description= |Source=eigene arbeit |Date= |Author= Tilman Piesk |Permission= |other_versions= }}
16h05min de 22 de janeiro de 2008Miniatura da versão das 16h05min de 22 de janeiro de 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= }}

As seguintes 4 páginas usam este ficheiro:

Utilização global do ficheiro

As seguintes wikis usam este ficheiro:

Ver a utilização global deste ficheiro.