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