Pre podmienený výrok (ak-potom) musí byť protipríklad inštanciou, ktorá spĺňa hypotézu, ale nie záver.
Čo je protipríkladom k podmienenému predpokladu?
Protipríklad: príklad, ktorý je v rozpore s niektorým tvrdením alebo argumentom (napr. … Neplatný: argument, ktorý nie je platný. Neplatnosť môžeme otestovať za predpokladu, že všetky predpoklady sú true a zistiť, či je stále možné, aby bol záver nepravdivý. Ak je to možné, argument je neplatný.
Môžu byť podmienené vyhlásenia nepravdivé?
Podmienka sa považuje za nepravdivú, ak je predchádzajúci pravdivý a dôsledok je nepravdivý. Nižšie sú pravdivostné hodnoty podmieneného pre všetky možnosti predchodcu a následného, či sú pravdivé alebo nepravdivé, uvedené v pravdivostnej tabuľke.
Aký je príklad protipríkladu?
Príklad, ktorý vyvracia tvrdenie (ukazuje, že je nepravdivé). Príklad: tvrdenie „všetci psi sú chlpatí“možno dokázať ako nepravdivé nájdením iba jedného bezsrstého psa (protipríklad), ako je uvedené nižšie.
Koľko protipríkladov je potrebných na preukázanie, že podmienené vyhlásenie je nepravdivé?
Stačí jeden protipríklad, aby ste ukázali, že vaše vyhlásenie je nepravdivé.