Equivalenza logica

• P e Q sono logicamente equivalenti in un contesto C se e solo se hanno lo stesso valore di verità in tutte le interpretazioni possibili nel contesto. Si scrive:

$$ P\Leftrightarrow_C Q $$

Definizione formale in FOL

Logicamente equivalenti in un contesto

Equivalenza tautologica (proposizionale)

• P e Q sono tautologicamente equivalenti se e solo se hanno lo stesso valore di verità in tutte le interpretazioni booleane. Si scrive:

$$ P\Leftrightarrow_T Q $$

Si può comparare con la sua controparte di primo ordine:

Logicamente equivalenti (FO)

Rimpiazzamento (riscrittura)