U podmíněného (if-then) příkazu musí být protipříklad instancí, která splňuje hypotézu, ale ne závěr.
Co je protipříkladem k podmíněnému předpokladu?
Protipříklad: příklad, který je v rozporu s některým tvrzením nebo argumentem (např. … Neplatný: argument, který není platný. Neplatnost můžeme otestovat za předpokladu, že všechny předpoklady jsou true a zjistit, zda je stále možné, aby závěr byl nepravdivý. Pokud je to možné, argument je neplatný.
Mohou být podmíněné příkazy nepravdivé?
Podmínka je považována za nepravdivou, když je předchůdce pravdivý a důsledek je nepravdivý. Níže jsou pravdivostní hodnoty podmíněného pro všechny možnosti předchůdce a následného bytí pravdivé nebo nepravdivé znázorněny v pravdivostní tabulce.
Jaký je příklad protipříkladu?
Příklad, který vyvrací tvrzení (ukazuje, že je nepravdivé). Příklad: tvrzení "všichni psi jsou chlupatí" lze prokázat jako nepravdivé nalezením pouze jednoho bezsrstého psa (protipříklad), jak je uvedeno níže.
Kolik protipříkladů je potřeba k tomu, aby se ukázalo, že podmíněné prohlášení je nepravdivé?
Pouze jeden protipříklad ukáže, že vaše tvrzení je nepravdivé.