dc.contributor.author | Kawecki, Wojciech | |
dc.date.accessioned | 2015-04-24T08:24:17Z | |
dc.date.available | 2015-04-24T08:24:17Z | |
dc.date.issued | 1981 | |
dc.identifier.issn | 0208-6107 | |
dc.identifier.uri | http://hdl.handle.net/11089/8163 | |
dc.description.abstract | Труд представляет собой некоторый метод формализации логи-
ческого следствия на основе исчисления квантификаторов. Этот ме-
тод, основанный Бетом, является очень удобным инструментом, по-
зволяющим в большинстве случаев отрицать исчисление или же обо-
сновывать его путвм нахоидвния контрмодвли, или we путём доказа-
тельства, что контрмодели нет.
Настоящая работа осуществляет некоторую систематизацию проб-
лемы семантического следствия. Начальный фрагмент посвящён не-
которым важным семантическим понятиям в исчислении квантифика-
торов. Затем приведены правила графика семантических диаграмм.
Рассмотрены танжа вопросы сопоставления формул с тан называемыми
деревьями. В дальнейших рассуждениях были подданы дискуссии типы
графиков закрытых формул исчисления нвантифинаторов. Занлючи-
1вльнан часть работы содержит импозантные примеры для отличи-
ыльмых типов графиков, кроме того, каждый пример графически про-
иллюстрирован соответствующим ему деревом. | pl_PL |
dc.description.sponsorship | Zadanie pt. „Digitalizacja i udostępnienie w Cyfrowym Repozytorium Uniwersytetu Łódzkiego kolekcji czasopism naukowych wydawanych przez Uniwersytet Łódzki” nr 885/P-DUN/2014 dofinansowane zostało ze środków MNiSW w ramach działalności upowszechniającej naukę. | pl_PL |
dc.language.iso | pl | pl_PL |
dc.publisher | Wydawnictwo Uniwersytetu Łódzkiego | pl_PL |
dc.relation.ispartofseries | Acta Universitatis Lodziensis. Folia Philosophica;1 | |
dc.title | Wynikanie semantyczno w rachunku kwantyfikatorów | pl_PL |
dc.title.alternative | Семантическое последстние в исчислении квантификаторов | pl_PL |
dc.type | Article | pl_PL |
dc.page.number | 75-91 | pl_PL |
dc.contributor.authorAffiliation | Instytut Filozofii, Uniwersytet Łódzki | pl_PL |