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 )