1. Zdania w sensie logiki (tutaj nie znam dokładnej treści bo jakiś bazgroł mi wyszedł :P)

a. Jeżeli będzie mróz to Ania nie zmarznie, pod warunkiem, że założy szal, czapkę i rękawiczki.

b. Nie należy hałasować w miejscu publicznym

c. Wystarczy aby Jan uczestniczył w zajęciach i uczył się systematycznie, a dostanie zaliczenie

2. Czy można obliczyć wartości następujących formuł:

p=? q=1 r=0

a. tak, wartość wynosi…

b. nie

p → (~q∨r)

~p∨(~r→~q)

q→~(r∧p)

Obliczyć.

3. Wiedząc, że prawdą jest zdanie:

Nie jest prawdą, że z tego, że Piotr zna Annę nie wynika, że Anna spotyka się z Piotrem lub że stąd, że Anna nie spotyka się z Markiem wynika, że Piotr zna Marka.

a. Czy Piotr zna Annę?

b. Czy Anna spotyka się z Piotrem?

c. Czy Piotr zna Marka?

d. Czy Anna nie spotyka się z Markiem?

Obliczyć.

4. Czy są to tautologie? Obliczyć.

((q→r) ∧ (p→r)) → (~r→~(p∧q))

(~(s∨q) →q) → (~q→ (s∧q))

5. Napisz, które ze zdań są:

a. prawdami logicznymi

b. są prawdami analitycznymi ale nie są prawdami logicznymi

c. nie są prawdami analitycznymi

Obliczyć.

1. Jeżeli w środę 4.11.2003 Jan był na wykładzie lub w bibliotece, a nie był na wykładzie to był w bibliotece.

2. Jeżeli Jan wyszedł z domu, to Jan jest w domu nieobecny

3. Jeżeli stąd, że logika jest działem matematyki wynika, że matematyka nie jest nauką o liczbach, to jeśli matematyka jest nauką o liczbach, to logika ni jest działem matematyki.

6. Negacja formuł i zdań. Zdanie d i e w języku potocznym.

a. p→(~q∧r)

b. ~p∨(~r→~q)

c. q→~(r∧p)

d. Anna zna niemiecki ale nie zna francuskiego

e. Jeżeli Andrzej uczestniczył w zajęciach z logiki i wszystko rozumie to zda egzamin, o ile nauczy się definicji.

---