Definición 1.2
Los siguientes tipos de proposiciones son muy importantes:
- TAUTOLOG´iA.
- Proposición verdadera bajo toda asignación.
- CONTRADICCIÓN.
- Proposición cuya negación es
tautología.
Distinguimos también las nociones siguientes:
Decimos que
![$p$](img74.png)
es
EQUIVALENTE a
![$q$](img607.png)
, y escribimos
![$p \equiv q$](img629.png)
, si
![$p \leftrightarrow q$](img630.png)
es tautología.