• Usa le conseguenze tautologiche
• In Fitch TAUT CON ci permette di inferire un enunciato che segue dagli enunciati selezionati unicamente in virtù della semantica dei connettivi vero-funzionali.

$$ Sia \ C_1, ..., C_n\ \models_T \ D\ una \ conseguenza\ tautologica.\\. \\ Se\ fra\ le\ premesse\ o\ le\ conseguenze\ intermedie\ di\ una\ prova\\abbiamo\ C_1,...C_n,\ alora\ nella\ prova\ possiamo\ inferire\ D. $$

<aside> 🔥 TAUT CON (come regola) è valida in ogni contesto.

</aside>