Elementi LOGICA
di affermazioni
nazione le
la prima sono
22 9
3810
es If
II P Q
Si R
rappresentano con
Se Pè nomP un'affermi
è
vera
negazione Pe falsa
se
vera
P F
N V
F
P
non Pea P tutte
Q
è se
vera
congiunzione sono
due vere
e U V F
F
p V F
F
V
Q
PeQ F
V F
F
Poo due
disgiunzione è delle
vera se uno
vera
e
eff U U F
F
P V F
F
V
Q
PoQ V F
V V
P Q
implicazione è tranne
vere
sempre
cui Pe Q false
in
nel caso vera e
U U F
F
P U F
F
U
Q V
BA U V
F di
se 4
di
multiplo multiplo
es è 2
ne n e
PETA è
P Q
doppia implicazione vera
ssa
quando false
entrambe
entrambe o
vere
U V F
F
p V F
V F
Q
EQ U V
F
F detti connettivi logici
sono
0
e
non è
PREDICATO da
dipendente
un'affermazione
variabili
più
o
una 2 variabile
in
è
8 predicato
un una
es 2 due
è variabili
9 10 predicato in
un PCx QQ
indicati 9 così via
con
vengono e reali
sostituite
variabili
Le valori
essere con
possono
P PINO
A
es ecc ed
QUANTIFICATORE ESISTENZIALE
UNIVERSALE
Pex
x PCx
il predicato vera
e
PE almeno almeno
il PA e vero
predicato un
per
l'ordine di
è
NB importante quantificazione
Ty
es x y
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo
