Отрывок: Выражение вида х есть Р или , , или R (x, у), Q (x, у, z), где х – предметная переменная, а Р, R, и Q – предикаторы, являются пропозициональными функциями, или предикатами. хΡ хRy Пропозициональные функции можно превратить в истинные или ложные высказывания, заменив х какой-то предметной постоянной, взятой из той же предметной области. Отметим, что в большинстве случаев пред- метная область определяются интуитивно. Так предикат «х есть поэт» пре- враща...
Название : Логика
Авторы/Редакторы : Косолапов В. П.
Федеральное агентство по образованию
Самарский государственный университет
Дата публикации : 2006
Издательство : Универс групп
Библиографическое описание : Косолапов, В. П. Логика [Электронный ресурс] : учеб. пособие [для вузов] / В. П. Косолапов ; Федер. агентство по образованию, Самар. гос. ун-т, Каф. философии естественнонауч. фак. - Самара : Универс групп, 2006. - on-line. - ISBN = 5-467-00096-9
Аннотация : Используемые программы: Adobe Acrobat.
Труды сотрудников Самар. гос. ун-та (электрон. версия).
ISBN : 5-467-00096-9
Другие идентификаторы : RU\НТБ СГАУ\419694
Ключевые слова: головоломки
доказательство
логические задачи
логика высказываний
логика предикатов
логика субъектно-предикатных отношений
логика
непосредственные умозаключения
суждение
методы установления причинных связей
опровержение
простой категорический силлогизм
понятие
учебные издания
труды ученых СамГУ
Располагается в коллекциях: Учебные издания

Файлы этого ресурса:
Файл Размер Формат  
Косолапов В.П. Логика 2006.pdf1.03 MBAdobe PDFПросмотреть/Открыть
Показать полное описание ресурса Просмотр статистики
Поделиться:



Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.