Es la ciencia de las proposiciones y las demostraciones que se basan en un razonamiento para llegar a una conclusión, ya sea verdadera o falsa.
Conectivos Lógicos:
Conectivo | Prop. Compuesta | |
NOT | ¬ | Negación |
AND | ^ | Conjunción |
OR | v | Disyunción inclusiva |
 | Condicional | |
 | Bicondicional |
