Logika - 2023./24. jesen - 16.
Pozorno pročitajte zaključak.
Neka umiljata bića nisu mačke. Naime, nijedna mačka nije ljubičasta, a sva ljubičasta bića su umiljata.
Zadan je sljedeći ključ tumačenja:
$a$ za Annie
$f$ za Frozen
$M x$ za ' $x$ je mačka'
$L x$ za ' $x$ je ljubičast'
$U x$ za ' $x$ je umiljat'.
Pretpostavimo svijet u kojemu postoje samo dva bića: Annie i Frozen. Poznato je da je Annie mačka, a da je Frozen umiljata.
Prema zadanome tumačenju u tablicu upišite I za istinu, a N za neistinu tako da stanje stvari u tablici bude protuprimjer navedenomu zaključku, tj. da prema tome stanju stvari premise budu istinite, a konkluzija neistinita. U tablicu su već upisane vrijednosti koje su nam poznate: Annie je mačka, a Frozen je umiljata.
