<aside> 💡 Un contesto C (su un linguaggio L) è un insieme di L-strutture (circonstanze).

</aside>

Conseguenza logica (in FO)

Conseguenza logica in un contesto

Logicamente vera (FO)

Logicamente vera in un contesto

Logicamente equivalenti (FO)

Logicamente equivalenti in un contesto

Rimpiazzamento (riscrittura)