Esplicazione della 8.

Se p, allora q.
E p.
Quindi q.

Se è estate sono al mare.
E' estate.
Quindi sono al mare

La 8 asserisce
Se p, allora q.
E q.
Quindi p.


Se è estate sono al mare.
Sono al mare
Quindi è estate