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