La logica dei predicati- proposizioni aperte
Una proposizione aperta è composta da un predicato e da uno o più argomenti dei quali tutti o solo qualcuno sono delle variabili (cioè non sono specificati).
Esempio: p(x)=” x è più alto di Marco”.
x è la variabile , e solo quando ad essa viene assegnato un valore la proposizione p(x) aperta assume un valore V o F e quindi diventa una proposizione.
I valori che le variabili possono assumere dovranno appartenere ad un particolare insieme, se vogliamo che la proposizione abbia senso. Tale insieme è detto insieme AMBIENTE o DOMINIO della proposizione aperta p(x).
Esempio: p(x)=” x è un numero pari” .
L’insieme ambiente o dominio di p(x) è l’insieme dei numeri naturali A=N, ma potrebbe essere anche un qualunque sottoinsieme di N per esempio A= {x ∈ N | x<30}.
Nell’insieme A che costituisce il dominio di un predicato , ci saranno dei valori che rendono vera la proposizione aperta p(x) e ce ne saranno altri che la rendono falsa.
L’insieme P dei valori che rendono vera una proposizione aperta p(x) prende il nome di
insieme di verità
di p(x).Il dominio A di p(x) è quindi composto da due parti , l’insieme di verità P e l’insieme complementare di P rispetto ad A.
Il complementare è l’insieme degli elementi che rendono falso p(x).
Date due proposizioni aperte p(x) e q(x) l’insieme di verità di : p(x) ∧ q(x) è P ∩ Q
p(x) ∨ q(x) è P ∪ Q
Quantificatori
∀ x ∊ U
Il quantificatore universale indicato con il simbolo ∀ (
per ogni , tutti) esprime il fatto che una proprietà è vera per tutti gli elementi x di un insieme U.
∃ x ∊ U
Il quantificatore universale indicato con il simbolo ∃( esiste, c’è qualche, alcuni ) esprime il fatto che una proprietà è vera per almeno un elemento x di un
insieme U.
<Sj¯ÆS¯Ýô "S¯jS9PgÝS¯9~9SôS¯ jS¯~¯
PP~¬SÃSg"S¯
¯¯
ñ 6M<M¯ ñd{©À×M¯
î¯ Ý~¯
ç¯ ÆS¬~jg¯þÆSj Ý~¯
,¯ ôSô¯ Ý~¯
C¯ 9S"g~¯
Z¯ 9Sg~¯
q¯ 9S"g~¯g¯ Ý~¯
¯ 9Sg~¯g¯ Ý~¯
¯ ¶Sͯg¯9~"g¯
䯯䯯 ¬Ýg~¯jjgÝ g¯þ9gÆ Ýg¯ÆS¯¯
¯ ÆSjôS9S""~¯
¯ ¯
"jS~9S¯ ¯
¯ ¯
ñ~¯À¯~¯6¯jg"g¯Æ ~¯) Ý ") ~¯S"jS~9S¯jS¯@W¯¯
À¯n¯6¯ À¯ "Sg"~¯6¯
À¯ ¯6¯ À¯S"~j~ÃSg"~¯6¯
À¯¯6¯ À¯³¯ôg"~" g¯gƯ³¯ Ý~¯¯6¯þg¬¬~gW¯À¯³¯jggÊS"jS~9~¯ÆS¯6¯
À¯á¯6¯ À¯ôg"S~"~¯gƯ³¯ Ý~¯¯6¯þg¬¬~gW¯À¯³¯jg¶ÊS"jS~9~¯ÆS¯6¯
ø¯ ¶¶S~"~¯
¯ "g"¯¶¶S~"~¯
&¯ ~jSj~¯
=¯ ¶~¯g"S¯
T¯ S"jS~9~¯¬ gg¯
¯ ¯
"jS~9S¯" 9~SôS¯
¯ ¯
¯ " 9~S¯" ÝS¯
¯ " 9~S¯S"~S¯
°¯ " 9~S¯ÃSg"ÝS¯
ǯ " 9~S¯~ÝS¯
Þ¯ { 9~S¯ôg9¶Ý~jjS¯
¯ ¯
<gSô¯ ¯
¯ ¯
õ #¯ ¬~g¯
õ#¯ :Ýjg¯
Q ¯ g¯þS"ôÝ jS¬gh¯¬~Ýh¯g¯þÆSjS "ÃSg"~¯S"ôÝ jS¬¯
¯ ~h¯~h¯"Ưþôg"S "ÃSg"~¯
¯ j~ÝÝgþÆ~Æ ÃSg"~¯
Ä ¯ j~¯~¯jgÝg¯j~¯¯
¯
