1.Klasyczne zdania kategoryczne

Każdy S jest P SaP zdanie: twierdzące, ogólne

Żaden S nie jest P SeP zdanie: przeczące, ogólne

Niektóre S są P SiP zdanie: twierdzące, szczegółowe

Niektóre S nie są P SoP zdanie: przeczące, szczegółowe

S - M S - termin mniejszy (podmiot wniosku) - przesłanka, która zawiera ten termin

M - P jest przesłanką mniejszą

S - P M -termin średni - pojawia się w przesłankach, nie pojawia się we wniosku

P - termin większy (orzecznik wniosku) - przesłanka, która zawiera ten termin jest przesłanką większą

Dyrektywy:

D 0 -brak 4 terminów

D 1 - termin średni rozłożony w co najmniej 1 przesłance

D 2 - co najmniej jedna przesłanka musi być twierdząca

D 3 - co najmniej jedna przesłanka musi być ogólna

D 4 - zawsze i tylko jeżeli jest przesłanka przecząca to wniosek jest przeczący

D 5 - jeżeli jest przesłanka szczegółowa to wniosek jest szczegółowy

D 6 - jeżeli termin jest rozłożony we wniosku to musi być rozłożony w przesłance

(Entymemat:)

D 7 - jeżeli pozostały przesłanki ogólne i szczegółowe - wyeliminuj ogólne

Przekształcanie zdań

Tylko S są P	Każde P jest S (PaS)
Tylko S nie są P	Każde `S jest P (S'aP)
Tylko niektóre S są P lub tylko niektóre S nie są P	Niektóre S są P i Niektóre S nie są P (SiP ^ SoP)

2.Kontrapozycja Zupełna O->K->O

Obwersja: Konwersja:

SaP - SeP' SaP - PiS

SeP - SaP' SeP - PeS

SiP- SoP' SiP - PiS

SoP - SiP' SoP - brak

3.Kwadrat Logiczny 1 )dla zdań kategorycznych

SaP SeP

_

SiP SoP

Kwadrat Logiczny 2 )dla zdań modalnych

Kp K~p

_

Mp M~p

Kwadrat Logiczny 3 )dla zdań deontycznych

Np Zp

_

Dp D~p

4. Inne

p	q	q → p
1	1	1
0	1	0
1	0	1
0	0	1

Implikacja intensywna

Tylko jeżeli p to q

q → p

Przestawienie szyku (to co innego niż implikacja intensywna!)

p jeżeli q

p jeśli q q → p

p, o ile q

5.Tabelka funktorów

p	q	p /\ q	p / q	p v q	p ↓ q	p Ξ q	p q	p → q
1	1	1	0	1	0	1	0	1
0	1	0	1	1	0	0	1	1
1	0	0	1	1	0	0	1	0
0	0	0	1	0	1	1	0	1

---