Отрывок: Выражение вида х есть Р или , , или 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.pdf | 1.03 MB | Adobe PDF | Просмотреть/Открыть |
Показать полное описание ресурса
Просмотр статистики
Поделиться:
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.