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 – rozwiązania
1) ( ( s → q )
( r → q )
( s
r ) ) → q
1.
( s → q )
( r → q )
( s
r )
Z
2.
q
ZDNW
3.
s → q
OK 1
4.
r → q
OK 1
5.
s
r
OK 1
6.
r
MTT 2, 4
7.
s
OA 5, 6
8.
q
MPP 3, 7 sprzeczność 2, 8
2) ( s
r ) → ( ( s → q ) → ( ( r → q ) → q ) )
1.
s
r
Z
2.
s → q
Z
3.
r → q
Z
4.
q
ZDNW
5.
r
MTT 3, 4
6.
s
OA 1, 5
7.
q
MPP 2, 6 sprzeczność 4, 7
3) ( ( s
r ) → q ) → ( ( s
q ) →
r )
1.
( s
r ) → q
Z
2.
s
q
Z
3.
r
ZDNW
4.
s
OK 2
5.
q
OK 2
6.
( s
r )
MTT 1, 5
7.
s
r
NK 6
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
8.
s
OA 3, 7
sprzeczność 4, 8
4) ( s
q ) → (
( ( q ≡ p ) → r ) → ( ( s → p ) → q ) )
1.
s
q
Z
2.
( ( q ≡ p ) → r )
Z
3.
s → p
Z
4.
q
ZDNW
5.
s
OA 1, 4
6.
p
MPP 3, 5
7.
( q ≡ p )
r
NI 2
8.
q ≡ p
OK 7
9.
p → q
OR 8
10. q
MPP 6, 9
Sprzeczność 4, 10
5) ( r →
p ) → (
( ( p
s ) →
q ) → (
( s
q ) →
r ) )
1.
r →
p
Z
2.
( ( p
s ) →
q )
Z
3.
( s
q )
Z
4.
r
ZDNW
5.
( p
s )
q
NI 2
6.
p
s
OK 5
7.
p
OK 6
8.
p
DN 7
9.
r
MTT 1, 8
sprzeczność: 4, 9
6) ( p
s ) → ( ( s → r ) → ( ( p ≡ r ) → (
r →
p ) ) )
1.
p
s
Z
2.
s → r
Z
3.
p ≡ r
Z
4.
r
Z
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
5.
p
ZDNW
6.
p
ON 5
7.
p → r
OR 3
8.
r
MPP 6, 7
sprzeczność 4, 8
7) ( ( r
s ) → p ) → ( ( p →
r ) → ( r → (
p
s ) ) )
1.
( r
s ) → p
Z
2.
p →
r
Z
3.
r
Z
4.
(
p
s )
ZDNW
5.
r
s
DA 3
6.
p
MPP 1, 5
7.
r
MPP 2, 6
sprzeczność 3, 7
8) ( (
s
r ) →
r ) → ( ( q
s ) → (
r
q ) )
1.
(
s
r ) →
r
Z
2.
q
s
Z
3.
(
r
q )
ZDNW
4.
r
q
NA 3
5.
r
OK 4
6.
r
ON 5
7.
(
s
r )
MTT 1, 5
8.
s
r
NA 7
9.
r
OK 8
sprzeczność 6, 9
9) ( ( s
r )
( r →
q )
( q
( s → r ) ) ) → ( s → ( r
q ) )
1.
( s
r )
( r →
q )
( q
( s → r ) )
Z
2.
s
Z
3.
( r
q )
ZDNW
4.
s
r
OK 1
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
5.
r
q
NA 3
6.
r
OK 5
7.
q
( s → r )
OK 1
8.
s → r
OK 7
9.
s
MTT 6, 8
10. r
OA 4, 9
sprzeczność 6, 10
10) ( r ≡ ( s
p ) ) → ( (
p → s ) → ( (
r → s ) → ( r
p ) ) )
1.
r ≡ ( s
p )
Z
2.
p → s
Z
3.
r → s
Z
4.
( r
p )
ZDNW
5.
r
p
NA 4
6.
r
OK 5
7.
s
MPP 3, 6
8.
s
p
DA 7
9.
( s
p ) → r
OR 1
10. r
MPP 9, 8
sprzeczność 6, 10
11) ( (
(
p
q ) →
r )
p ) → ( (
r
( r ≡ p ) ) → ( q / p ) )
1.
(
(
p
q ) →
r )
p
Z
2.
r
( r ≡ p )
Z
3.
( q / p )
ZDNW
4.
r
OK 2
5.
r ≡ p
OK 2
6.
p
OK 1
7.
p → r
OR 5
8.
r
MPP 6,7
Sprzeczność 4-8
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
12) ( ( (
q ˅ p ) →
r )
(
p ˅ q ) ) → ( p → q )
1.
( (
q ˅ p ) →
r )
(
p ˅ q )
Z
2.
p
Z
3.
q
ZDNW
4.
p ˅ q
OK 1
5.
p
OA 3,4
Sprzeczność 3,5
13) ( ( p → q ) ≡ ( r ˅
p ) ) → ( (
r
q ) → ( ( (
q
p ) ˅ r ) → ( q
p ) ) )
1.
( p → q ) ≡ ( r ˅
p )
Z
2.
r
q
Z
3.
(
q
p ) ˅ r
Z
4.
( q
p )
ZDNW
5.
q
OK 2
6.
r
OK 2
7.
q
p
OA 3, 6
8.
q
OK 7
Sprzeczność 5, 8
14) ( ( q
p )
(
p →
q ) ) →
( p →
q )
1.
( q
p )
(
p →
q )
Z
2.
( p →
q )
ZDNW
3.
q
p
OK 1
4.
p →
q
OK 1
5.
q
OK 3
6.
q
DN 5
7.
p
MTT 4, 6
8.
p
OK 3
Sprzeczność 7, 8
15) ( ( ( (
p
q ) ≡ r )
r )
( ( s
q ) ≡
r ) ) → (
r → ( p → q ) )
1.
( ( (
p
q ) ≡ r )
r )
( ( s
q ) ≡
r )
Z
2.
r
Z
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
3.
p
Z
4.
q
ZDNW
5.
(
p
q ) ≡ r
OK 1
6.
(
p
q ) → r
OR 5
7.
p
q
MTT 2, 6
8.
q
OK 7
Sprzeczność 4, 8
16) ( ( r ≡ q )
( p
q ) )→ ( ( q →
p ) → (
(
r ˅
q ) → ( p ˅ q ) ) )
1.
( r ≡ q )
( p
q )
Z
2.
q →
p
Z
3.
(
r ˅
q )
Z
4.
( p ˅ q )
ZDNW
5.
p
q
NA 4
6.
r
q
NA 3
7.
q
OK 6
8.
q
OK 5
Sprzeczność 7,8
Wyszukiwarka
Podobne podstrony:
Dowody zalozeniowe nie wprost odpowiedzi id 141384
Dowody założeniowe nie wprost- zadania
Dowody założeniowe nie wprost zadania
Dowody założeniowe nie wprost zadania
Dowody zalozeniowe wprost odpowiedzi id 141386
Dowody założeniowe wprost odpowiedzi
Dowody zalozeniowe wprost zadania id 141387
Dowody założeniowe wprost zadania (1)
Prześwity w mrokach poszukiwanie człoweiczeństwa i dowody na nie w literackich obozach łagru i lag
Szczepienia czyli jak zarabiać krocie nie ponosząc odpowiedzialności, Niebezpieczne szczepienia!!!
ekonomia, makro baza prawo i adm, Test tak/nie (dobra odpowiedź 1 punkt, brak bądź zła 0)
ekonomia, makro baza prawo i adm, Test tak/nie (dobra odpowiedź 1 punkt, brak bądź zła 0)
dowody rzeczowe a nie slowa
Dowody założeniowe teoria
Dowody założeniowe, zadania
Język językowi nie równy - ODPOWIEDZI 100%, Język językowi nie równy - ODPOWIEDZI 100%
1 A Lorenc Steinmec, A Zaremba Nawet Jas zrobilby to lepiej O agresji nie wprost w relacji d
pracodawca nie ponosi odpowiedzialności kc
16 Metoda dowodu nie wprost
więcej podobnych podstron