Contrapposizione

$$ \models_T (P\rightarrow Q)\leftrightarrow(\neg Q \rightarrow \neg P) $$

Modus Ponens

$$ P, P\rightarrow Q \models_T Q $$

Modus Tollens

$$ \neg Q, P \rightarrow Q \models_T \neg P $$

• Estensione

  $$ \neg Q, P \leftrightarrow Q \models_T \neg P \\ \neg P, P\leftrightarrow Q \models_T \neg Q $$