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