Dileme constructive și distructive
Dilemele sunt argumente, ale căror premise sunt cel puțin două afirmații condiționate (declarații cu "dacă, apoi") și o declarație separativă (spunând "sau").
Urmăresc următoarele tipuri de dileme.
O dilemă simplă constructivă (asertivă):
De exemplu: "Dacă am citit detectivul Agatha Christie, atunci am o seară bună; dacă am citit detectivul Georges Simenon, voi avea și o seară bună; citiți detectivul Christie sau citiți-l pe detectivul Simenon; așa că am o seară bună.
Un raționament de acest tip în matematică este de obicei numit dovadă de caz. Cu toate acestea, numărul de cazuri recursiv recursiv în probele matematice depășește de obicei două, deci dilema ia forma:
Dacă prima presupunere ar fi adevărată, teorema ar fi adevărată;
dacă a doua ipoteză este adevărată, teorema ar fi, de asemenea, adevărată;
cu cea de-a treia presupunere corectă, teorema este adevărată;
dacă a patra ipoteză este adevărată, teorema este adevărată;
prima, a doua, a treia sau a patra ipoteză este adevărată.
Prin urmare, teorema este adevărată.
O dilemă constructivă complexă:
De exemplu: "Dacă plouă, vom merge la filme; dacă e rece, hai să mergem la teatru; va ploua sau va fi rece; prin urmare, vom merge la cinema sau vom merge la teatru. "
O dilemă distructivă simplă (negativă):
B nevalid sau S. incorect
De exemplu: "Dacă numărul este împărțit la 6, atunci acesta este împărțit la 3; dacă numărul este divizibil cu 6, atunci este divizibil cu 2; numărul în cauză nu este divizibil cu 2 sau divizibil cu 3; în consecință, numărul nu este divizibil cu 6 ".
O dilemă distructivă complexă:
De exemplu: "Dacă mă duc spre nord, o să ajung la Tver; dacă mă duc spre sud, o să ajung la Tula; dar nu voi fi în Tver sau nu voi fi în Tula; prin urmare, nu voi merge spre nord și nu voi merge spre sud. "