Konditsionaali analüüs esimese järgu loogika abil
Karmo Talts
Analüüsime kondtsionaali esimene järgu loogika abil. Iga väite P puhul leidub väide Q, mille puhul P tõesus tagab Q tõesuse.
Vaatame nüüd, kas selline analüüs kehtib ka substrukturaalsete loogikate puhul. Koondamiseta loogikas võivad eeldustest tulenevad järeldused eelduste lisandumisel muutuda. Seega iga P puhul leiduvad Q ja tingimused, mille puhul P tagab Q tõesuse.
No comments:
Post a Comment