Pagrindinis filosofija ir religija

Pereinamojo laikotarpio teisės logika ir matematika

Pereinamojo laikotarpio teisės logika ir matematika
Pereinamojo laikotarpio teisės logika ir matematika

Video: Section 2 2024, Liepa

Video: Section 2 2024, Liepa
Anonim

Pereinamasis dėsnis, matematika ir logika, bet kuris sakinys formos „Jei aRb ir bRc, tada aRc“, kur „R“ yra tam tikras ryšys (pvz., „

yra lygus

“), A, b, c yra kintamieji (terminai, kurie gali būti pakeisti objektais), o a, b ir c pakeitimo objektais rezultatas visada yra tikras sakinys. Pereinamojo laikotarpio dėsnio pavyzdys yra „Jei a yra lygi b ir b yra lygi c, tada a yra lygi c“. Kai kuriems santykiams galioja pereinamieji įstatymai, bet kitiems ne. Pereinamasis ryšys yra tas, kuris yra tarp a ir c, jei jis taip pat yra tarp a ir b bei tarp b ir c, kad būtų pakeisti bet kokie a, b ir c objektai. Taigi „

yra lygus

"Yra toks santykis, kaip ir"

yra didesnis nei

“Ir„

mažiau nei

Yra dvi santykių rūšys, kurioms nėra jokių pereinamųjų dėsnių: intransityvūs santykiai ir netransityvūs santykiai. Intransityvusis ryšys nėra tas, kuris nesibaigia tarp a ir c, jei jis taip pat yra tarp a ir b bei tarp b ir c, kad būtų galima pakeisti objektus a, b ir c. Taigi „

yra (biologinė)

“Yra nejautrus, nes jei Marija yra Džeinės dukra, o Džeinė yra Alisos dukra, Marija negali būti Alisos dukra. Taip pat"

yra kvadratas

Netiesinis santykis yra tas, kuris gali būti arba negali būti tarp a ir c, jei jis taip pat yra tarp a ir b bei tarp b ir c, priklausomai nuo objektų, pakeitusių a, b ir c. Kitaip tariant, yra bent vienas pakaitalas, kuriame santykis tarp a ir c išlieka, ir bent vienas pakaitalas, kurio jis neturi. Santykiai „

myli

“Ir„

nėra lygus

Yra pavyzdžiai.