Logika dla prawników ćwiczenia, Zadania z Prawo rzymskie

Pobierz Logika dla prawników ćwiczenia i więcej Zadania w PDF z Prawo rzymskie tylko na Docsity!

PRACA DOMOWA Z LOGIKI DLA PRAWNIKÓW

TERMIN ODDANIA: DO 30 MAJA 2020

GRUPA:

IMIĘ I NAZWISKO:

1. Zbuduj logiczne schematy poniższych zdań i sprawdź za pomocą skróconej metody zero-jedynkowej, czy są prawdami logicznymi (tautologiami). Wskaż, jakie wartości przyjmują zmienne (0-6 p.) a) Jeśli nie jest prawdą, że zarazem Jan był wczoraj na wykładzie i miło spędził czas, to Jan nie był wczoraj na wykładzie lub nie spędził miło czasu. 1 0 (p ^ q)  (~ p v ~ q) p- 1 1 1 1 0 1 0 0 1 q- Odp. Podane zdanie jest tautologią b) (Jeśli spotkam Adama, to pójdę na basen), a jeśli spotkam Kasię, to pójdę na plażę, zatem jeśli spotkam Adama lub Kasię, to pójdę na basen lub na plażę. 1 0 [(p  q) ^ (r  s)]  [(p v r)  (q v s)] 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 p-0 q-0 r-0 s- Odp. : Podane zdanie jest tautologią. Zbuduj logiczne schematy zdań i, posługując się kodeksem reguł wnioskowania dla rachunku zdań, skonstruuj odpowiedni dowód (0- p.): a) (Jeśli dzieci Kazika wyjechały na wakacje, to jest on w barze lub na koncercie), lecz Kazika nie ma w barze, zatem dzieci Kazika nie wyjechały na wakacje lub jest on na koncercie. [P  (q v r)] v [~q  (~p v r)]

1. ~ {[P  (q v r)] v [~q  (~p v r)]} z.d.n
2. ~ [P  (q v r)] ^ ~ [~q  (~p v r)] NA (1)
3. ~ [P  (q v r)] OK (2)
4. ~ [~q  (~p v r)] OK (2)
5. P ^ ~ (q v r) NI (3)
6. ~q ^ ~(~p v r) NI (4)
7. ~(q v r) Ok (5)

8. ~q ^ r NA (7)
9. r OK (8)
10. ~(~p v r) OK (6)
11. ~p ^~r NA (10)
12. ~r OK (11) Odp. Podana formuła jest tautologią. b) (Jeżeli Jan bez trudu zda egzamin z logiki, to Jan się dobrze przygotował) lub jeżeli Jan się dobrze przygotował, to Jan bez trudu zda egzamin z logiki. [ (p  q) v (q  p)] 1.~ [ (p  q) v (q  p)] zał. 2.~(p  q) ^ ~(q  p) NA (1)
13. ~(p  q) MPP (2)
14. ~(q  p) MPP (2)
15. p ^ ~q NI (3)
16. q ^ ~p NI (4)
17. p OK (5)
18. ~q OK(5). <—Sprzeczność
19. q OK (6)
20. ~p OK (6) Odp. : Podana formuła nie jest tautologią. 2. Posługując się metodą strukturalną dla sylogizmów kategorycznych, sprawdź poprawność podanych rozumowań. Podkreśl wszystkie terminy rozłożone (0-6 p.): a) Niektórzy politycy przestrzegają prawo. Każda osoba przestrzegająca prawo jest wierna Konstytucji RP. Zatem, niektóre osoby wierne Konstytucji RP są politykami. P i M 1. + ( jest zdanie typu „a”) M a S 2. + ( jest zdanie typu „a”) S i P 3. + (M jest rozłożone 1 raz) .4. + ( Jest zdanie typu „i” w przesłance i wniosku) .5. + (Nie ma zdania przeczącego- nie dotyczy) .6. + (Brak rozłożenia w wniosku- nie dotyczy) Odp. Podany sylogizm jest poprawny. b) Żaden sędzia nie jest członkiem partii politycznej. Każdy sędzia jest niezwisły. Zatem, żadna osoba niezawisła nie jest członkiem partii politycznej.