3:1 - 3:1; 1:3 - 1:3

(p∆q) ≡ (?p ◊ ?q)

p	q	(p→q)	(pvq)	(?pv?q)
1	1	1	1	1
0	1	1	1	1
1	0	0	1	0
0	0	1	0	1

3:1 - 1:3, ~; 1:3 - 3:1, ~

(p∆q) ≡ ~ (?p ◊ ?q)

p	q	(p→q)	(p^q)	~ (?p^?q)	(?p^?q)
1	1	1	1	1	0
0	1	1	0	1	0
1	0	0	0	0	1
0	0	1	0	1	0

2:2 - →, ~

(p∆q) ≡ ((?p → ?q) → ~ (?p → ?q))

p	q	(p┴q)	(p→q)	(?p→?q)	~(?p→?q)	(?p→?q)
1	1	0	1	1	0	1
0	1	1	1	1	1	0
1	0	1	0	0	0	1
0	0	0	1	1	0	1

2:2 - alternatywa i ~; koniunkcja i ~

(p∆q) ≡ (~(?p v ?q) v ~ (?p v ?q))

(p∆q) ≡ (~(?p ^ ?q) ^ ~ (?p ^ ?q))

p	q	(p≡q)	(p v q)	~(?p v ?q)	~(?p v ?q)	(?p v ?q)	(?p v ?q)
1	1	1	1	1	0	0	1
0	1	0	1	0	0	1	1
1	0	0	1	0	0	1	1
0	0	1	0	0	1	1	0

2:2 - dysjunkcja; binegacja

(p∆q) ≡ ((?p / ?q) / (?p / ?q))

(p∆q) ≡ ((?p ↓ ?q) ↓ (?p ↓ ?q))

p	q	(p┴q)	(p / q)	(?p / ?q)	(?p / ?q)
1	1	0	0	1	1
0	1	1	1	1	0
1	0	1	1	0	1
0	0	0	1	1	1

~p ≡ (p / p); ~p ≡ (p ↓ p)

~(p / q) ≡ ((p / q) / (p / q)), również ↓

Przesłanki:

1. Termin średni musi być co najmniej raz rozłożony.

2. Co najwyżej jedna przesłanka może być przecząca.

3. Co najwyżej jedna przesłanka może być szczegółowa.

Wniosek:

4. Zawsze i tylko wtedy, gdy przesłanka jest przecząca to i wniosek jest przeczący.

5. Jeżeli jest przesłanka szczegółowa, to i wniosek jest szczegółowy,

jeżeli zaś wniosek jest ogólny, to obie przesłanki muszą być ogólne.

6. Termin rozłożony we wniosku musi być rozłożony w przesłance.

7. Jeżeli do wyboru zostały przesłanki zarówno ogólne i szczegółowe,

należy wybrać szczegółowe. ENTYMEMAT

Obwersje SaP - SeP' SeP - SaP' SiP - SoP' SoP - SiP'	Konwersje SaP - PiS SeP - PeS SiP - PiS SoP - X
Kontrapozycja częściowa - OK Kontrapozycja zupełna - OKO

		Koniunkcja „i”	Alternatywa zwykła „lub”	Alternatywa rozłączna „albo... albo”	Dysjunkcja „bądź.. bądź”	Binegacja „ani... ani”	Implikacja „jeżeli... to”	Równoważność „zawsze i tylko wtedy”
p	q	p ^ q	p v q	p ┴ q	p / q	p ↓ q	p → q	p ≡ q
1	1	1	1	0	0	0	1	1
0	1	0	1	1	1	0	1	0
1	0	0	1	1	1	0	0	0
0	0	0	0	0	1	1	1	1

---