a cura di: MARCELLO PEDONE (marcellopedone@tin.it)
Scarica
Si possono definire
proposizioni logiche quelle frasi che godono delle proprietà di essere vere o
false e un caso esclude l’altro.
Da una o più proposizioni semplici
P1 , P2 , … , Pn , si possono comporre espressioni del calcolo
delle proposizioni i cui valori di verità dipendono dai valori di verità di P1 , P2 , … , Pn . Le tabelle
che forniscono i valori di verità in funzione dei valori di verità delle proposizioni P1 , P2 , …, Pn
prendono il nome di
tabelle di verità. ~