Dowody założeniowe wprost zadania (1)

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


Wyszukiwarka

Podobne podstrony:
Dowody zalozeniowe wprost zadania id 141387
Dowody zalozeniowe wprost odpowiedzi id 141386
Dowody założeniowe wprost odpowiedzi
Dowody założeniowe nie wprost- zadania
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, zadania
Dowody założeniowe nie wprost odpowiedzi
Dowody założeniowe teoria
Technika komputerowa w obrocie towarowym, Założenia do diety, Założenia do zadania optymalnej diety
Dowody założeniowe teoria
26 Podać zasady obliczania współrzędnych na podstawie odległości i azymutu na elipsoidzie (zadanie
zadanie6, materialy, Matematyka, matematyka - dowody
zadanie18, materialy, Matematyka, matematyka - dowody
ZAŁOŻENIA WYNIKAJĄCE Z TREŚCI ZADANIA I DOKUMENTACJI
ZadanieTM20, materialy, Matematyka, matematyka - dowody
Założenia i zadania opieki geriatrycznej
zadanie WPROST

więcej podobnych podstron