| CONECTIVOS | SÍMBOLOS |
| E | ^ |
| OU | v |
| OU..OU | vv |
| NÃO | ~ |
| SE..ENTÃO | → |
| SE..E SOMENTE SE | ↔ |
1 - CONJUNÇÃO: P^Q(Lê-se "p e q")
Tabela Verdade
| P | Q | P^Q |
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | F |
2- DISJUNÇÃO: P V Q(Lê-se "p ou q")
Tabela Verdade
| P | Q | PvQ |
| V | V | V |
| V | F | V |
| F | V | V |
| F | F | F |
3- DISJUNÇÃO EXCLUSIVA: PvvQ(Lê-se" p ou q", mas não ambas)
Tabela Verdade
| P | Q | PvvQ |
| V | V | F |
| V | F | V |
| F | V | V |
| F | F | F |
4- NEGAÇÃO : ~P( Lê-se, "nâo p")
Tabela Verdade
| P | ~P |
| V | F |
| F | V |
5- DECLARAÇÃO CONDICIONAL: P→Q(Lê-se, "p então q")
Tabela Verdade
| P | Q | P→Q |
| V | V | V |
| V | F | F |
| F | V | V |
| F | F | V |
6- DECLARAÇÃO BICONDICIONAL: P↔Q(Lê-se, "p se, e somente se, q")
| P | Q | P↔Q |
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | V |
