a) Jeżeli me spróbuję, to nie wygram.
b) Nie jest prawdą, że jeśli spróbuję, to wygram.
c) Nie jest prawdą, że jeśli nie wygrałem, to nie spróbowałem.
d) Jeżeli Mieczysław oświadczył się Karolinie, to jest ślepy lub zakochany.
e) Jeżeli Karolina wyjdzie za Mieczysława, a jej plan się powiedzie, to zostanie bogatą wdową.
f) Karolina przyjmie oświadczyny Mieczysława i wyjdzie za niego wtedy i tylko wtedy, gdy Mieczysław zapisze jej dom lub podaruje dwa samochody.
g) Jeżeli Mieczysław nie rozwiedzie się z żoną i nie ożeni z Karoliną, to zachowa majątek i szacunek rodziny, ale nie będzie szczęśliwy.
h) Tadeusz nie będzie zadowolony, jeśli wróci wcześniej i pozna całą prawdę.
i) Jeżeli Tadeusz nie wróci wcześniej, to o ile sąsiedzi będą dyskretni, Tadeusz o niczym się nie dowie.
j) Tadeusz zabierze synowi kieszonkowe i nie pozwoli korzystać z komputera, jeśli zobaczy jego świadectM>o.
k) Nie jest prawdą, że jeśli przeczyłam podręcznik i nie będę opuszczał zajęć, to zdam egzamin.
l) Jeżeli nie przygotuję się do egzaminu, to albo będę miał szczęście i wylosuję łatwe pytania,
albo nie będę miał szczęścia i nie zdam egzaminu.
ł) Jeśli pójdę na imprezę, to jutro będzie bolała mnie głowa i nie nauczę się logiki, a jeśli nie nauczę się logiki, to nie zaliczę poniedziałkowego kolokwium; ale jeśli nie pójdę na imprezę, to będę cały czas myślał, co straciłem i też nie nauczę się logiki.
Zadania 1.2, 1.3 i 1.4 mają na celu utrwalenie w pamięci tabelek zero-jedynkowych oraz
wyrobienie umiejętności sprawnego posługiwania się nimi.
a) P A q |
e) P v ~ p |
i) P = (~ P a q) |
b) P v q |
f) (P a q) -» p |
j) (~ p -> q) -> ~ P |
c) P -» q |
g) (P a q) — p |
k) (P = ~ P) v (q -» p) |
d) p = q |
yr > l 'tET < |
1) ~ [(p -> q) v p] |
1