Читать онлайн «Прикладная логика : Учеб. пособие для студентов вузов, обучающихся по специальностям "Математика", "Приклад. математика", "Лингвистика", "Философия" и "Психология"»

Н. Н. Непейвода Прикладная логика Учебное пособие Рекомендовано Государственным комитетом Российской Федерации по высшему образованию в качестве учебного пособия для студентов выс- ших учебных заведений, обучающихся по специальностям “Математи- ка”, “Прикладная математика”, “Лингвистика”, “Философия” и “Психо- логия”. ISBN 5-7029-0074-X c Непейвода Н. Н. , 1997–2002. Все права защищены Оглавление Введение 0. 1. Что такое современная логика? . . . . . . . . . . . . ix 0. 2. Методологические принципы, на которых основано . . . ix данное изложение . . . . . . . . . . . . . . . . . . . 0. 3. Как работать с данной книгой? . . . . . . . . . . . . . . . xviii 0. 4. Введение ко второму изданию . . . . . . . . . . . . . . . xxv . . . xxix ЧастьI. Язык математики 1 1. Необходимость точного языка в математике 1. 1. Как и почему появился язык математической логики? . . 3 1. 2. Зачем изучать формальный язык математики? . . . . . . 3 9 2. Простейшие высказывания 2. 1. Что такое высказывание? . . . . . . . . . . . . 15 2. 2. Математическая интерпретация высказываний . . . . . . 15 2. 3. Предметы и универс. Термы . . . . . . . . . . . . . . . . 21 2. 4. Предикаты и элементарные формулы . . . . . . . . . . . 22 2. 5. Некоторые обозначения . . . . . . . . . . . . . . . . . . . 25 . . . . . . 27 3. Запись высказываний. Логические формулы 3. 1. Связка ‘и’ . . . . . . . . . . . . . . . . . . . 31 3. 2. Связка ‘или’ . . . . . . . . . . . . . . . . . . . . . . . . . 32 3. 3. Связка ‘следует’ . . . . . . . . . . . . . . . . . . . . . . . 33 3. 4.