Zadanie 1
Niech t oznacza tautologiÄ™, a c zdanie sprzeczne.
Za pomocÄ… matryc logicznych sprawdz:
a) prawa idempotentności:
(p (" p) Ô! p
(p '" p) Ô! p
b) prawo wyłączonego środka:
(p (" <"p) Ô! t
c) prawo sprzeczności:
<"(p '" <"p) Ô! t
d) prawa identyczności:
(p (" c) Ô! p
(p (" t) Ô! t
(p '" c) Ô! c
(p '" t) Ô! p
e) prawa pochłaniania I:
[p (" (p '" q)] Ô! p
[p '" (p (" q)] Ô! p
f) prawa pochłaniania II:
(p '" q) Ò! p
p Ò! (p (" q)
g) przechodniość implikacji:
(p q) '" (q s) Ò! p s
Zadanie 2
Korzystając z odpowiednich praw rozdzielności przekształć wyrażenia:
a) (p (" q) '" (r (" s)
b) (p '" q) (" (r '" s)
Zadanie 3
Niech x będzie liczbą rzeczywistą. Dla jakich x prawdziwe są formuły zdaniowe:
a) jeżeli x jest mniejsze niż 5, to x jest większe niż 7
b) jeżeli x jest mniejsze niż 7 to x jest większe niż 5
c) jeżeli x jest większe niż 7 to x jest mniejsze niż 5
d) jeżeli x jest większe niż 5 to x jest mniejsze niż 7
1
Zadanie 4
Załóżmy, że zdanie:
Nieprawda, że jeżeli Platon założył Akademię, to jeśli Arystoteles był uczniem Platona, to Ary-
stoteles nie uczęszczał do Akademii
jest prawdziwe.
Odpowiedz na poniższe pytania:
a) czy Platon był założycielem Akademii?
b) czy Arystoteles był uczniem Platona?
c) czy Arystoteles uczęszczał do Akademii?
Zadanie 5
Z raportu policyjnego młodego aspiranta:
Świadek nie był zastraszony lub też, jeśli Józek popełnił samobójstwo, to testament odnaleziono.
Jeśli świadek był zastraszony, to Józek nie popełnił samobójstwa. Jeśli testament odnaleziono,
to Józek popełnił samobójstwo. Jeśli Józek nie popełnił samobójstwa, to testament odnaleziono.
Co komendant może wywnioskować z powyższego raportu (poza oczywistym faktem, że należy
zwolnić aspiranta)?
Odpowiedz na pytania:
Czy świadek był zastraszony? Czy Józek popełnił samobójstwo? Czy testament odnaleziono?
2
Wyszukiwarka
Podobne podstrony:
ZARZĄDZANIE FINANSAMI cwiczenia zadania rozwiazaneEzestawy cwiczen przygotowane na podstawie programu Mistrz Klawia 6menu cwiczenia14ćwiczenie5 tabeleInstrukcja do cwiczenia 4 Pomiary oscyloskopoweFilozofia religii cwiczenia dokladne notatki z zajec (2012 2013) [od Agi]Ćwiczenia z chemiiCwiczenie nrĆwiczenie M16zestawy domowe ćwiczeń korekcjawahadło fizyczne ćwiczenia z aghwięcej podobnych podstron