Tiziano Rovelli
44
Il linguaggio
• 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).