Элементарное введение в математическую логику, Пособие для учителей, Столяр А.А., 1965

Элементарное введение в математическую логику, Пособие для учителей, Столяр А.А., 1965.  
 
Настоящая книга не может рассматриваться как введение в математическую логику в целом. Однако ознакомление с изложенным в ней материалом облегчит читателю, желающему серьезно изучить предмет, чтение литературы, рекомендованной в конце книги для этой цели. В книге имеются и упражнения для самостоятельной работы читателя.




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

ОГЛАВЛЕНИЕ.
От автора.
Введение.
Глава 1.Логика высказываний.
Глава 2.Исчисление высказываний.
Глава 3.Логика предикатов.

Купить .










Теги: Столяр :: книги по математике :: математика :: методичка :: книга для учителя :: логика :: математическая логика