Cos'è una logica?


Questa è la tipica domanda la cui risposta si dimostra di gran lunga più semplice del previsto - almeno finchè non ci si preoccupa di guardare i dettagli.

Una logica è definita da:

1. Un insieme di formule ben formate

2. Un insieme di modelli

3. Una funzione di verità che assegna, per ogni formula e per ogni modello, un valore di verità

Tutto qui? Naturalmente sì!