контрольная работа Логика высказываний
Определение формулы исчисления высказываний, алгебра высказываний. Равносильность формул исчисления высказываний. Совершенная конъюнктивная нормальная форма. Совершенная дизъюнктивная нормальная форма. Проблема решимости, систематические упрощения.
Нажав на кнопку "Скачать архив", вы скачаете нужный вам файл совершенно бесплатно.
Перед скачиванием данного файла вспомните о тех хороших рефератах, контрольных, курсовых, дипломных работах, статьях и других документах, которые лежат невостребованными в вашем компьютере. Это ваш труд, он должен участвовать в развитии общества и приносить пользу людям. Найдите эти работы и отправьте в базу знаний.
Мы и все студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будем вам очень благодарны.
Чтобы скачать архив с документом, в поле, расположенное ниже, впишите пятизначное число и нажмите кнопку "Скачать архив"
| Рубрика | Философия |
| Вид | контрольная работа |
| Язык | русский |
| Дата добавления | 13.08.2010 |
| Размер файла | 31,0 K |
Подобные документы
Важнейшая функция логики. Аксиоматическое построение исчислений высказываний. Системы без доказательства. Эквивалентные системы исчисления высказываний. Системы Д. Гильберта и В. Аккермана. Правило подстановки, схема заключения, метод допущений.
реферат [27,7 K], добавлен 12.08.2010Логика как раздел философии и наука о мышлении. Высказывание как форма мышления, понятие, структура и виды сложных высказываний. Логические значения сложных высказываний. Предложения, являющиеся сложными высказываниями, их логическая характеристика.
контрольная работа [42,6 K], добавлен 18.02.2013Определение видов отношений между понятиями и их графическое изображение с помощью круговых схем Эейлера. Определение правильности деления понятий. Определение вида сложного суждения, его составные части и логическая форма на языке логики высказываний.
контрольная работа [379,6 K], добавлен 14.05.2013Типичные ситуации нарушения закона достаточного основания. Признаки нелогичности высказываний. Положительные и отрицательные понятия. Определение логических ошибок. Вид суждений (по качеству и количеству, логическому союзу, модальности), их формулы.
контрольная работа [37,5 K], добавлен 30.01.2014Умозаключение - форма мышления, посредством которого из одного или нескольких суждений выводится новое суждение. Виды умозаключений. Логика суждений (высказываний). "Аксиомы" логики суждений. Правила вывода логики суждений. "Условный силлогизм".
реферат [12,4 K], добавлен 22.02.2009Значение логики, понятие как форма мышления. Основные логические приемы формирования понятий. Единичные и общие, конкретные и абстрактные, относительные и безотносительные, положительные и отрицательные понятия. Семантическая характеристика высказываний.
контрольная работа [14,9 K], добавлен 13.05.2010Логическое осмысление континуума. Расширение классической логики как следствие ее ограничения (переводы и погружения). Сущность и возникновение алгебры логики. Поиск логической системы. Пример логического анализа высказываний и построения их формул.
контрольная работа [28,2 K], добавлен 05.07.2010Силлогизм - дедуктивное умозаключение, в котором из двух категорических высказываний выводится одно новое. Диаграмма Эйлера для терминов: государство, республика, монархия. Построение таблицы истинности для формулы. Определение фигуры и модуса силлогизма.
контрольная работа [80,2 K], добавлен 29.03.2010Смысл и значение логических законов. Характеристика типичных ситуаций нарушения закона тождества. Определение несуразных, ложных и истинных высказываний. Сущность единичных, общих и нулевых понятий. Виды отношений между понятиями и подбор однозначных.
контрольная работа [13,5 K], добавлен 17.03.2009Учение о силлогизме как исторически первый законченный фрагмент логической теории умозаключений. Логика высказываний и категорические высказывания. Взаимная зависимость предложений. Фигуры и модусы силлогизма. Отношения между терминами рассуждения.
контрольная работа [53,4 K], добавлен 07.01.2011
