Com relação as fórmulas com conectivos, utilizados na tabela verdade, observe:

I. !$ (¬ \alpha) !$ Negação

II. !$ ( \alpha ^ \, \beta) !$ Conjunção

III. !$ (\alpha v \beta) !$ Disjunção

IV. !$ (\alpha → \beta) !$ Implicação

V. !$ (\alpha ↔ \beta) !$ Bi-Implicação