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
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
Eccoti!