Permette di inferire un enunciato che segue dagli enunciati selezionati unicamente in virtù della semantica dei connettivi vero-funzionali, dei quantificatori e del predicato di identità.
Conseguenza logica (in FO)