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 wprost – zadania
Dowody założeniowe wprost:
1) ( ( s
r ) → q ) → ( s → ( r → q ) )
2) ( r
(
s
q ) ) → (
( s
q ) → ( ( p →
r ) →
p ) )
3) ( ( s → r )
( q
p ) ) → (
(
r
p ) → (
( q
p ) →
s ) )
4) ( s
r ) → (
( q
p ) → ( ( r → p ) →
q ) )
5) ( r ≡ p ) → ( ( (
r
p ) → s ) → (
p → ( ( s → q ) → ( q
r ) ) ) )
6) ( r → p ) → (
p → (
( s
q ) → (
r
q ) ) )
7) ( r
q) → ( q →
( r ↓ s ) )
8) (
(
( s → q )
r )
(
( q → s ) ≡
r ) ) → ( ( r
s ) → ( s ≡ q ) )
9) ( ( s
r )
( q →
(
s
r ) )
( q → s ) ) → (
q
p )
10) ( (
(
p
q ) →
r )
p ) → ( (
r
( r ≡ p ) ) → ( q / p ) )
11) ( ( (
q ˅ p ) →
r )
(
p ˅ q ) ) → ( p → q )
12) ( ( p →
q )
(
p →
r )
s ) → ( (
s ˅
(
q
r ) → (
q ≡ p )
13) ( ( p → q ) ≡ ( r ˅
p ) ) → ( (
r
q ) → ( ( (
q
p ) ˅ r ) → ( q
p ) ) )
14) ( ( q
p )
(
p →
q ) ) →
( p →
q )
15) ( ( ( ( p
q ) ≡ r )
r )
( ( s
q ) ≡
r ) ) → (
r → ( p → q ) )
16) ( ( r ≡ q )
( p
q ) )→ ( ( q →
p ) → (
(
r ˅
q ) → ( p ˅ q ) ) )