Za uslovnu (ako-onda) izjavu, kontraprimjer mora biti instanca koja zadovoljava hipotezu, ali ne i zaključak.
Šta je kontraprimjer za uslovnu premisu?
Protuprimjer: primjer koji je u suprotnosti sa nekom tvrdnjom ili argumentom (npr. … Nevažeći: argument koji nije valjan. Možemo testirati neispravnost pod pretpostavkom da su sve premise istina i vidjeti da li je još uvijek moguće da zaključak bude lažan. Ako je to moguće, argument je nevažeći.
Mogu li uslovni iskazi biti lažni?
Uslov se smatra netačnim kada je antecedent istinit, a konsekvent netačan. Ispod su istinite vrijednosti kondicionala za sve mogućnosti da je antecedent i konsekvent istinit ili netačan predstavljeni u tabeli istinitosti.
Šta je primjer protuprimjera?
Primjer koji pobija izjavu (pokazuje da je netačna). Primjer: izjava "svi psi su dlakavi" može se dokazati lažnom pronalaženjem samo jednog golog psa (kontraprimjer) kao ispod.
Koliko je kontraprimjera potrebno da se pokaže da je uslovna izjava lažna?
Potreban je samo jedan kontraprimjer da se pokaže da je vaša izjava lažna.