Tabela Verdade
| Conjunção | E | ^ |
||
| P | Q | P^Q |
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | F |
| Somente é verdade quando todos são verdades. | ||
| Disjunção | OU | v |
||
| P | Q | P v Q |
| V | V | V |
| V | F | V |
| F | V | V |
| F | F | F |
| Somente é falso quando todos são falsas. Ou pra ser verdade, precisa de no minimo 1 verdade. |
||
| DISJUNÇÃO EXCLUSIVA| Ou…Ou | ∨ |
||
| P | Q | P∨Q |
| V | V | F |
| V | F | V |
| F | V | V |
| F | F | F |
| Somente é verdade quando todos são diferentes. | ||
| Condicional| Se…, então…| →, ⊃ |
||
| P | Q | P⊃Q |
| V | V | V |
| V | F | F |
| F | V | V |
| F | F | V |
| “Vera Fischer é Falsa.” | ||
| Bicondicional| Se…, Somente se… | ↔ |
||
| P | Q | P↔Q |
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | V |
| Somente é verdade quando todos são Iguais. | ||
| Negação |
||
| P | Q | ~(P^Q) |
| V | V | F/F |
| V | F | F/V |
| F | V | V/F |
| F | F | V/V |
| OBS: Não é conectivo lógico. | ||