7581047714

Ćwiczenie 17.Vlb.

Dokonaj symbolizacji następujących zdań w oparciu o podaną legendę. Podaj dwie równoważne symbolizacje jako zdań skwantyfikowanych oraz jako negacji zdań skwantyfikowanych:

Dziedzina: ludzie    Bx: x bierze

Kx: x kłamie

(a)    Nie ma polityków, którzy nie biorą.

(b)    Nie wszyscy politycy są oportunistami.

(c)    Nie ma szczeiych polityków.

(d)    Nie jest praw dą, że żaden polityk nie kłamie.

(e)    Nie każdy polityk bierze.

(f)    Nie tylko politycy biorą.

(g)    Nie ma polityka, któiy nie jest oportunistą.

(h)    Nie tylko politycy gadają głupstwa.

(i)    Nie ma polityka, któiy głupstw nie gada.

(j)    Nieprawda, że nie ma polityka, który kłamie.

Px: jc jest politykiem Gx: x gada głupstw a Ox: x jest oportunistą Sx: x jest szczery

Ćwiczenie 17.Vlc.

Dokonaj symbolizacji następujących zdań w oparciu o podaną legendę. Podaj dwie równoważne symbolizacje jako zdań skwantyfikowanych oraz jako negacji zdań skwantyfikowanych:

Dziedzina: ludzie Sx: jc jest studentem Px: x jest psychologiem    Lx: x zda logikę

Mx: x jest matematykiem    Sx: x zda socjologię

(a)    Nie każdy student zda logikę.

(b)    Niepraw da, że żaden student nie zda logiki.

(c)    Nie ma studentów, którzy nie zdadzą socjologii.

(d)    Nie ma studentów , którzy zdadzą logikę.

(e)    Nie tylko matematycy zdadzą logikę.

(f)    Nie tylko psychologow ie nie zdadzą socjologii.

(g)    Nie ma matematyków, którzy nie zdadzą logiki

(h)    Nie ma psychologów. którzy zdadzą socjologię.

(i)    Niepraw da, że żaden psycholog nie zda socjologii.

(j)    Nie wszyscy matematycy zdadzą socjologię.

17-9

Katarzyna Paprzycka, Samouczek (wersja 2008): Temat 17. Podstawy symbolizacji