Логические функции
Функция, устанавливающая соответствие между одним или несколькими высказываниями, которые называются аргументами функции. Высказывания как базовые элементы, которыми оперирует алгебра логики. Дизъюнктивная нормальная форма. Составление карты Карно.
| Рубрика | Философия |
| Предмет | Логика |
| Вид | курсовая работа |
| Язык | русский |
| Прислал(а) | jakpomaslu |
| Дата добавления | 08.06.2014 |
| Размер файла | 425,8 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Определение формулы исчисления высказываний, алгебра высказываний. Равносильность формул исчисления высказываний. Совершенная конъюнктивная нормальная форма. Совершенная дизъюнктивная нормальная форма. Проблема решимости, систематические упрощения.
контрольная работа [31,0 K], добавлен 13.08.2010Предмет и значение логики. Мышление как логическая ступень познания. Субъект и предикат - главные элементы мысли. Соотношение логики формальной и диалектической. Социальное назначение и функции логики. Логические формы и правила соединения наших мыслей.
реферат [29,1 K], добавлен 31.10.2010Анализ закона формальной логики о зависимости между изменениями объёма и содержания понятия. Сущность правила логической операции деления понятий и возможные ошибки. Суждения как форма мысли, устанавливающая логическую связь между двумя и более понятиями.
контрольная работа [21,6 K], добавлен 24.03.2015Логика как раздел философии и наука о мышлении. Высказывание как форма мышления, понятие, структура и виды сложных высказываний. Логические значения сложных высказываний. Предложения, являющиеся сложными высказываниями, их логическая характеристика.
контрольная работа [42,6 K], добавлен 18.02.2013Логические законы как основа человеческого мышления. Толкования законов тождества, противоречия, исключительного третьего и достаточного основания. Несовместимость истины и лжи. Установление связей между противоречащими друг другу высказываниями.
контрольная работа [30,1 K], добавлен 05.04.2015Возникновение и этапы развития традиционной формальной логики. Аристотель как основатель логики. Создание символической логики, виды логических исчислений, алгебра логики. Метод формализации. Становление диалектической логики, работы И. Канта, Г. Гегеля.
реферат [26,9 K], добавлен 19.01.2009Понятие и содержание логики как философской и математической дисциплины, особенности и направления ее развития в ХХ веке, открытия и достижения данного периода. Логические связи и отношения, которые находятся в основе логического (дедуктивного) вывода.
реферат [32,0 K], добавлен 18.04.2014Основные логические законы. Теории логического анализа. Понятие как форма мышления. Различие между существенными и несущественными признаками. Содержание и объем понятия. Положительные и отрицательные понятия. Реальные и номинальные определения.
контрольная работа [24,3 K], добавлен 13.01.2012Значение логики, понятие как форма мышления. Основные логические приемы формирования понятий. Единичные и общие, конкретные и абстрактные, относительные и безотносительные, положительные и отрицательные понятия. Семантическая характеристика высказываний.
контрольная работа [14,9 K], добавлен 13.05.2010Социальное назначение и функции логики. Познавательная, мировоззренческая, методологическая, идеологическая функции. Роль логики в формировании логической культуры человека. Мышление и логика. Абстрактное мышление. Истинность и правильность мышления.
контрольная работа [23,5 K], добавлен 20.02.2009Предмет и значение логики. Четыре закона логики. Для чего журналисту нужна логика. Логическая форма, которая определяет круг объектов по схожим. Обобщение и ограничение понятий. Отношения между субъектом и предикатом в суждении. Индуктивное умозаключение.
контрольная работа [28,5 K], добавлен 28.03.2009Логические характеристики понятия по содержанию и объему. Противопоставление предикату как вид непосредственно умозаключения. Способы восстановления энтимем и проверка схемы рассуждения на соответствие правилам силлогизма. Ошибки рассуждения по аналогии.
контрольная работа [14,6 K], добавлен 19.11.2010Ощущение, восприятие и представление как формы чувственного познания. Особенности и законы абстрактного мышления, взаимосвязь его форм: понятия, суждения и умозаключения. Основные функции и состав языка, специфика языка логики. История логики как науки.
контрольная работа [30,3 K], добавлен 14.05.2011Суждение как форма мышления. Структура простого категорического суждения в логике. Суждение как логическая форма мышления. Суждение и вопрос. Требование истинности предпосылок при постановке вопроса, логические ошибки. Принципы классификации суждений.
реферат [22,8 K], добавлен 23.09.2010Закон тождества, (не) противоречия, исключенного третьего, достаточного основания. Формы познания. Понятие как форма мышления. Структура и виды понятия. Логические отношения между сравнимыми понятиями. Логические операции с понятиями. Классификация.
реферат [16,7 K], добавлен 22.02.2009Особенности формальной логики. Диалектическая логика Г. Гегеля, ее развитие в работах русских философов. Законы диалектики. Функции диалектической логики в структуре марксистской философии. Сходство и отличия формальной и диалектической логики.
реферат [25,4 K], добавлен 19.01.2009Мышление и язык. Естественные и искусственные языки. Логика формальная и диалектическая. Истинность мышления и формальная правильность рассуждения. Символика для обозначения структуры мысли: постоянные, переменные, логические связки (союзы).
контрольная работа [43,7 K], добавлен 15.12.2007Выполнение логических действий. Запись выражения на языке логики высказываний. Составление таблиц истинности. Тавтологически истинное рассуждение. Использование кругов Эйлера. Определение соотношения объемов понятий. Индуктивное и дедуктивное рассуждения.
контрольная работа [18,6 K], добавлен 21.11.2013Логика как наука о законах и формах мышления, предмет и методы ее исследования. Логические выражения и его основные формы. Логические операции и таблицы истинности. Порядок и главные этапы выполнения таких операций в сложном логическом выражении.
презентация [84,3 K], добавлен 28.12.2010История зарождения логического закона. Логические учения античности. Гераклит в античной истории. Демокрит, как основатель античной логики. Вклад Парменида в развитие логических идей. Логические идеи Сократа. Аристотелевская классификация суждений.
реферат [40,7 K], добавлен 15.12.2010
