Logika - I rok kulturoznawstwa

Logika - I rok kulturoznawstwa
Lista zadań nr 2
15 października 2006
W zadaniach 1 - 3 sprawdź, czy poniższe schematy są regułami
Zadanie 1.
(p ∧¬q)→(r∧¬r)
,
p→q
Zadanie 2.
α→β , β→α
,
α↔β
Zadanie 3.
¬β→¬α
.
α→β
W zadaniach 4 - 6 sprawdź, czy poniższe rozumowania są poprawne:
Zadanie 4.
a) Jeżeli Jan ożeni się z Marią, to Piotr go znienawidzi. Jeżeli Piotr ożeni się z Marią,
to Jan go znienawidzi. Zatem Piotr znienawidzi Jana lub Jan znienawidzi Piotra.
b) Jeżeli występuje spięcie w przewodzie elektrycznym, to światło gaśnie. Światło nie
gaśnie. Zatem nie występuje spięcie w przewodzie elektrycznym.
Zadanie 5.
a) Żarówka jest spalona lub kontakt jest zepsuty. Żarówka nie jest spalona. Zatem
kontakt jest zepsuty.
b) Jeśli jest zimno, to trzeba ubrać płaszcz. Jeśli pada deszcz, to trzeba wziąć parasol.
Więc jeśli jest zimno i pada deszcz, to trzeba ubrać płaszcz i trzeba wziąć parasol.
Zadanie 6.
a) Jeśli stopa procentowa nie ulegnie zmianie, to wzrosną wydatki rządowe lub pojawi
się bezrobocie. Jeśli wydatki rządowe nie wrosną, to podatki zostaną obniżone. Jeśli
podatki zostaną obniżone i stopa procentowa nie ulegnie zmianie, to bezrobocie się
nie pojawi. Zatem wydatki rządowe wzrosną.
b) Jeśli pacjent ma zapalenie oskrzeli, to zastosowanie antybiotyków przyniesie poprawę.
Jeśli pacjent ma zapalenie płuc, to zastosowanie antybiotyków przyniesie poprawę.
Pacjent ma zapalenie oskrzeli lub zapalenie płuc. Zatem zastosowanie antybiotyków
przyniesie poprawę.
Zadanie 7. Jeśli sprawa cywilna dotyczy ochrony prawa autorskiego, to własciwy dla jej
rozstrzygnięcia jest sąd wojewódzki. Czy można stąd wywnioskować, że:
a) Jeśli dla rozstrzygnięcia sprawy właściwy jest sąd wojewódzki, to jest to sprawa dotycząca ochrony prawa autorskiego.
b) Jeśli nieprawda, że dla rozstrzygnięcia sprawy właściwy jest sąd wojewódzki, to nieprawda,
że jest to sprawa dotycząca ochrony prawa autorskiego.
c) Jeśli sprawa cywilna nie dotyczy ochrony prawa autorskiego, to dla jej rozstrzygnięcia
nie jest właściwy sąd wojewódzki.
Zadanie 8. Przeprowadzić analizę logiczną dowodu twierdzenia (czyli po ”chłopsku” mówiąc
udowododnij):
(x > y) ∧ ¬(z = 0) → ¬(x · z = y · z)
przyjmując twierdzenia:
(x > y) ∧ (z > 0) → (x · z > y · z),
(x > y) ∧ (z < 0) → (x · z < y · z),
¬(x = y) ↔ ((x > y) ∨ (x < y)).
Kampania wyborcza coraz bliżej, więc dwa zadania "polityczne".
Zadanie 9. Podczas pewnej kampanii wyborczej Olek, Józek i Kazik wygłosili następujące
oświadczenia:
Olek: Józek zawsze kłamie.
Józek: Kazik zawsze kłamie.
Kazik: Olek zawsze kłamie.
Pokaż, że co najmniej dwóch spośród nich nie miało racji.
Zadanie 10. Podczas tej samej kampanii wyborczej Basia, Hania, Kasia i Ola stwierdziły, że:
Basia: Hania zawsze kłamie.
Hania: Kasia czasem mówi prawdę.
Kasia: Ola czasem kłamie.
Ola: Basia zawsze mówi prawdę.
Ile pań powiedziało prawdę?