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 ) ) )