Za uvjetnu (ako-onda) izjavu, kontraprimjer mora biti instanca koja zadovoljava hipotezu, ali ne i zaključak.
Što je protuprimjer za uvjetnu premisu?
Protuprimjer: primjer koji je u suprotnosti s nekom tvrdnjom ili argumentom (npr. … Nevažeći: argument koji nije valjan. Možemo testirati nevaljanost uz pretpostavku da su sve premise istinit i vidjeti je li još uvijek moguće da zaključak bude lažan. Ako je to moguće, argument je nevažeći.
Mogu li uvjetni iskazi biti lažni?
Uvjet se smatra netočnim kada je antecedent istinit, a konsekvent lažan. Ispod su istinite vrijednosti kondicionala za sve mogućnosti da je antecedent i posljedica istinita ili lažna predstavljena u tablici istinitosti.
Koji je primjer protuprimjera?
Primjer koji pobija izjavu (pokazuje da je netočna). Primjer: tvrdnja "svi psi su dlakavi" može se dokazati lažnom pronalaženjem samo jednog golog psa (protuprimjer) kao ispod.
Koliko je protuprimjera potrebno da se pokaže da je uvjetna izjava lažna?
Potreban je samo jedan protuprimjer da se pokaže da je vaša izjava lažna.