Проверка правильности логического рассуждения

Август 9, 2022

Главная
Математика
Проверка правильности логического рассуждения

Содержание

2. Логическое следование формул Из формулы P логически следует формула D (P├─ D), если для любого набора
3. Задача №1 «Если в параллелограмме диагонали взаимно перпендикулярны, то параллелограмм – ромб. В данном параллелограмме диагонали
4. Шаг 1 Формализация логического рассуждения Необходимо определить количество логических переменных, позволяющих формализовать (записать в виде формулы)
5. Р1 - «Если в параллелограмме диагонали взаимно перпендикулярны, то параллелограмм – ромб» Р2 – «В данном
6. Шаг 3 Проверка правильности по определению Составляем конъюнкцию формализованных посылок: Проверим по таблице истинности: Так как
7. Задача №2 «Если цены высоки, то и зарплата высока. Цены высоки или применяется регулирование цен. Если
9. Скачать презентацию

Слайд 2

Логическое следование формул
Из формулы P логически следует формула D (P├─

D), если для любого набора логических переменных (строки булеана)

Слайд 3

Задача №1
«Если в параллелограмме диагонали взаимно перпендикулярны, то параллелограмм – ромб.

В данном параллелограмме диагонали не взаимно перпендикулярны. Следовательно, он не является ромбом».

Слайд 4

Шаг 1 Формализация логического рассуждения
Необходимо определить количество логических переменных, позволяющих формализовать

(записать в виде формулы) логическое рассуждение:
А ={в параллелограмме диагонали взаимно перпендикулярны};
B = {параллелограмм является ромбом}.
Все последующие утверждения в рассуждении можно записать при помощи высказываний – логических переменных А и В.

Слайд 5

Р1 - «Если в параллелограмме диагонали взаимно перпендикулярны, то параллелограмм –

ромб»
Р2 – «В данном параллелограмме диагонали не взаимно перпендикулярны»
D – «Он не является ромбом».

Шаг 2 Построение схемы логического рассуждения

Слайд 6

Шаг 3 Проверка правильности по определению
Составляем конъюнкцию формализованных посылок:
Проверим по

таблице истинности:

Так как на наборе (A=0, B=1) посылки истинны, а заключение ложно, то рассуждение
не является логически правильным.

Слайд 7

Задача №2
«Если цены высоки, то и зарплата высока. Цены высоки или

применяется регулирование цен. Если применяется регулирование цен, то нет инфляции. Наблюдается инфляция, следовательно, зарплата высока».

Проверка правильности логического рассуждения

Содержание

Логическое следование формул Из формулы P логически следует формула D (P├─

Задача №1«Если в параллелограмме диагонали взаимно перпендикулярны, то параллелограмм – ромб.

Шаг 1 Формализация логического рассужденияНеобходимо определить количество логических переменных, позволяющих формализовать

Р1 - «Если в параллелограмме диагонали взаимно перпендикулярны, то параллелограмм –

Шаг 3 Проверка правильности по определениюСоставляем конъюнкцию формализованных посылок: Проверим по

Задача №2«Если цены высоки, то и зарплата высока. Цены высоки или

Похожие презентации

Логическое следование формул
Из формулы P логически следует формула D (P├─

Задача №1
«Если в параллелограмме диагонали взаимно перпендикулярны, то параллелограмм – ромб.

Шаг 1 Формализация логического рассуждения
Необходимо определить количество логических переменных, позволяющих формализовать

Шаг 3 Проверка правильности по определению
Составляем конъюнкцию формализованных посылок:
Проверим по

Задача №2
«Если цены высоки, то и зарплата высока. Цены высоки или