• Nie Znaleziono Wyników

Wybrane reguły wnioskowania

N/A
N/A
Protected

Academic year: 2021

Share "Wybrane reguły wnioskowania "

Copied!
2
0
0

Pełen tekst

(1)

1

Wybrane reguły wnioskowania

Zapis:

T P P

P

1

,

2

,...,

n

oznacza, e je li prawdziwe s przesłanki P

1

, P

2

,..., P

n

, to mo na wnioskowa o prawdziwo ci wniosku T.

Reguła odrywania (modus ponens)

Q Q P, P

Modus tollens

P Q Q P

~

~ ,

Sylogizm hipotetyczny

R P

R Q Q P ,

Sylogizm alternatywny

(modus tollendo ponens, modus ponendo tollens) Q

P Q P ∨ , ~ ;

Q P Q P

~ ,

~

~ ∨

Reguły opuszczania koniunkcji

P Q P ∧ ;

Q Q P

Reguła doł czania koniunkcji

Q P

Q P

∧ , ;

Reguły doł czania alternatywy

Q P

P

∨ ;

Q P

Q

Reguła doł czania równowa no ci

Q P

P Q Q P

, ;

(2)

2 Reguły opuszczania równowa no ci

Q P

Q P

; Q P

Q P

Dowód niewprost I

Q P

R R Q

P ∧ ~ ) ( ∧ ~ ) (

Dowód niewprost II

Q P

P P∧ ~ Q ) ~ (

Dylemat konstrukcyjny

Q Q P Q P , ~

Dylemat destrukcyjny

P Q P Q P

~

~ ,

Prawo kompozycji dla koniunkcji

) ( ) (

,

S Q R P

S R Q P

Prawo kompozycji dla alternatywy

) ( ) (

,

S Q R P

S R Q P

Reguły wynikaj ce z kwadratu logicznego

P Q

Q P Q

P , ~ ~ ,

P Q

P Q Q P

~

~

, ,

Q P

P Q P

Q , ~ ~ ,

P Q

Q P Q P

~

~

~

~ ,

Q P

P Q Q

P ~ , ~ ~

~ ,

P Q

P Q Q

P ~ , ~ ~

~

Q P

P Q P Q

~

~

~

~

, ,

Q P

P Q Q P

~

~

,

Cytaty

Powiązane dokumenty

struktura poziomów energetycznych (dla testów modeli teor., dla określenia własności materii, dla wzorców czasu i częstości (zegary atomowe) + metody

• Sędzia przy wykładni językowej może opierać się nie tylko na swojej wiedzy, ale także korzystać ze słowników i biegłych.... • Paralingwistyczne środki wyrazu

26. Uzasadnij krótko swoją propozycję. Stosując dwa różne wnioskowania prawnicze wyprowadź dwie normy z normy upoważniającej właściciela nieruchomości

 Reguła instrumentalnego zakazu – reguła ta stanowi, iż jeśli uznaje się za obowiązującą normę N1, która nakazuje spowodować stan rzeczy S (osiągnąć cel C), to

• Ma zastosowanie w sytuacji, gdy chcemy dowieść, że obowiązuje norma prawna nakazująca albo dozwalająca coś czynić, choć nie jest ona wyrażona explicite w

błąd formalny – z prawdy wynika fałsz, ktoś uważa swoje wnioskowanie za dedukcyjne lecz dany wniosek nie wynika logicznie z przesłanek, nie opiera się to wnioskowanie na

„Jeżeli w systemie prawa obowiązuje norma N wyrażona w przepisie prawa, która ma określony zakres zastosowania oraz zakres normowania, to przyjmujemy, że obowiązują

 Reguła instrumentalnego zakazu – reguła ta stanowi, iż jeśli uznaje się za obowiązującą normę N1, która nakazuje spowodować stan rzeczy S (osiągnąć cel C), to