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