To tylko jedna z 2 stron tej notatki. Zaloguj się aby zobaczyć ten dokument.
Zobacz
całą notatkę
Zadania z rachunku zdań. (zadania z: M. Lechniak, Elementy logiki dla prawników.)
I. Sprawdź metodą zero - jedynkową następujące wyrażenia.
1. ( p → q ) → ( q → ~p)
2. (~ p → q) → ( p → ~q)
3. ( ~p /\ q ) → ~ ( p \/ ~q)
4. ( ~p /\ q ) → ~ ( p → q)
5. ~(p \/ ~q) → (p /\ ~q)
6. (p → q) → {( p → r) → [p → (q /\ r)]}
7. [(~p → q) /\ (~p→ r)] → [(~r \/ ~q) → p]
8. [(p /\ q) → r] → [ p → (q → r)]
9. [p → (q /\r)] → (p→ r)
10. [p → (q→ r)] → [(p /\ q) → r]
11. {[(p → (q\/r)] /\ (p→ s) /\ (s → q)} → (p → r)
12. [(p /\ q) → r] → [(p /\ ~r) → ~q]
13. [(p /\ ~q) → ~r] → [p → (~q → ~r)]
14. [( p → q) /\ (p→ r)] → [ p → (q /\r)]
15. {p → [q→ (r → s)]} → [(p /\ q /\ r ) → s]
16. [p → (q→ r)] → [q → (p → r)]
II. Sprawdź metodą zero - jedynkową skróconą, czy poniższe rozumowania są poprawne formalnie (czy są zgodne z jakimś prawem logiki). a. Jeżeli Jan uczył się pilnie logiki i Jan nie zdał egzaminu, to Jan nie miał szczęścia. Jan zdał egzamin i Jan nie uczył się pilnie. Zatem Jan miał szczęście.
Np. {[(p /\ ~ q) → ~ r] /\ ( q /\ ~ p)} → r
b. Karol uczy się logiki, ale Karol jej nie umie. Jeżeli Karol nie umie logiki, to Karol nie zda egzaminu. Zatem jeżeli Karol zda egzamin, to Karol uczy się logiki.
c. Anastazja jest administratorem lub Anastazja jest ekonomistą. Jeżeli Anastazja jest ekonomistą, to umie liczyć. Jeżeli Anastazja jest nielogiczna, to nie jest administratorem. Zatem jeżeli Anastazja jest nielogiczne, to nie umie liczyć.
d. Hipolit studiuje prawo lub administrację. Jeżeli Hipolit nie studiuje administracji, to Hipolit będzie adwokatem. Zatem jeżeli Hipolit studiuje prawo, to Hipolit nie będzie burmistrzem.
e. Jeżeli podatki są zbyt wysokie, to są nieściągalne lub rujnują gospodarkę. Jeżeli gospodarka jest rujnowana przez podatki, to kraj pogrąża się w biedzie. Zatem jeżeli kraj nie pogrąża się w biedzie, to podatki nie są zbyt wysokie.
f. Jeżeli podatki nie są wysokie, to gospodarka rozwija się szybko. Jeżeli wydatki socjalne są wysokie, to podatki są wysokie. Zatem jeżeli gospodarka nie rozwija się szybko, to wydatki socjalne nie są wysokie.
g. Jeżeli byt nie jest jeden, to są co najmniej dwa byty. Jeżeli są co najmniej dwa byty, to (między nimi) jest niebyt. Zatem byt jest jeden.
... zobacz całą notatkę
Komentarze użytkowników (0)