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