Логические действия

Выполнение логических действий. Запись выражения на языке логики высказываний. Составление таблиц истинности. Тавтологически истинное рассуждение. Использование кругов Эйлера. Определение соотношения объемов понятий. Индуктивное и дедуктивное рассуждения.

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

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

    контрольная работа, добавлен 29.11.2010

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

    реферат, добавлен 14.12.2012

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

    реферат, добавлен 12.11.2011

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

    реферат, добавлен 12.08.2010

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

    контрольная работа, добавлен 27.05.2014

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

    контрольная работа, добавлен 23.09.2011

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

    курсовая работа, добавлен 21.11.2012

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

    контрольная работа, добавлен 29.09.2010

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

    контрольная работа, добавлен 24.01.2010

  • Предмет и значение логики. Мышление как логическая ступень познания. Субъект и предикат - главные элементы мысли. Соотношение логики формальной и диалектической. Социальное назначение и функции логики. Логические формы и правила соединения наших мыслей.

    реферат, добавлен 31.10.2010

  • Логика - наука о формах и законах правильного мышления. Понятие интуитивной логики, зачем она нужна и ее роль в нашей жизни. Применение логических законов, не подозревая об их существовании. Традиционная и современная логика, основные этапы их истории.

    реферат, добавлен 21.01.2010

  • Суждение как форма мышления. Структура простого категорического суждения в логике. Суждение как логическая форма мышления. Суждение и вопрос. Требование истинности предпосылок при постановке вопроса, логические ошибки. Принципы классификации суждений.

    реферат, добавлен 23.09.2010

  • С чего началась наука логика. Формирование логики как самостоятельной науки. Внутренняя структура человеческого мышления. Законы и правила логики. Двухчленные и трехчленные суждения. Закон противоречия с логических позиций. Основные элементы силлогизма.

    контрольная работа, добавлен 26.03.2011

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

    контрольная работа, добавлен 07.12.2009

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

    контрольная работа, добавлен 18.02.2013

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

    статья, добавлен 23.07.2013

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

    контрольная работа, добавлен 05.12.2011

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

    реферат, добавлен 07.05.2010

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

    контрольная работа, добавлен 04.08.2013

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

    контрольная работа, добавлен 01.02.2016

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

    контрольная работа, добавлен 03.02.2010

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

    контрольная работа, добавлен 07.05.2016

  • Зарождение формальной логики и ее развитие в недрах философии. Основные периоды истории развития логики, философские идеи логики Древней Индии и Древнего Китая. Вопросы создания логических систем, представления о формах умозаключений и теории познания.

    реферат, добавлен 16.05.2013

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

    контрольная работа, добавлен 28.10.2013

  • Роль индуктивных выводов, полученных путем заключения от частного к общему, в экспериментальных науках. Дедуктивный метод. Использование принципа домино. Пример полной индукции. Особенности применения математической индукции в логических рассуждениях.

    презентация, добавлен 23.10.2013

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