Che cosa s’intende per proposizione logica?
Una proposizione logica è un’affermazione dichiarativa che può essere classificata come vera o falsa, ma non entrambe le cose. È un elemento fondamentale nella logica proposizionale.
Caratteristiche principali:
- Dichiarativa: formula un’affermazione o un’asserzione.
- Valore di verità: può essere valutata come vera (V) o falsa (F).
- Assenza di ambiguità: deve essere chiara e priva di ambiguità di significato.
Esempi:
- Proposizione vera: “ Io [Gesù] sono la via, la verità e la vita, nessuno viene al Padre se non per mezzo di me”.
- Proposizione falsa: “Maria è corredentrice”.
- Proposizione falsa: Se tu sei Figliuol di Dio, gettati giù; poiché sta scritto: Egli darà ordine ai suoi angeli intorno a te, ed essi ti porteranno sulle loro mani, che talora tu non urti col piede contro una pietra.
Non esempi:
- Domande (ad es. “Chi dice la gente ch’io sia?”)
- Comandi (ad es. “Ma egli disse loro: Date lor voi da mangiare.”)
- Opinioni (ad es. “Giovanni 7:49 Ma questa plebe, che non conosce la legge, è maledetta!”)
In sintesi, una proposizione logica è un’affermazione che ha un valore di verità definito, che la rende essenziale per il ragionamento e l’analisi logica.
