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;