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ì!