Enunciato
- Enunciato: frase che può essere interpretata come vera o falsa in una data circonstanza
- Enunciato semplice: che non è composto da altri enunciati usando i connettivi
- lettere proposizionali (astrazione)
- proposizioni atomiche, completamente instanziate
Proposizioni atomiche
- i più semplici enunciati con senso compiuto interpretabili come vere o false in una data circonstanza di un contesto.
- si ottengono riempendo i posti dei predicati del linguaggio con delle costanti