Logica proposizionale

PROPOSIZIONE LOGICA
O ENUNCIATO
LOGICA PROPOSIZIONALE
Ogni espressione linguistica per la quale si
possa stabilire con certezza se è
VERA o FALSA
DISGIUNZIONE o
SOMMA LOGICA
E’ una proposizone che
risulta FALSA se lo sono
entrambe e VERA negli altri
casi
Connettivo o

Simbolo
CONGIUNZIONE o
PRODOTTO LOGICO
E’ una proposizone che
risulta VERA se lo sono
entrambe e FALSA negli
altri casi
P
Q
P Q
F
F
V
V
F
V
F
V
F
V
V
V
P
Q
PQ
F
F
V
V
F
V
F
V
F
F
F
V
P
F
V
P
V
F
Sono proposizioni:
Roma è una città
2 è pari
Non sono proposizioni:
Roma è bella
Vieni a Roma?
ES.
p: Roma è una città
q: Il Po è una città
Roma è una città O il
Po è una città
VvF=V
Roma è una città E il Po
è una città
VvF=F
Connettivo e

Simbolo
NEGAZIONE LOGICA
Cambia il valore di verità
p: Roma è una città
p: Roma non è una
città
oppure: non è vero che
Roma è una città
Connettivo non
Simbolo
ESERCIZI
1)Stabilire quali sono enunciati
a)
b)
c)
d)
e)
f)
8 è un numero piccolo
Chiudi la porta
8 è un numero pari
La Sardegna è un’isola
Verdi è un compositore francese
Gli angoli di un triangolo sono 4
2)Date le proposizioni p: Maria parla inglese e q: Maria parla tedesco, descrivere in linguaggio formale le seguenti
proposizioni
p ; p  q; p  q ; q  p ;
q  p;
Di ognuna fare la tavola di verità
p  q
CIRCUITI LOGICI
AND : PRODOTTO LOGICO
OR : SOMMA LOGICA
p
q
p
q
p q
p
p  q
SOMMA LOGICA
Collegamento in parallelo
p
q  p;
CIRCUITI ELETTRICI
PRODOTTO LOGICO
Collegamento in serie
p
q
qp ;
NOT : NEGAZIONE
p  q
q
NEGAZIONE