Логика высказываний

Определение формулы исчисления высказываний, алгебра высказываний. Равносильность формул исчисления высказываний. Совершенная конъюнктивная нормальная форма. Совершенная дизъюнктивная нормальная форма. Проблема решимости, систематические упрощения.

Рубрика Философия
Вид контрольная работа
Язык русский
Дата добавления 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

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.