p	q	p∧q	p/q	p∨q	p↓q	p⊥q		p≡q	p→q
1	1	1	0	1	0	0		1	1
0	1	0	0	1	0	1		0	1
1	0	0	0	1	0	1		0	0
0	0	0	1	0	1	0		1	1
(~p) ≡ ( p↓p) ≡ (p/p)
(L ≡ B) ≡( ( L→B ) ∧ (B→L) )

Każde S jest P	SaP
Żadne S nie jest P	SeP
Niektóre S są P	SiP
Niektóre S nie są P	SoP
Tylko S są P	PaS
Tylko S nie są P	S'aP
Tylko niektóre S są P	((SiP)∧ (SoP))
Tylko niektóre S nie są P

SaP/SeP	Przeciwieństwo
SaP⊥SoP	Sprzeczność
SaP→SiP	Podrzędność
SiP⊥SeP	Sprzeczność
SiP∨SoP	Podprzeciewieństwo
SeP→SoP	Podrzędność

K	Konieczne		Z~p≡Np		N~p≡Zp		D~p≡Np
M	Możliwe		~Zp≡Dp		~N~p≡Dp		~Dp≡Zp
N	Nakazane
Z	Zakazane
D	Dozwolone
Zdanie		Obwersja		Konwersja
SaP		SeP'		PiS
SeP		SaP'		PeS
SiP		SoP'		PiS
SoP		SiP'		brak
Kontrapozycja - O-K-O

W	W sylogizmie muszą być 3 terminy każdy użyty 2 razy
1R	Termin średni musi być raz rozłożony
2 J	Jedna przesłanka musi być twierdząca
3 I	Jedna przesłanka musi być ogólna
4 J	Gdy wniosek twierdzący - przesłanki twierdzące, gdy przeczący - jedna przesłanka przecząca
5 I	Gdy przesłanka szczegółowa wniosek szczegółowy; gdy wniosek ogólny przesłanki ogólne
6 R	Termin rozłożony we wniosku, musi być rozłożony w przesłance
7	Gdy brakującą przesłanką zdanie szczegółowe lub ogólne to eliminujemy zdania ogólne

S	Termin większy
M	Termin średni
P	Termin mniejszy

Rozłożenie terminów
SaP		S
SeP		S, P
SiP		nic
SoP		P
Og.	Szcz.		Prze.	Twi.
a	o		o	a
e	i		e	i

Równoważność: symetryczna, zwrotna, przechodnia, niespójna

Sprzeczność: symetryczna, przeciwzwrotna, przeciwprzechodnia, niespójna

Podrzędność i nadrzędność: przeciwsymetryczna, przeciwzwrotna, przechodnia, niespójna

Niezależność, przeciwieństwo i podprzeciwieństwo: symetryczna, przeciwzwrotna, nieprzechodnia, niespójna

SaP

SiP

SeP

SoP

/

⊥

⊥

∨

→

→

Kp

Mp

M~p

K~p

Np

Zp

D~p

Dp

S a M

M e P

P o S

---