Элементарное введение в математическую логику, Пособие для учителей, Столяр А.А., 1965.
Настоящая книга не может рассматриваться как введение в математическую логику в целом. Однако ознакомление с изложенным в ней материалом облегчит читателю, желающему серьезно изучить предмет, чтение литературы, рекомендованной в конце книги для этой цели. В книге имеются и упражнения для самостоятельной работы читателя.
Примеры применения законов логики высказываний в рассуждениях.
В рассуждениях, выводя одни высказывания из других, мы пользуемся законами логики. Выше (§ 2) мы объявили, что тождественно-истинные формулы алгебры высказываний выражают законы логики. Разумеется, законы логики, выражаемые средствами алгебры высказываний, не исчерпывают все законы логики, используемые в рассуждениях. В частности, если при выводе одних высказываний из других учитывается не только структура сложных высказываний, но и внутренняя логическая структура составляющих их элементарных высказываний,то используются законы логики, которые нельзя выразить средствами алгебры высказываний, отвлекающейся от внутренней структуры элементарных высказываний.
ОГЛАВЛЕНИЕ.
От автора.
Введение.
Глава 1.Логика высказываний.
Глава 2.Исчисление высказываний.
Глава 3.Логика предикатов.
Ниже можно купить эту книгу, если она есть в продаже, и похожие книги по лучшей цене со скидкой с доставкой по всей России.Купить книги
Купить .
Дата публикации:
Теги: Столяр :: книги по математике :: математика :: методичка :: книга для учителя :: логика :: математическая логика
Смотрите также учебники, книги и учебные материалы:
Следующие учебники и книги:
Предыдущие статьи:
