Analytické myšlení a úsudky - Diskusní fórum k přijímacímu řízení 2012 - Discussion forum
Příklad 48
Tohle už je zase spíš predikátová logika. Najde úplně každý, kdo hledá. Někdo
ale zároveň neví, co najde.
neví, co najde.
B - o tom zadání nemluví, víme, že některý hledající nenajde (ale v tom, že
někteří nenajdou, je zahrnuta i možnost, že všichni nenajdou)
C - odpovídá, někteří hledající opravdu najdou a přítom nevědí, co
D - s možností "nenajde" zadání nepočítá, hledající nacházejí a jenom u
hledajících taky přichází v úvahu že vědí/nevědí, co najdou
E - to taky nemůžeme říct s určitostí, někdo takový, kdo najde a neví, co,
určitě je, ale nemusí to nutně být všichni
První zadaná věta: "Jestliže Tomáš není stavař nebo Udo je projektant, tak
Viktor není architekt" je implikace. Ta platí vždycky kromě případu, že první
část platí a druhá ne. Jenže druhá zadaná věta říká, že Viktor je architekt.
Kdyby platila první část prvního tvrzení, toto by jako celek neplatilo. První
část tvrzení tedy nesmí platit - bude vypadat nějak takto: Tomáš je stavař a Udo
není projektant.
tvrzení při tomto předpokladu neplatí (jeho negací je právě věta "Tomáš je
stavař a Udo není projektant"). Takovým tvrzením je možnost D.