cwiczenia z logiki B Stanosz id Nieznany

background image

plan na dziś:

schematy zdań języka naturalnego w KRZ
matryce spójników języka KRZ
badanie tautologiczności

metodą zerojedynkową

1. Określ kategorie syntaktyczne symboli alfabetu języka Klasycznego Rachunku Zdań.

2. Odczytaj następujące formuły. Jakie funktory są ich głównymi spójnikami?

a. p

(q

r)

b. (p

(q

q)

r)

c. ((p

q)

r)

s

d. (p

q)

(

s)

e. 

¬

(p

q)

f. (

¬

p

q)

g. (p

q)

(q

r)

h. ((p

q)

q)

r

i. p

(q

(q

r))

j. ((r

∧¬

q)

s)

→¬

(p

∨¬

q)

k. 

¬

((r

∧¬

q)

s)

→¬

(p

∨¬

q)

l. 

¬

(((r

∧¬

q)

s)

→¬

(p

∨¬

q))

3. Zbuduj schematy zdań:

a.  Jeżeli ceny rosną, a płace utrzymują się na tym samym poziomie, to obniża się stopa
życiowa

.

b.  Ceny rosną, a jeśli płace utrzymują się na tym samym poziomie, to obniża się stopa
życiowa

.

c. Albo rosną ceny i obniża się stopa życiowa, albo rosną płace.
d. Jeżeli rosną ceny i albo obniża się stopa życiowa, albo rosną płace, to o ile płace nie
rosną, to obniża się stopa życiowa

.

e. Jan i Piotr są studentami.
f. Jan i Piotr są braćmi.
g. Jan nie lubi Piotra.
h. Jan nie lubi i nie szanuje Piotra, jeśli Piotr nie lubi i nie szanuje Jana.

4.   Zbuduj   schemat   następującego   zdania   (dla   każdej   jego   możliwej   interpretacji):  Ukończę studia
doktoranckie i będę pracować naukowo lub zostanę nauczycielem wtedy i tylko wtedy, gdy
zadowolę się skromnymi dochodami.

5. Która z podanych informacji pozwala ustalić wartość logiczną zdania Z, jeśli na miejscu p występuje zdanie 
prawdziwe, na miejscu q – fałszywe, a na miejscu r – zdanie o nieznanej wartości logicznej?

a. schematem Z jest: p

(q

r)

d. schematem Z jest: (p

q)

r

b. schematem Z jest: p

(q

r)

e. schematem Z jest: (p

q)

r

c. schematem Z jest: p

(q

r)

f. schematem Z jest:

¬

(

¬

p

∨¬

(

¬

q

r))

6. Jaką wartość logiczną posiada zdanie Z, jeżeli jest prawdą, że:

a. Z tworzy fałszywą koniunkcje z dowolnym zdaniem.
b. Z tworzy fałszywą koniunkcję tylko z niektórymi zdaniami.
c. Z tworzy prawdziwą koniunkcję z dowolnym zdaniem.
d. Z tworzy prawdziwą alternatywę z dowolnym zdaniem.
e. Implikacja, której poprzednikiem jest Z, jest zawsze prawdziwa.
f. Implikacja, której następnikiem jest Z, jest zawsze prawdziwa.
g. Implikacja, której poprzednikiem jest Z, jest czasami fałszywa.
h. Implikacja, której poprzednikiem jest Z, jest zawsze fałszywa.
i. Równoważność, której pierwszym członem jest Z, jest niekiedy prawdziwa.

7. Prawdziwe jest zdanie: Nieprawda, że jeśli Platon założył Akademię, to jeśli Arystoteles był
uczniem Platona, to Arystoteles nie uczęszczał do Akademii

. Czy   ta   informacja   wystarcza,   by 

udzielić odpowiedzi na następujące pytania:

a. Czy Platon był założycielem Akademii?
b. Czy Arystoteles był uczniem Platona?
c. Czy Arystoteles uczęszczał do Akademii?

Mariusz Urbański

                                                                           Wprowadzenie do logiki

Wprowadzenie do Klasycznego Rachunku Zdań

background image

8. Czy na któreś z pytań z zadania 7 można odpowiedzieć na podstawie informacji, że:

a.  Jeżeli Platon założył Akademię i był nauczycielem Arystotelesa, to Arystoteles
uczęszczał do Akademii

.

b.  Platon założył Akademię, a Arystoteles uczęszczał do Akademii lub nie był uczniem
Platona

.

9. Prawdziwe jest następujące zdanie: 

