Szanowni Państwo,

Z uwagi na to, że dopiero zaczynamy się uczyć dowodów założeniowych, poniżej najpierw
cztery zadania z podpowiedziami: w zadaniu 1 i 3 podaję pierwsze linie rozwiązania
(założenia) i dodatkowo symbole praw, które trzeba zastosować w rozwiązaniu, zaś w
zadaniach 2 i 4 rozpisuję jedynie założenia i dalej spróbujcie sobie sami poradzić.
Rozwiązania zadania znajdują się w dalszej części tego pliku, ale tam zerknijcie, jak sobie już
zadania rozwiążecie. Przypominam, że w dowodzie wprost należy dojść do wniosku danej
formuły, zaś w dowodzie nie wprost trzeba uzyskać sprzeczność między liniami dowodu.
Miłej zabawy (chociaż, obawiam się, że niektóre z tych zadań już dzisiaj rozwiązywaliśmy)!!!

1. Przeprowadź dowód założeniowy wprost twierdzenia: skorzystaj z NA, MTT, OK i DK.

(p®q)®(~q®(~(rs)®(~pÙ~s)))
1. p ® q Z
2. ~ q Z
3. ~ ( r  s ) Z
4. ??????????? itd.

2. Przeprowadź dowód założeniowy wprost twierdzenia:

(p ~(~qÙ~s))®(~(qs)®((r®~p)®~r))
1. p  ~ ( ~ q Ù ~ s ) Z
2. ~ ( q  s ) Z
3. r ® ~ p Z
4. ??????????? itd.

3. Przeprowadź dowód założeniowy nie wprost twierdzenia: skorzystaj z ON, OR i MPP.

(qr)® ((r®p)®((qºp)®(~p®~q)))
1. q  r Z
2. r ® p Z
3. q º p Z
4. ~ p Z
5. ~ ~ q ZDNW
6. ??????????? itd.
4. Przeprowadź dowód założeniowy nie wprost twierdzenia:
((pr)®q)®((q®~p)®((p®(~q Ù~r))))
1. ( p  r ) ® q Z
2. q ® ~ p Z
3. p Z
4. ~ ( ~ q Ù ~ r ) ZDNW
5. ???????????? itd.
ROZWIĄZANIA:

1. Przeprowadź dowód założeniowy wprost twierdzenia: skorzystaj z NA, MTT, OK i DK.

(p®q)®(~q®(~(rs)®(~pÙ~s)))
1. p ® q Z
2. ~ q Z
3. ~ ( r  s ) Z
4. ~ r Ù ~ s NA 3
5. ~ p MTT 1, 2
6. ~ s OK 4
7. ~ p Ù ~ s DK 5, 6

2. Przeprowadź dowód założeniowy wprost twierdzenia:

(p ~(~qÙ~s))®(~(qs)®((r®~p)®~r))
1. p  ~ ( ~ q Ù ~ s ) Z
2. ~ ( q  s ) Z
3. r ® ~ p Z
4. ( ~ q Ù ~ s ) NA 2
5. ~ ~ ( ~ q Ù ~ s ) DN 4
6. p OA 1, 5
7. ~ ~ p DN 6
8. ~ r MTT 3, 7

3. Przeprowadź dowód założeniowy nie wprost twierdzenia: skorzystaj z ON, OR i MPP.

(qr)® ((r®p)®((qºp)®(~p®~q)))
1. q  r Z
2. r ® p Z
3. q º p Z
4. ~ p Z
5. ~ ~ q ZDNW
6. q ON 5
7. q ® p OR 3
8. p MPP 6, 7 SP 4 – 8 (linie te podkreślam)

4. Przeprowadź dowód założeniowy nie wprost twierdzenia:

((pr)®q)®((q®~p)®((p®(~q Ù~r))))
1. ( p  r ) ® q Z
2. q ® ~ p Z
3. p Z
4. ~ ( ~ q Ù ~ r ) ZDNW
5. p  r DA 3
6. q MPP 1, 5
7. ~ p MPP 2, 6 SP 3 – 7

Kolejne cztery zadania, tym razem bez podpowiedzi: zadania 1 i 2 należy rozwiązać w drodze
dowodu założeniowego wprost, a zadania 3 i 4 – dowodem założeniowym nie wprost.
Rozwiązania podam na najbliższych ćwiczeniach w czwartek – wtedy je sobie będziemy
rozwiązywali.

DODAM DLA POKRZEPIENIA, ŻE ZADANIA TE SĄ NA POZIOMIE EGZAMINU.

1. ( ~ p  q ) ® ( ( q ® ~ ( s Ù ~ r ) ) ® ( p ® ( s ® r ) ) )
2. ( p º q ) ® ( ( ( ~ p  q ) ® r ) ® ( ~ q ® ( ( r ® s ) ® ( s Ù ~ p ) ) ) )
3. ( ( p Ù ~ q ) ® ( r  s ) ) ® ( ( ~ r ® ( q º s ) ) ® ( ( ~ r Ù ∼ q ) ® ~ p ) )
4. ( p º ( r  q ) ) ® ( ( ~ q ® r ) ® ( ( ~ p ® r ) ® ( p  q ) ) )