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
Mx za ' x je mačka'
Lx za ' x je ljubičast'
Ux 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.