(

Holmes zginął rano i nie zabił go dr Moriarty wtw Holmes 

miał na głowie cylinder) i nieprawda, że (jeżeli Holmesa zabił dr Moriarty i Holmes nie 
miał na głowie cylindra, to Holmes nie zginął rano lub nie zabił go dr Moriarty).
 Czy na tej 
podstawie można ustalić, czy Holmes zginął rano, czy miał na głowie cylinder, czy zabił go dr Moriarty?

10. Fałszywe jest następujące zdanie: 

Jeżeli Holmes zginął rano wtw gdy zabił go dr Moriarty lub 

gdy miał na głowie cylinder, to (nieprawda, że (Holmes zginął rano lub nie miał na głowie 
cylindra)   lub   jeżeli   Holmesa   zabił   dr   Moriarty,   to   Holmes   nie   zginął   rano).  
Czy   na   tej 
podstawie można ustalić, czy Holmes zginął rano, czy miał na głowie cylinder, czy zabił go dr Moriarty?

11. Zbuduj tabelę zerojedynkową dla formuł:

a.  p

(

¬

p

q)

b. ((p

q)

(r

/

q))

((p

r)

q)

12. Sprawdź metodą zerojedynkową, czy następujące formuły są tautologiami, kontrtautologiami czy formułami 

syntetycznymi:

a. (p

q)

(q

p)

b. ((p

q)

q)

p

c. ((p

q)

p)

q

d. ((p

q)

∧¬

p)

→¬

q

e. ((p

q)

(p

r))

(p

(q

r))

f. ((p

q)

(q

r))

(p

r)

g. 

¬

((p

q)

∧¬

(p

q))

h. 

¬

((p

q)

(q

p))

i. (p

q)

(p

→¬

q)

13. Podaj przykłady zdań, których schematami są formuły z zadania 12. 

14.   Która   z   podanych   niżej   informacji   pozwala   wnosić,   że   formuła  A  jest   tautologią,   a   która   że  A  jest 

kontrtautologią?

a. negacja A jest tautologią;
b. negacja A jest kontrtautologią;
c. koniunkcja A i dowolnej tautologii jest tautologią;
d. koniunkcja A i dowolnej formuły jest kontrtautologią;
e. alternatywa A i dowolnej tautologii jest tautologią;
f. alternatywa A i dowolnej formuły jest tautologią;
g. negacja alternatywy A i dowolnej tautologii jest kontrtautologią;
h. negacja alternatywy A i dowolnej kontrtautologii jest kontrtautologią;
i. równoważność, której jednym członem jest alternatywa A i dowolnej formuły, a drugim –
dowolna tautologia, jest tautologią.

memento:

koniunkcja

alternatywa

implikacja

równoważność dysjunkcja binegacja

alternatywa rozłączna

negacja

A

B

A

B

A

B

A

B

A

B

A/B

A

B

A

B

A

¬

A

1

1

1

1

1

1

0

0

0

1

0

1

0

0

1

0

0

1

0

1

0

1

0

1

0

1

1

0

1

0 1

0

0

0

0

1

1

1

1 0

Zadania 4 – 8 oraz 14 pochodzą z Ćwiczeń z logiki Barbary Stanosz


Wyszukiwarka

Podobne podstrony:
Cwiczenia i kontrola magii id 9 Nieznany
Cwiczenia Access Podstawy 3 id Nieznany
cwiczenie izolacja kofeiny3 id Nieznany
Cwiczenia 1 podstawy edycji id Nieznany
Cwiczenia Podsluch w sieci id 9 Nieznany
Cwiczenia 2 klasyfikacja RMR id Nieznany
cwiczenieHP3 instrukcja v6 id 1 Nieznany
Cwiczenia tworczego myslenia id Nieznany
cwiczenie 3a przepompownia id 1 Nieznany
Lab 2 Cwiczenia prolog listy id Nieznany
Cwiczenie 3 Strona tytulowa id Nieznany
Cwiczenia nr 2 RPiS id 124688 Nieznany
Choroby skory koni cwiczenie id Nieznany
cwiczenie 1b inkscape id 125205 Nieznany
Pascal Cwiczenia praktyczne id Nieznany
Antropomotoryka Cwiczenia 02 id Nieznany
Cwiczenie nr 15 id 125710 Nieznany
Fizykoterapia Cwiczenia 04 id 1 Nieznany
Cwiczenia nr 6 RPiS id 124693 Nieznany

więcej podobnych podstron