KWADRAT LOGICZNY
Prawa kwadratu
Dla zdań sprzecznych
SaP ↔ ~SoP
SoP ↔ ~ SaP
SeP ↔ ~SiP
SiP ↔ ~SeP
Dla zdań przeciwnych
SaP → ~SeP SeP → ~SaP
Dla zdań podprzeciwnych
~SiP → SoP ~SoP →SiP
Dla zdań podporządkowanych
SaP → SiP SeP → SoP
~SiP →~SaP ~SoP →~SeP
Konwersja Obwersja
SeP ↔ PeS SaP ↔ SeP'
SiP ↔ Pis SeP ↔ SaP'
SaP → Pis SiP ↔ SoP'
SoP ↔ SiP'
Sylogizmy
Jeden ze sposobów rozpoznawania trybów słusznych (por. np. podręcznik Ziembińskiego) to tzw. metoda strukturalna polegająca na badaniu jakości i ilości zdań tworzących sylogizm oraz tzw. rozłożenia terminów.
Termin rozłożony: użyty w całym zakresie, tj. terminy rozłożone to takie, które mówią coś o wszystkich desygnatach nazwy. Rozłożone są podmioty zdań ogólnych i orzeczniki zdań przeczących.
TERMINY ROZŁOŻONE
SaP termin większy - orzecznik we wniosku, termin mniejszy - podmiot we wniosku
SeP
SoP
Reguły rozpoznawania trybów słusznych:
termin średni musi być przynajmniej w jednej przesłance terminem rozłożonym.
przynajmniej jedna z przesłanek musi być zdaniem twierdzącym.
jeśli jedna z przesłanek jest zdaniem przeczącym to i wniosek musi być zdaniem przeczącym.
jeśli obie przesłanki są zdaniami twierdzącymi, to i wniosek musi być zdaniem twierdzącym.
Jeśli jakiś termin ma być terminem rozłożonym we wniosku, to musi on być terminem rozłożonym i w przesłance.
p |
q |
^ |
v |
→ |
≡ |
~ |
1 |
1 |
1 |
1 |
1 |
1 |
|
1 |
0 |
0 |
1 |
0 |
0 |
|
0 |
1 |
0 |
1 |
1 |
0 |
|
0 |
0 |
0 |
0 |
1 |
1 |
|
1
przeciwieństwo
SeP
sprzeczność
podporządkowanie
podporządkowanie
SaP
SoP
SiP
podprzeciwieństwo
SaP