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

Важнейшая функция логики. Аксиоматическое построение исчислений высказываний. Системы без доказательства. Эквивалентные системы исчисления высказываний. Системы Д. Гильберта и В. Аккермана. Правило подстановки, схема заключения, метод допущений.

Рубрика Философия
Вид реферат
Язык русский
Дата добавления 12.08.2010
Размер файла 27,7 K

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.


Подобные документы

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

    контрольная работа [31,0 K], добавлен 13.08.2010

  • Аксиоматическое построение математической теории. Основная идея математической логики. Основные принципы операций: отрицание, конъюнкция, дизъюнкция, импликация и эквивалентность логических высказываний. Неформальный аксиоматический метод логики.

    реферат [32,9 K], добавлен 14.12.2012

  • Логика как раздел философии и наука о мышлении. Высказывание как форма мышления, понятие, структура и виды сложных высказываний. Логические значения сложных высказываний. Предложения, являющиеся сложными высказываниями, их логическая характеристика.

    контрольная работа [42,6 K], добавлен 18.02.2013

  • Логическое осмысление континуума. Расширение классической логики как следствие ее ограничения (переводы и погружения). Сущность и возникновение алгебры логики. Поиск логической системы. Пример логического анализа высказываний и построения их формул.

    контрольная работа [28,2 K], добавлен 05.07.2010

  • Изучение формально-логических принципов умозаключения, разработанных Аристотелем. Понятие умозаключения, как заключения из двух высказываний, содержащих в себе утверждение о присущности предиката субъекту. Связь формальной логики с учением об истине.

    реферат [30,5 K], добавлен 14.12.2009

  • Умозаключение - форма мышления, посредством которого из одного или нескольких суждений выводится новое суждение. Виды умозаключений. Логика суждений (высказываний). "Аксиомы" логики суждений. Правила вывода логики суждений. "Условный силлогизм".

    реферат [12,4 K], добавлен 22.02.2009

  • Значение логики, понятие как форма мышления. Основные логические приемы формирования понятий. Единичные и общие, конкретные и абстрактные, относительные и безотносительные, положительные и отрицательные понятия. Семантическая характеристика высказываний.

    контрольная работа [14,9 K], добавлен 13.05.2010

  • Возникновение и этапы развития традиционной формальной логики. Аристотель как основатель логики. Создание символической логики, виды логических исчислений, алгебра логики. Метод формализации. Становление диалектической логики, работы И. Канта, Г. Гегеля.

    реферат [26,9 K], добавлен 19.01.2009

  • Типичные ситуации нарушения закона достаточного основания. Признаки нелогичности высказываний. Положительные и отрицательные понятия. Определение логических ошибок. Вид суждений (по качеству и количеству, логическому союзу, модальности), их формулы.

    контрольная работа [37,5 K], добавлен 30.01.2014

  • Определение видов отношений между понятиями и их графическое изображение с помощью круговых схем Эейлера. Определение правильности деления понятий. Определение вида сложного суждения, его составные части и логическая форма на языке логики высказываний.

    контрольная работа [379,6 K], добавлен 14.05.2013

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