Задание 21 и 22. Построить таблицы истинности. Определить, является ли выражение логическим законом.
Таблицы истинности.
А) Таблица истинности для отрицания: А -А И Л Л И Напомним: суждение считается истинным, если оно соответствует действительности. Например, «уголь черный» - истинное суждение.
Для остальных операций составим общую таблицу истинности: А В АлВ АvВ АvВ А^В А=В И И И И Л И И И Л Л И И Л Л Л И Л И И И Л Л Л Л Л Л И И Запомнить эту таблицу легко, если понять как она заполняется:
А л В. «В корзине у Нелли лежат подберезовики и подосиновики». А - «В корзине у Нелли лежат подберезовики», В - «В корзине у Нелли лежат подосиновики». Тут может быть четыре варианта ситуаций. Рассмотрим эти ситуации - «смотрим в корзину». Первая ситуация: в корзине, действи-тельно, есть подберезовики. - А - И; и, действительно, есть подосиновики В - И. Значит, общее суждение (АлВ) будет истинным. Вторая ситуация: в корзине есть подберезовики, но нет подосиновиков. А - И, а В - Л. Значит, общее суждение, что лежат те и другие, - ложное. Третья ситуация аналогична второй. Четвертая ситуация: нет ни тех, ни других. Значит, общее суждение, что лежали те и другие - ложное.
А vВ. «В корзине у Нелли лежат подберезовики или подосиновики». Рассмотрим ситуации: 1) А- И, В-И. Значит Аv В - истинно. 2) А-И, В-Л. Значит, Аv В (лежат подберезовики или подосиновики) - истинно. 3) А-Л, В-И. Значит, Аv В - тоже истинно. 4) А-Л, В-Л. Нет ни того, ни другого. Значит, АvВ - ложь.
А уВ. «В корзине у Нелли лежали либо подберезовики, либо подосиновики». Рассмотрим ситуации: 1) А-И, В-И. Общее суждение в случае строгой дизъюнкции будет ложным. 2) А-И, В-Л. Аv В -истинно. 3) А-Л, В-И. Аv В -истинно. 4) А-Л, В-Л. Аv В - ложь.
А^В. «Если через проводник проходит электрический ток, то проводник нагревается». Рассмотрим ситуации: 1) А-И (через проводник, действительно, проходит электрический ток), В - И (проводник нагревается). Общее суждение А^В будет истинным. 2) А-И (через проводник, действительно, проходит электрический ток), но В - Л (проводник не нагревается). Такая ситуация невоз-
можна, поэтому А^В - ложь.
А=В. «В нормальных условиях вода замерзает тогда и только тогда, когда температура опускается ниже нуля градусов по Цельсию». Обозначим: А - «Вода замерзает», В - «Температура ниже нуля градусов». Рассмотрим ситуации: 1) А-И, В-И. Общее суждение будет истинным. 2) А - И, В -Л: Вода замерзает, а температура не ниже нуля градусов. А = В - ложно. 3) А - Л, В - И: А = В - ложно. 4) А - Л, В - Л (вода не замерзает, температура не ниже нуля градусов): А = В - истинно.
Пример 1: Составить таблицу истинности для выражения: ((А^В) л—В)^-—А. Решение: Сначала определяем порядок выполнения операций. Ясно, что мы не можем выполнить конъюнкцию сразу, сначала нужно выполнить (А^В) [1]и —В [2]. После конъюнкции [3] вычисляем —А [4]. И затем вычисляем значения главного знака ^ [5]. Для выполнения каждой операции смотрим в таблицу истинности соответствующих операций. Третье действие - конъюнкция «(А^-В)л—В» [столбец 3] в первой строке интерпретаций принимает значение «Л», так как И [1]л Л [2] = Л. Порядок операций ^ 1 3 2 5 4 А В (А^В) л —В ^ —А И И И Л Л И Л И Л Л Л И И Л Л И И Л Л И И Л Л И И И И И В столбце 5 - главный знак выражения - импликация - принимает значение «истина» при любых интерпретациях А и В. Значит, данная формула является логическим законом.
Пример 2: Составить таблицу истинности для выражения ((А^В)л(ВvС))^(АvС). Определить, является ли выражение логическим законом.
Теория: Выражение принимающее значение «истина» при любых интерпретациях переменных, является логическим законом.
Решение: Так как в данном выражении три суждения - А, В и С, то в таблице необходимо рассмотреть 8 интерпретаций значений переменных. Порядок операций ^ 1 3 2 5 4 А В С ((А^В) л (В^)) ^ (А^) И И И И И И И И И И Л И И И И И И Л И Л Л И И И И Л Л Л Л Л И И Л И И И И И И И Л И Л И И И Л Л Л Л И И И И И И Л Л Л И Л Л И Л В главном знаке (столбец 5) выражение принимает значение «ложь» в шестой строке интерпретаций. Поэтому, данная формула не является логическим законом.
Еще по теме Задание 21 и 22. Построить таблицы истинности. Определить, является ли выражение логическим законом.:
- 21. Установите, является ли выражение логическим законом.
- Задание 17. Определите тип суждения (А, Е, I, О). Сформулируйте стандартную форму данно-го суждения и остальных суждений с теми же субъектом и предикатом. Считая данное суждение истинным, определите истинность, ложность или неопределенность остальных суждений с теми же субъектом и предикатом по логическому квадрату.
- Задание 3: Дайте логическую характеристику понятиям (определить вид понятий по содержанию и объему).
- Задание 3. Познакомьтесь с различными классификациями ораторских речей. Определите, что является основанием каждой классификации.
- Определите тип суждения (А, Е, I, О). Сформулируйте стандартную форму этого суждения и остальных суждений с теми же субъектом и предикатом по логическому квадрату. Считая данное суждение истинным, что вы можете сказать об истинности других суждений с теми же субъектом и предикатом.
- Задание 36. Определите вид дилеммы. Сделайте вывод, постройте схему. Определите характер вывода.
- Задание 39: Построить прямое и косвенное опровержение тезисов.
- 2.6. Выражение одних логических связок посредством других
- 20. Постройте таблицу истинности
- Теория к 23 заданию: Отношение логического следования.
- Дайте логическую характеристику понятиям (определить вид понятий по содержанию и объему).
- Эдмунд ГЕТТИЕР ЯВЛЯЕТСЯ ЛИ ЗНАНИЕМ ИСТИННОЕ И ОБОСНОВАННОЕ МНЕНИЕ? 40
- 12. Определите, имеет ли место логическое (таксономическое) деление понятия или расчленение предмета на части (мереологическое деление):
- 2.4. Отношения между суждениями по истинности. Логический квадрат
-
Аксиология -
Аналитическая философия -
Античная философия -
Антология -
Антропология -
История философии -
История философии -
Логика -
Метафизика -
Мировая философия -
Первоисточники по философии -
Проблемы философии -
Современная философия -
Социальная философия -
Средневековая философия -
Телеология -
Теория эволюции -
Философия (учебник) -
Философия искусства -
Философия истории -
Философия кино -
Философия культуры -
Философия науки -
Философия политики -
Философия разных стран и времен -
Философия самоорганизации -
Философы -
Фундаментальная философия -
Хрестоматии по философии -
Эзотерика -
Эстетика -
-
Педагогика -
Cоциология -
БЖД -
Биология -
Горно-геологическая отрасль -
Гуманитарные науки -
Искусство и искусствоведение -
История -
Культурология -
Медицина -
Наноматериалы и нанотехнологии -
Науки о Земле -
Политология -
Право -
Психология -
Публицистика -
Религиоведение -
Учебный процесс -
Физика -
Философия -
Эзотерика -
Экология -
Экономика -
Языки и языкознание -