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

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

Формализация сложного суждения и построение таблиц истинности.

Формализация сложного суждения и построение таблиц истинности. - раздел Философия, Протагор, Уватом, Сократ, Платон, Аристотель. Логика как наука. Предмет и значение логики. Конечной Целью Формализации Является Определение, Будет Ли Сложное Суждение Л...

Конечной целью формализации является определение, будет ли сложное суждение логическим законом или нет.

Три значения сложного суждения:

1) Сложное суждение может быть тождественно истинным.

2) Сложное значение может быть тождественно ложным.

3) Выполнимое суждение.

Например, «Если идет дождь, значит крыши мокрые, а в данный момент идет дождь, значит, крыши мокрые». Два вида логических союзов, импликация и конъюнкция. Главный союз – это второй значит. Следовательно, суждение по своему виду условное. В этом суждении все то, что до слова «значит» – условие. Когда мы наши главный логический союз, то определяем простые суждения в этом сложном суждении.

Итак:

1) «Идет дождь» - А

2) «Мокрые крыши» - В

Когда выбираем суждения, главное подходить неформально, а по смыслу подбирать. То есть без разницы «в данный момент идет дождь» и «идет дождь».

Построение формулы этого суждения:

 

Теперь надо вычислить значение В.

Все суждение является импликативным. Порядок вычисления, как в математике.

Прежде всего, надо определить, сколько комбинаций будет в сложном суждении. Делается по формуле 2n. n – число переменных, из которых составлено суждение.

Таблица истинности для этого суждения:

 

А: В: В:

И И И И И И И

И Л Л Л И И Л

Л И И Л Л И И

Л И Л Л Л И Л

Ответ: Тождественно-истинная формула.

Если каждая строчка была бы ложной, то ответ, тождественно-ложный.

 

Задача 2:

«Если Алиса не гостит сегодня у бабушки, то бабушка вечером идет в церковь. Если же Алиса гостит у бабушки, то вечером бабушка напивается в баре. Следовательно, бабушка вечером или ходит в церковь, или напивается в баре».

 

1) Определить главный логический союз: «следовательно». Это указывает на то, что все, что до него – это условие. А после – следствие.

2) Определить простые суждения:

А – «Алиса не гостит сегодня у бабушки». «Не» пропустили, так как это отрицание.

В – «Бабушка вечером идет в церковь».

С – «Бабушка вечером напивается в баре».

3) Формализация. Надо соединить три предложения в одно предложение. Если идет простое перечисление предложение, то они соединяются конъюнкцией (1 и 2 предложение). А 2 и 3 соединяем импликацией, так как есть слово «следовательно». В наших задачах все будут импликативные. Порядок в импликативном суждении строг.

 

Таблица истинностных значений в этом суждении:

А В С
И И И
И И Л
И Л И
И Л Л
Л И И
Л И Л
Л Л И
Л Л Л

Чтобы перебрать все значения, нужно в первом случае 4 истины и 4 лжи. В следующем делится пополам. То есть 2 истины и 2 лжи. И т.д.

Таблица истинностных значений этого суждения:

А В А   С   В   С
Л И И И И И И И И И И
Л И И Л И Л Л И И И Л
Л И Л И И И И И Л И И
Л И Л Л И Л Л И Л Л Л
И И И И Л И И И И И И
И И И И Л И Л И И И Л
И Л Л Л Л И И И Л И И
И Л Л Л Л И Л И Л Л Л

Ответ: Формула тождественно-истинная.

ДЗ – Решить задачу: «Если сооружение, построенное подрядчиком, погибло, то это риск подрядчика, только если оно было еще не одобрено. Следовательно, если сооружение, построенное подрядчиком, было одобрено, но затем погибло, то это не риск подрядчика»

Решение:

А – сооружение, построенное подрядчиком, погибло.

В – гибель сооружения – это риск подрядчика.

С – сооружение было одобрено.

 

Главный логический союз – следовательно.

 

Формула:

 

A   B   C   C   A   B
И Л И Л Л И И И И Л И
И И И И И И Л Л И И И
И И Л И Л И И И И И Л
И Л Л Л И И Л Л И И Л
Л И И Л Л И И Л Л И И
Л И И И И И Л Л Л И И
Л И Л И Л И И Л Л И Л
Л И Л Л И И Л Л Л И Л

Ответ: Формула тождественно-истинная или логический закон.

 

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

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

Протагор, Уватом, Сократ, Платон, Аристотель. Логика как наука. Предмет и значение логики.

Протагор Уватом Сократ Платон Аристотель... Логика как наука Предмет и значение логики... Аристотель в века до н э систематизировал все научные данные и основал такую дисциплину как Логика...

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

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

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

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

Единичный – это признак, который принадлежит только одному предмету.
Понятие как логическая форма состоит из двух элементов: 1) Содержание понятия – это совокупность существенных признаков 2) Объем понятия – это множество предметов, которые мыслятс

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

Алгоритм подбора понятий к схеме
А – юрист В – судья   Сравнимы ли понятия? Да, так как есть общие признаки. Существуют ли для них общий универсум? Да, так как есть общий признак.

Правила определения
1) Определение должно быть соразмерным, то есть объем определяемого понятия должен быть равен объему определяющего понятия. При нарушении этого правила возникают ошибки: 1) Слишком широкое определе

Деление понятия - это логическая операция, которая раскрывает объем понятия.
Раскрыть объем понятия – это указать, из каких видов и классов предметов состоит объем понятия.   Структура деления: 1) А, состоит из В, С, Д. А – делимое п

Правила деления
1) Деление должно быть соразмерным. То есть сумма объёмов членов деления должна быть равна объёму делимого понятия. Ошибки: 1) Неполное деление. То есть сумма объёмов членов деления меньше, чем объ

Простое суждение – это суждение, выражающее связь между двумя понятиями.
Основой нашего суждения является понятие. Например, Иванов купил колбасу. Это простое суждение. Здесь два понятия. 1) Иванов. 2) Купил колбасу. Но не путать с реальными понятиями и понятия

Виды простого суждения.
Признак: Характер предиката: 1) Атрибутивные. (Atributio – свойство, признак предмета) – суждения о признаке предмета. Например, «асфальт мягкий». То есть, быть мягким принадлежит асфальту

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

Логический квадрат
Это изобретение средневековых логиков. Это способ систематизации для для лучшего восприятия.   Правила логического квадрата: 1) Противоположные суждения не могут быт

Сложное суждение – это суждение, состоящее из нескольких простых суждений, которые соединены между собой логическими союзами.
Например, «Идет снег» - простое суждение, а «Если идет снег, то на дорогах пробки» - сложное суждение. Состоит из нескольких простых.   Виды сложных суждений – вид сложного с

Соединительные (конъюнктивные) суждения.
  ˄ - обозначаются (конъюнкция). Это главный логический союз в таком суждении.   В русском языке, конъюнкция выражается с помощью таких союзов, как «и», «а

Условные (импликативные) суждения.
Имеют два вида: 1) Простые импликативные суждения. Соединяются условным союзом, который называется импликация и обозначается →. Значение: показывает наличие причинно-следств

Метод сведения к абсурду.
Существуют 3 способа определения истинности суждения. Первый метод – табличный метод. Второй метод – сокращенный табличный метод (абсурдный метод). Третий метод – алгебра

Фигура ПКС – это вид силлогизма, различающийся расположением среднего термина в посылках.
В каждой фигуре свои правила. В фигурах имеет значение, где расположены суждения. Суждения с большей посылкой находится сверху. Есть всего 4 фигуры: 1) М

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