TOWARZYSTWO BIBLIOTEKI S
ŁUCHACZÓW PRAWA UJ
ul. Bracka 12 /302, 31-005 Krak
ów
www.tbsp.pl
Zajęcia TBSP z Logiki dla Prawników 2013
Agnieszka Guzik, Filip Leszczyński
Dowody założeniowe nie wprost – rozwiązania
1) ( ( s → q )
( r → q )
( s
r ) ) → q
1.
( s → q )
( r → q )
( s
r )
Z
2.
q
ZDNW
3.
s → q
OK 1
4.
r → q
OK 1
5.
s
r
OK 1
6.
r
MTT 2, 4
7.
s
OA 5, 6
8.
q
MPP 3, 7 sprzeczność 2, 8
2) ( s
r ) → ( ( s → q ) → ( ( r → q ) → q ) )
1.
s
r
Z
2.
s → q
Z
3.
r → q
Z
4.
q
ZDNW
5.
r
MTT 3, 4
6.
s
OA 1, 5
7.
q
MPP 2, 6 sprzeczność 4, 7
3) ( ( s
r ) → q ) → ( ( s
q ) →
r )
1.
( s
r ) → q
Z
2.
s
q
Z
3.
r
ZDNW
4.
s
OK 2
5.
q
OK 2
6.
( s
r )
MTT 1, 5
7.
s
r
NK 6
TOWARZYSTWO BIBLIOTEKI S
ŁUCHACZÓW PRAWA UJ
ul. Bracka 12 /302, 31-005 Krak
ów
www.tbsp.pl
Zajęcia TBSP z Logiki dla Prawników 2013
Agnieszka Guzik, Filip Leszczyński
8.
s
OA 3, 7
sprzeczność 4, 8
4) ( s
q ) → (
( ( q ≡ p ) → r ) → ( ( s → p ) → q ) )
1.
s
q
Z
2.
( ( q ≡ p ) → r )
Z
3.
s → p
Z
4.
q
ZDNW
5.
s
OA 1, 4
6.
p
MPP 3, 5
7.
( q ≡ p )
r
NI 2
8.
q ≡ p
OK 7
9.
p → q
OR 8
10. q
MPP 6, 9
Sprzeczność 4, 10
5) ( r →
p ) → (
( ( p
s ) →
q ) → (
( s
q ) →
r ) )
1.
r →
p
Z
2.
( ( p
s ) →
q )
Z
3.
( s
q )
Z
4.
r
ZDNW
5.
( p
s )
q
NI 2
6.
p
s
OK 5
7.
p
OK 6
8.
p
DN 7
9.
r
MTT 1, 8
sprzeczność: 4, 9
6) ( p
s ) → ( ( s → r ) → ( ( p ≡ r ) → (
r →
p ) ) )
1.
p
s
Z
2.
s → r
Z
3.
p ≡ r
Z
4.
r
Z
TOWARZYSTWO BIBLIOTEKI S
ŁUCHACZÓW PRAWA UJ
ul. Bracka 12 /302, 31-005 Krak
ów
www.tbsp.pl
Zajęcia TBSP z Logiki dla Prawników 2013
Agnieszka Guzik, Filip Leszczyński
5.
p
ZDNW
6.
p
ON 5
7.
p → r
OR 3
8.
r
MPP 6, 7
sprzeczność 4, 8
7) ( ( r
s ) → p ) → ( ( p →
r ) → ( r → (
p
s ) ) )
1.
( r
s ) → p
Z
2.
p →
r
Z
3.
r
Z
4.
(
p
s )
ZDNW
5.
r
s
DA 3
6.
p
MPP 1, 5
7.
r
MPP 2, 6
sprzeczność 3, 7
8) ( (
s
r ) →
r ) → ( ( q
s ) → (
r
q ) )
1.
(
s
r ) →
r
Z
2.
q
s
Z
3.
(
r
q )
ZDNW
4.
r
q
NA 3
5.
r
OK 4
6.
r
ON 5
7.
(
s
r )
MTT 1, 5
8.
s
r
NA 7
9.
r
OK 8
sprzeczność 6, 9
9) ( ( s
r )
( r →
q )
( q
( s → r ) ) ) → ( s → ( r
q ) )
1.
( s
r )
( r →
q )
( q
( s → r ) )
Z
2.
s
Z
3.
( r
q )
ZDNW
4.
s
r
OK 1
TOWARZYSTWO BIBLIOTEKI S
ŁUCHACZÓW PRAWA UJ
ul. Bracka 12 /302, 31-005 Krak
ów
www.tbsp.pl
Zajęcia TBSP z Logiki dla Prawników 2013
Agnieszka Guzik, Filip Leszczyński
5.
r
q
NA 3
6.
r
OK 5
7.
q
( s → r )
OK 1
8.
s → r
OK 7
9.
s
MTT 6, 8
10. r
OA 4, 9
sprzeczność 6, 10
10) ( r ≡ ( s
p ) ) → ( (
p → s ) → ( (
r → s ) → ( r
p ) ) )
1.
r ≡ ( s
p )
Z
2.
p → s
Z
3.
r → s
Z
4.
( r
p )
ZDNW
5.
r
p
NA 4
6.
r
OK 5
7.
s
MPP 3, 6
8.
s
p
DA 7
9.
( s
p ) → r
OR 1
10. r
MPP 9, 8
sprzeczność 6, 10
11) ( (
(
p
q ) →
r )
p ) → ( (
r
( r ≡ p ) ) → ( q / p ) )
1.
(
(
p
q ) →
r )
p
Z
2.
r
( r ≡ p )
Z
3.
( q / p )
ZDNW
4.
r
OK 2
5.
r ≡ p
OK 2
6.
p
OK 1
7.
p → r
OR 5
8.
r
MPP 6,7
Sprzeczność 4-8
TOWARZYSTWO BIBLIOTEKI S
ŁUCHACZÓW PRAWA UJ
ul. Bracka 12 /302, 31-005 Krak
ów
www.tbsp.pl
Zajęcia TBSP z Logiki dla Prawników 2013
Agnieszka Guzik, Filip Leszczyński
12) ( ( (
q ˅ p ) →
r )
(
p ˅ q ) ) → ( p → q )
1.
( (
q ˅ p ) →
r )
(
p ˅ q )
Z
2.
p
Z
3.
q
ZDNW
4.
p ˅ q
OK 1
5.
p
OA 3,4
Sprzeczność 3,5
13) ( ( p → q ) ≡ ( r ˅
p ) ) → ( (
r
q ) → ( ( (
q
p ) ˅ r ) → ( q
p ) ) )
1.
( p → q ) ≡ ( r ˅
p )
Z
2.
r
q
Z
3.
(
q
p ) ˅ r
Z
4.
( q
p )
ZDNW
5.
q
OK 2
6.
r
OK 2
7.
q
p
OA 3, 6
8.
q
OK 7
Sprzeczność 5, 8
14) ( ( q
p )
(
p →
q ) ) →
( p →
q )
1.
( q
p )
(
p →
q )
Z
2.
( p →
q )
ZDNW
3.
q
p
OK 1
4.
p →
q
OK 1
5.
q
OK 3
6.
q
DN 5
7.
p
MTT 4, 6
8.
p
OK 3
Sprzeczność 7, 8
15) ( ( ( (
p
q ) ≡ r )
r )
( ( s
q ) ≡
r ) ) → (
r → ( p → q ) )
1.
( ( (
p
q ) ≡ r )
r )
( ( s
q ) ≡
r )
Z
2.
r
Z
TOWARZYSTWO BIBLIOTEKI S
ŁUCHACZÓW PRAWA UJ
ul. Bracka 12 /302, 31-005 Krak
ów
www.tbsp.pl
Zajęcia TBSP z Logiki dla Prawników 2013
Agnieszka Guzik, Filip Leszczyński
3.
p
Z
4.
q
ZDNW
5.
(
p
q ) ≡ r
OK 1
6.
(
p
q ) → r
OR 5
7.
p
q
MTT 2, 6
8.
q
OK 7
Sprzeczność 4, 8
16) ( ( r ≡ q )
( p
q ) )→ ( ( q →
p ) → (
(
r ˅
q ) → ( p ˅ q ) ) )
1.
( r ≡ q )
( p
q )
Z
2.
q →
p
Z
3.
(
r ˅
q )
Z
4.
( p ˅ q )
ZDNW
5.
p
q
NA 4
6.
r
q
NA 3
7.
q
OK 6
8.
q
OK 5
Sprzeczność 7,8
Wyszukiwarka
Podobne podstrony:
Dowody założeniowe nie wprost odpowiedzi
Dowody założeniowe nie wprost- zadania
Dowody założeniowe nie wprost zadania
Dowody założeniowe nie wprost zadania
Dowody zalozeniowe wprost odpowiedzi id 141386
Dowody zalozeniowe wprost zadania id 141387
Dowody założeniowe wprost odpowiedzi
Dowody założeniowe wprost zadania (1)
Klucz odpowiedzi id 236518 Nieznany
odpowiedzibezpieczenstwo id 332 Nieznany
Prześwity w mrokach poszukiwanie człoweiczeństwa i dowody na nie w literackich obozach łagru i lag
Poziom podstawowy odpowiedzi(1) id 380127
Szczepienia czyli jak zarabiać krocie nie ponosząc odpowiedzialności, Niebezpieczne szczepienia!!!
konspekt odpowiedzialnosc id 24 Nieznany
ekonomia, makro baza prawo i adm, Test tak/nie (dobra odpowiedź 1 punkt, brak bądź zła 0)
ekonomia, makro baza prawo i adm, Test tak/nie (dobra odpowiedź 1 punkt, brak bądź zła 0)
Egzamin IO egzamin test odpowiedzi id 680882
OPRACOWANE ODPOWIEDZI id 337615 Nieznany
dowody rzeczowe a nie slowa
więcej podobnych podstron