Tiziano Rovelli
46
Metodi di dimostrazione
•
diretta
: se p è una proposizione vera nella
nostra teoria e si dimostra che p implica q (p
Þ
q) allora pure q è vera;
•
•
per assurdo
: se negando la tesi (non-q
vera) si arriva ad una contraddizione (p
falsa) la proposizione è dimostrata;