Relacje między zakresami nazw:

1. tożsamości A=B -dwa te same zakresy

2. podrzędności - każdy desygnat nazwy A jest desygnatem B, ale nie odwrotnie

3. nadrzędności - gdy A jest podrzędne B, to B jest nadrzędne A

4. krzyżowania się - mają wspólne desygnaty i różne

Nazwy sprzeczne - A i nie A, człowiek i nie człowiek, wykluczają się i dopełniają

Nazwy przeciwne - wykluczają ale nie dopełniają (są jeszcze inne niż A i B)

Nazwy podprzeciwne - nie wykluczają ale dopełniają, mają część wspólną, ale są tylko one.

0	0	0	0	1	1
0	1	0	1	1	0
1	0	0	1	0	0
1	1	1	1	1	1

Sap -> ~SeP, ~SoP, SiP.

SeP -> ~SaP, ~SiP, SoP

SoP -> ~SaP,

SiP -> ~Sep,

Prawa konwersji prostej:

SeP -> PeS

SiP -> PiS

Prawa konwersji z ograniczeniem:

SaP -> PiS

SeP -> PoS

Prawa obwersji:

Š - nie S - symbol negacji

SaP ->SeP'

SeP <-> SaP'

SiP <-> SoP'

SoP <-> SiP'

Prawda :

-> P

= ~

- ~

<- nic

--- nic

Nieprawda:

-> nic

= nic

- P

--- P

<- ~

LOGIKA DEOTYCZNA

c - czyn osoby

x -osoba

n - norma

N - nakazane

Z - zakazane N i Z nie dopełniają się a wykluczają (bo jak coś nie jest nakazane, to nie musi być zakazane)

D - dozwolone

F - fakultatywne (można tego nie zrobić)

Di F są podprzeciwne, dopełniają się ale nie wykluczają

I - indyferentne (dozwolone i fakultatywne)

O - obowiązkowe

Sprzeczność - wyklucza i dopełnia

Ncxn - czyn osoby x w świetle normy n nakazany.

błąd, bo z I-> F - zamarzcie sobie negacje przy tym

---