questa e' l'implicazione materiale (se p allora q ;    p⇒q);

equivale a
p_∨q

Mostro l'equivalenza delle due proposizioni

p q p ⇒ q p_ p_∨q
f

f

v

v
f

v

f

v
v

v

f

v
v

v

f

f
v

v

f

v

cioe' la proposizione composta e' falsa solamente se e' falsa la prima e vera la seconda

se vuoi la pagina sull'implicazione materiale