Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl
System messages
  • Session was invalidated!

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1
Publication available in full text mode
Content available

Wynikanie semantyczno w rachunku kwantyfikatorów

100%
Kawecki W., Instytut Filozofii U. Ł.
Acta Universitatis Lodziensis. Folia Philosophica. Ethica – Aesthetica – Practica
|
1981
|
vol. 01
RU
Труд представляет собой некоторый метод формализации логи- ческого следствия на основе исчисления квантификаторов. Этот ме- тод, основанный Бетом, является очень удобным инструментом, по- зволяющим в большинстве случаев отрицать исчисление или же обо- сновывать его путвм нахоидвния контрмодвли, или we путём доказа- тельства, что контрмодели нет. Настоящая работа осуществляет некоторую систематизацию проб- лемы семантического следствия. Начальный фрагмент посвящён не- которым важным семантическим понятиям в исчислении квантифика- торов. Затем приведены правила графика семантических диаграмм. Рассмотрены танжа вопросы сопоставления формул с тан называемыми деревьями. В дальнейших рассуждениях были подданы дискуссии типы графиков закрытых формул исчисления нвантифинаторов. Занлючи- 1вльнан часть работы содержит импозантные примеры для отличи- ыльмых типов графиков, кроме того, каждый пример графически про- иллюстрирован соответствующим ему деревом.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.