• p Þ q (p implica q) è vera se l’asserzione q è
vera ed è falsa se q è falsa;
• quando p Þ q è vera
l’implicazione si può anche
chiamare teorema con p che è l’ipotesi e q la
tesi;
•
•In ogni teorema l’ipotesi (p) vera è sufficien-
te per la verità della tesi (q); la tesi (q) vera è necessaria
per la verità dell’ipotesi (p).