Il
connettivo logico
(vel) si interpreta nel seguente modo:
se
P
e
Q
sono proposizioni,
e' una proposizione, che risulta
vera
se e solo se :
o
e'
vera
P
o
e'
vera
Q
o
sono
vere
entrambe