Aplicație Multimedia de Învățare (AMII Static) • Logică și Teorie Matematică
O teoremă este o propoziție adevărată a cărei valoare de adevăr decurge în mod necesar dintr-o demonstrație riguroasă, bazată pe axiome, definiții sau alte teoreme anterior demonstrate.
Un student la matematică a încercat să demonstreze că pisica lui respectă regulile stricte ale unei teoreme geometrice. El a stabilit ipoteza: „Dacă bolul de mâncare este plin (p), atunci pisica doarme lângă calorifer (q)”. Într-o zi, studentul a găsit bolul complet gol, dar pisica tot lângă calorifer dormea. Speriat că tocmai a căzut o lege universală, a fugit la profesorul său strigând că teorema a eșuat. Profesorul i-a zâmbit calm și i-a explicat că într-o implicație de tip p implică q, dacă ipoteza este falsă (bolul nefiind plin), concluzia poate totuși să apară din cu totul alte motive, fără ca teorema să fie invalidată vreodată. Pisica a rămas în continuare cel mai independent contraexemplu viu împotriva grăbirii concluziilor pripite.