Logica proposizionale

Contiene

la logica delle lettere proposizionali
- S, P, Q, R ...
la logica dei connettivi
la logica degli enunciati completamente instanziati (senza variabili)
- Corre(Mario), Ama(Mario, Anna) ...
la logica delle proposizioni atomiche
- usata in modo proposizionale anche se fa parte della logica del primo ordine
- "come si interpreta una proposizione atomica completamente instanziata"
- la logica degli enunciati semplici
- la relazione d'identità ( = )