a) Cuando se construye un bicondicional con, a un lado y otro, dos fórmulas equivalente, ese bicondicional resulta ser una tautología.
b) Si ocurre que C es consecuencia de las fórmulas
,
y
, resulta que el condicional
^
^
→
es una tautología.
c) Si ocurre que C es consecuencia de las fórmulas
,
y
, resulta que el conjunto de fórmulas
es insatisfacible.