| Conectivo | Símbolo | Valor Lógico |
|---|---|---|
| Negação | ~ ou ¬ | Terá valor falso quando a proposição for verdadeira e vice-versa. |
| e | ∧ | Será verdadeira somente quando todas as proposições forem verdadeiras. |
| ou | ∨ | Será verdadeira quando pelo menos uma das proposições for verdadeira. |
| se...então | → | Será falsa quando a proposição antecedente for verdadeira e a consequente for falsa. |
| ...se, e somente se... | ↔ | Será verdadeira quando ambas proposições forem verdadeiras ou ambas falsas. |