Una variante del sillogismo dà origine a una delle tecniche più potenti della matematica: la dimostrazione per assurdo.
Esempio — Sillogismo per assurdo
“Ogni uomo è mortale” e “Zeus è immortale” “Zeus non è un uomo”.
Questo schema è alla base della dimostrazione per assurdo: si assume vera la negazione della tesi e si giunge a una contraddizione con le ipotesi. Poiché la contraddizione è inaccettabile, la negazione della tesi è falsa e quindi la tesi è vera.
Collegamenti
Argomenti: Geometria euclidea
Concetti: Dimostrazione per assurdo · Sillogismo
Competenze: Dimostrare