6.1 Logica

1.1 Proposizioni logiche

Una proposizione logica è una frase di senso compiuto per la quale si può stabilire indiscutibilmente se è vera o falsa.

Ad esempio sono proposizioni logiche:


I ragni hanno 8 zampe 13 è un numero primo	sono sicuramente vere
\( 2 \cdot3=8 \) Il cerchio ha 5 lati	sono sicuramente false

Mentre NON sono proposizioni logiche


Come stai? Ti chiedo di accendere la luce	non ha senso stabilire se sono vere o false
Quel film è molto bello	è un giudizio personale, non è certamente vero o falso

Per ogni proposizione logica possiamo dunque stabilire il valore di verità, cioè VERO oppure FALSO, e si indicano con V e F. Scriviamo:

\( p: \, ''...'' \) per indicare una proposizione

\( p = V \) se la proposizione è vera

\( p = F \) se la proposizione è falsa

Ad esempio:


\( p_1: \, 13 \, \text{ è un numero primo} \) \( p_1 = V \)	\( p_2: \, \text{Il cerchio ha } \, 5 \, \text{ lati} \) \( p_2 = F \)