KIF12

• _T..n nic dobrego zdania o niektórych lu^ .

•***• Uh ”* '“«« *>“•

_dob,cgo zdania o sob.c samym. Zatem nieprawy (^c)    _{0 kim} Jan jest dobrego zdania, nie jes^obd

5y. ó kto M" ** dobrego rdaaia, j<| dóbr

■«go

zdania o Janie.

.    .    ------burego zdania

'lwic 'Zatem Jan jest dobrego zdania o sobie sa_mvin , , jlu Jan ceni Piotra, to jest dobrego zdania o kaidy*. wZ Piotr ceni. Jan nic jest dobrego zdania o sobie samy* a Piotr ceni Jana. Zatem Jan mc ceni Piotra.

_M Każdy pisarz jest złego zdania o pewnym krytyku literae ^w .. _a każdy krytyk literacki jest złego zdania o pewny* oisarzu. Jan jest pisarzem, a Piotr jest krytykiem literae-kim. Zatem Jan jest złego zdania o Piotrze lub Piotr j„i złego zdania o Janie.

O Każdy krytyk literacki ceni pewnego pisarza, a niektórzy ^W pjsarM nic cenią żadnego krytyka literackiego. Piotr jen krytykiem literackim. Zatem Piotr ceni kogoś, kto jego nie ceni.

100. Zbadaj, z którego z podanych niżej układów posłanek można wyprowadzić dedukcyjnie wniosek:

Istnieją takie dwa zdania, że żadne z nich nic wynika z drugiego.

(a)    Nie jest prawdą, że każde zdanie wynika z dowolnego zdania. Nic jest prawdą, że z każdego zdania wynika dowolne zdanie.

(b)    Żadne zdanie nie wynika ze zdania, które mu przeczy Jeżdi jakieś zdanie przeczy pewnemu zdaniu, to to ostatnie przeczy temu pierwszemu. Każde zdanie przeczy jakiemu! zdaniu.

101. Wykaż, że z podanych niżej układów przestani można wyprowadzić dedukcyjnie dowolny wniosek. Następu*

odszukaj w każdym z tych układów zdanie, które jest fałszem-

(a)    Żadne zdanie nie wynika ze i J mia, które mu przeczy. Każde zdanie przeczy jakiemuś zdaniu. Istnieją zdania. r. których wynika każde zdanie.

(b)    Istnieją zdania, które wynikają z każdego zdania. Istnieją zdania, które z pewnych zdań nie wynikają. Dla każdego zdania można podać takie, które zeń nic wynika. Dla każdego zdania można podać takie, z którego ono nic wynika.

(c)    Istnieją zdania, które wynikają z każdego zdania i z których każde zdanie wynika. Jeśli jakieś zdanie wynika z każdego zdania, to jest ono prawdą logiczną. Jeśli zdanie jest prawdą logiczną, to jest prawdziwe. Jeśli z jakiegoś zdania wynika każde zdanie, to to pierwsze jest podstawieniem kontrtautologii. Żadne zdanie prawdziwe nic jest podstawieniem kontrtautologii.

102. Zbadaj, które z podanych niżej układów schematów reprezentują sprzeczne układy zdań:

(a)

A *1 (?(-*)-♦ V •>’)]

\{xP{x)

A* A

(b)    A* A yfftd ^A eoo-**(*. y) ]

NMWaCWI

f\x[P(x)-+~R(x, x)]

(c)    V ^x V >') A ~S(*, >')]

f\ĄP{x)~* l\yS{x,y)] f\x[P{x)-* f\yR(x,y)\

V xP(x)

W> A

7*