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 

 

 

 

Rozwiązania zdań z pliku KRZ – zadania 2 

 

1. ( ( q → ~ p ) 



 ( r 



 ~ p ) ) → ( ( ~ q 



 ~ r ) → p ) 

2. ( ( q 



 p ) 



 ( 



 q → r ) ˄ ( r ↓ p ) ) 



 ( 



 r 



 q ) 

3. ( ( q → p ) 



 ( 



 r → ( ~ q / 



 s ) ) ) → ( ( s 



 t ) → ( q ↓ r ) ) 

4. ( ( ( p 



 q ) 



 ( p 



 r ) ) 



 s ) 



 ( 



  r 



 ( q 



 



 s ) ) 

5. ( ( p 



 q ) 



 ( ~ r 



 ~ p ) 



 s ) → ( ( q ↓ ~ s ) → r ) 

6. ( ( q 



 p ) 



 ( r 



  



 q ) ) 



 ( ( 



 p 



 



 q ) 



 r ) 

7. ( ( ( p → q ) 



 ( r ↓ ~ q ) ) 



 s ) → ( ( ~ p / r ) 



 ~ s ) 

8. ( ( ( p 



 



 q ) 



  ( ~  r 



 p ) ) ˄ ~ ( ~ q 



 p ) ) 



 ( p 



 ~ r ) 

9. ( ( ( p → q ) 



 ( p ↓ r ) ) ↓ ( ~ q / s ) ) → ( ~ r → ( s 



 p ) ) 

10. ( ( ( p 



 q ) 



 ( q 



 r ) ) 



 ( 



 r 



 ( 



 p 



 



 r ) ) ) 



 ( 



 q 



 ( 



 q 



  



 r ) )  

11. ( ( p ↓ q ) 



 ( p → r ) ) → ( ( ~ q 



 ~ r ) → ~ p ) 

12. ( ( p 



 q ) 



  ( 



 r / s ) ) 



 ( ( q 



 r ) 



 ( p 



 



 s ) ) 

13. ( ~ ( p → ~ q ) 



 ( p 



 ~ r 



 ~ q ) ) → ( ( ~ p 



 q ) / r ) 

14. ( ( ( p 



  



 q ) 



 r ) 



 



 ( q 



 s ) ) 



 ( ( r 



 s ) 



 p )