Логика и метаматематические исследования

Разнообразие методов. Подобно любой другой научной дисциплине логика обладает набором собственных, специфичных только для неё методов. В элементарной логике высказываний (теории истинностных функций), или построении исчисления высказываний в теории моделей мы используем метод таблиц истинности, несомненным преимуществом которого является наглядность его представления полноты и попарной различенности допустимых интерпретаций. Как совершенно справедливо замечает Клини, этим методом нужно пользоваться без колебаний, когда возникают сомнения в правильности других решений.

www.tgoop.com/logic_metamathematics/786

551 viewsNov 10, 2024 at 01:17

Разнообразие методов. Подобно любой другой научной дисциплине логика обладает набором собственных, специфичных только для неё методов. В элементарной логике высказываний (теории истинностных функций), или построении исчисления высказываний в теории моделей мы используем метод таблиц истинности, несомненным преимуществом которого является наглядность его представления полноты и попарной различенности допустимых интерпретаций. Как совершенно справедливо замечает Клини, этим методом нужно пользоваться без колебаний, когда возникают сомнения в правильности других решений.

BY Логика и метаматематические исследования