esercizio

Dimostriamo che vale l'implicazione materiale si puo' definire mediante gli operatori fondamentali

p -> q p_ q

Calcoliamo le tavole di verita' del termine prima dell'uguale e del termine dopo l'uguale

La tavola di verita' del termine prima dell'uguale e' quella dell'implicazione materiale:
p q p -> q
v

v

f

f
v

f

v

f
v

f

v

v

Tavole di verita' del termine dopo l'uguale

p q p_ p_ q
v

v

f

f
v

f

v

f
f

f

v

v
v

f

v

v

Siccome le due colonne finali hanno gli stessi valori di verita' ne segue che il termine prima ed il termine dopo l'uguale sono equivalenti (o meglio, come vedremo piu'avanti, le due proposizioni sono equiveridiche)