рефераты конспекты курсовые дипломные лекции шпоры

Реферат Курсовая Конспект

Выражение одних логических связок посредством других

Выражение одних логических связок посредством других - раздел Философия, ЛОГИКА Рассмотренные Выше Логические Союзы Взаимозаменяемы, То Есть Равносильны, И В...

Рассмотренные выше логические союзы взаимозаменяемы, то есть равносильны, и выразимы через другие логические союзы. Например:

1. импликация через дизъюнкцию;

2. импликация через конъюнкцию;

3. импликация через импликацию, так называемый закон простой (слева-направо) и сильной (справа-налево) контрапозиции;

4. конъюнкция через дизъюнкцию;

5. дизъюнкция через конъюнкцию;

6. конъюнкция через импликацию;

7. дизъюнкция через импликацию;

8. – эквивалентность через дизъюнкцию;

9. – эквивалентность через конъюнкцию.

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

p q
И И Л И И И
И Л Л Л Л И
Л И И И И И
Л Л И И И И

Таблицы истинности двух предпоследних столбцов совпали, следовательно – данные выражения равносильны.

– Конец работы –

Эта тема принадлежит разделу:

ЛОГИКА

Федеральное агентство по образованию... ЛОГИКА... Учебное пособие для студентов ОмГУ...

Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Выражение одних логических связок посредством других

Что будем делать с полученным материалом:

Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:

Все темы данного раздела:

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

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

Отношения между понятиями по содержанию и объему
Отношения между понятиями, устанавливается по содержанию и объему. По содержанию: Для выяснения логических отношений между понятиями различают отношения

AÈA=A AÈ1=1
· Операция объединения (сложения) над классами, объемы которых находятся в разных отношениях: Равнозначность: AÈB=A, AÈB=B

AÇ(BÇC)=(AÇB)ÇC AÇ1=A
AÇ0=A AÇB=ù (ùAÈùB) · Операция пересечения (умножения) над классами, объемы которых находятся в разных отношениях:

Суждение как форма мышления
Суждение можно определить, как форму мысли, содержащую описание некоторой ситуации и утверждение или отрицание наличия этой ситуации в действительности, в связи с чем

Распределенность терминов в суждении
Распределенность терминов – это количественная характеристика субъекта и предиката в суждении. Термин считается распределенным, если его объем либо по

Отношения между суждениями по истинности. Логический квадрат
Отношения между суждениями делятся на совместимые и несовместимые.

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

Непосредственные умозаключения
Непосредственным называется умозаключение, в котором вывод делается из одной посылки путем преобразования исходного суждения по форме при сохранении смысла. Спо

Опосредованные умозаключения. Простой категорический силлогизм
Структура простого категорического силлогизма Категорический силлогизм – это такое опосредствованное дедуктивное

Правила терминов
1. В простом категорическом силлогизме должно быть три термина. Нарушение этого правила ведет к ошибке называемой «учетверение термина». Она происходит из-за н

Правила посылок
1. Из двух отрицательных посылок заключение не следует с необходимостью. Следовательно, одна из посылок должна быть утвердительной. Нарушение этого правила можно продемонстрировать

Правильные (сильные) модусы
Модусы обозначаются тремя буквами, каждая из которых указывает тип суждения, играющего соответственно роль большей посылки, меньшей посылки и заключения. · Модусы

Сокращенные, сложные и сложносокращенные силлогизмы
Наряду с простым категорическим силлогизмом существует различные виды сложных силлогизмов. Среди них, полисиллогизмы – сложные силлогизмы, представляющие собой так

Чисто-условный и условно-категорический силлогизмы
1. Чисто-условный силлогизм – это умозаключение, посылками и заключением которого являются условные суждения. Следует отметить, что заключение в данном виде силлогизма может

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

Понятие о недедуктивных (вероятностных) умозаключениях
Умозаключение, в котором заключение не следует строго логически из посылок, а лишь в некоторой степени подтверждается посылками, называется недедуктивным,веро

Виды индукции и их характеристика
Индукция – это такое умозаключение, где вывод делается от частного (или отдельного) к общему. В самом общем виде структура индуктивного вывода тако

Аналогия
Выводы по аналогии – являются одной из самых распространенных форм правдоподобных умозаключений. Умозаключения по аналогии играют очень важную рол

Методы установления причинной связи
Общая характеристика причинной связи Среди различных форм связи и взаимозависимости явлений природы и общества одно из важнейших мест занимает причинная свя

Виды аргументации
Аргументация – это форма мыслительной деятельности, цель которой состоит в обосновании утверждения об истинности или ложности некоторого высказывания, и, в особых случаях, об об

Общая характеристика доказательства. Виды доказательств
Структура доказательства В составе доказательства и, конечно опровержения, поскольку речь идет о доказательстве

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

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

ЧАСТЬ СЕДЬМАЯ. СОФИЗМЫ И ПАРАДОКСЫ
Логические ошибки могут быть и преднамеренными, и произвольными. Непреднамеренная ошибка называется паралогизмом и, как правило, она является результатом наруш

Хотите получать на электронную почту самые свежие новости?
Education Insider Sample
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Реклама
Соответствующий теме материал
  • Похожее
  • Популярное
  • Облако тегов
  • Здесь
  • Временно
  • Пусто
Теги