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:

1. termin średni musi być przynajmniej w jednej przesłance terminem rozłożonym.

2. przynajmniej jedna z przesłanek musi być zdaniem twierdzącym.

3. jeśli jedna z przesłanek jest zdaniem przeczącym to i wniosek musi być zdaniem przeczącym.

4. jeśli obie przesłanki są zdaniami twierdzącymi, to i wniosek musi być zdaniem twierdzącym.

5. 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

---