Dowody założeniowe nie wprost zadania

background image

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


Wyszukiwarka

Podobne podstrony:
Dowody założeniowe nie wprost- zadania
Dowody założeniowe nie wprost zadania
Dowody zalozeniowe nie wprost odpowiedzi id 141384
Dowody założeniowe nie wprost odpowiedzi
Dowody zalozeniowe wprost zadania id 141387
Dowody założeniowe wprost zadania (1)
Dowody zalozeniowe wprost odpowiedzi id 141386
Dowody założeniowe, zadania
Dowody założeniowe wprost odpowiedzi
Prześwity w mrokach poszukiwanie człoweiczeństwa i dowody na nie w literackich obozach łagru i lag
dowody rzeczowe a nie slowa
Dowody założeniowe teoria
ZAŁOŻENIA WYNIKAJĄCE Z TREŚCI ZADANIA I DOKUMENTACJI
1 A Lorenc Steinmec, A Zaremba Nawet Jas zrobilby to lepiej O agresji nie wprost w relacji d
16 Metoda dowodu nie wprost
URLOP NA ŻĄDANIE JUŻ NIE NA ŻĄDANIE, PORADY BHP
Dowody założeniowe teoria
SMOLEŃSK – DOWODY ZBRODNI, Nie do podważenia

więcej podobnych podstron