Контрольная работа: Логика высказываний
⚡ 👉🏻👉🏻👉🏻 ИНФОРМАЦИЯ ДОСТУПНА ЗДЕСЬ ЖМИТЕ 👈🏻👈🏻👈🏻
Муниципальное образовательное учреждение высшего профессионального образования
Южно-Уральский профессиональный институт
Факультет управления и информационных технологий
Кафедра информатики и вычислительной техники
по дисциплине «Математическая логия и теория алгоритмов»
____________________ М.О.Белозерова
Ниже приведены по три клаузы в одном варианте. Каждую клаузу необходимо доказать следующими методами: резолюций и с помощью таблиц истинности.
c. А -> (В v С), В -> (D -> А), С -> (В -> А), А -> (В -> С), D - > (Av В),
D -> (А -> В), С -> (В vD), Av С vD, С -> (А -> В) => А & В & С; А & В & D
Докажем с помощью метода резолюций истинность следующей клаузы :
Доказательство ее справедливости следует начать с приведения ее в нормальную конъюнктивную форму.
Справа от каждого нового дизъюнкта будем писать номера используемых дизъюнктов, получим:
Докажем с помощью метода резолюций истинность следующей клаузы :
Доказательство ее справедливости следует начать с приведения ее в нормальную конъюнктивную форму.
Справа от каждого нового дизъюнкта будем писать номера используемых дизъюнктов, получим:
Докажем с помощью метода резолюций истинность следующей клаузы :
c. А -> (В v С), В -> (D -> А), С -> (В -> А), А -> (В -> С), D - > (Av В),
D -> (А -> В), С -> (В vD), Av С vD, С -> (А -> В) => А & В & С;
Доказательство ее справедливости следует начать с приведения ее в нормальную конъюнктивную форму.
А v В v С, -В v -Dv А, -С v –В v А, -А v -В v С, -DvAv В, P1 P2 P3 P4 P5 Dv -А v В,
-С v -А v В, -А, -В, -С v -А, -В, -D =>0 P6 P7 P8 P9 P10 P11 P12 P13 P14
Справа от каждого нового дизъюнкта будем писать номера используемых дизъюнктов, получим:
Докажем с помощью таблиц истинности следующую клаузу :
Докажем с помощью таблиц истинности следующую клаузу :
Теперь составим таблицу истинности (табл. 1.1) , в которой под Р понимается обобщенная причина, т.е. конъюнкция всех Р.
Клауза считается ложной
, т.к. единицы следствия (С1) не накрывают все единицы обобщенной причины (Р), т.е. единицы обобщенной причины не образуют подмножество единиц следствия.
Докажем с помощью таблиц истинности следующую клаузу :
А -> (В v С), В -> (D -> А), С -> (В -> А), А -> (В -> С), D - > (Av В),
D -> (А -> В), С -> (В vD), Av С vD, С -> (А -> В) => А & В & С; А & В & D
Теперь составим таблицу истинности (табл. 1.3) , в которой под Р понимается обобщенная причина, т.е. конъюнкция всех Р.
Клауза считается истинной
, т.к единицы следствия (С1) накрывают все единицы обобщенной причины (Р), т.е. единицы обобщенной причины образуют подмножество единиц следствия.
Машина едет по Копейскому шоссе. На дороге опасно, так как она покрыта льдом или мокрая. Итак, машина едет по шоссе или по ледяной дороге или по мокрой.
Клауза 2:
Bv С, (А -> В) -> (С -> А) => А
Студент Иванов находился на уроке или в коридоре. На уроке была контрольная работа, Иванов получил четвертку, то он был на уроке, он был в коридоре, не смотря на то, что он получил четверку. Это говорит о том, что у студента Иванова есть, стремление хорошо учится.
Ниже приведена легенда. Запишите с использованием 4—6 различных букв клаузу, отвечающую тексту или контексту вашей легенды, для чего сформулируйте необходимые посылки и два следствия: одно истинное, другое ложное. С помощью таблицы истинности найдите МНФ, минимальное и все трансверсальные покрытия.
Увеличение денег в обращении влечет за собой инфляцию. Но рост денежной массы происходит по двум причинам: из-за денежной эмиссии или снижения товарооборота. Снижение товарооборота приводит к безработице и спаду производства. Из-за инфляции падает курс денежной единицы. Рекомендации экономиста Иванова: увеличить денежную эмиссию и поднять производство, тогда избежим безработицы и курс денежной единицы останется неизменным.
A → B, A→ (CvD), D→ (E&F), B→ G => (C & -F) → (-E & G)
A– Увеличение денег (денежная масса, курс денежной единицы);
Увеличение денег в обращении влечет за собой инфляцию (A → B). Но рост денежной массы происходит по двум причинам: из-за денежной эмиссии или снижения товарооборота (A → (CvD)). Снижение товарооборота приводит к безработице и спаду производства (D → (E&-F)).
Из-за инфляции падает курс денежной единицы (B → G). Рекомендации экономиста Иванова: увеличить денежную эмиссию и поднять производство(C & F), тогда избежим безработицы и курс денежной единицы останется неизменным (-E & G).
Из таблицы видно, что четыре единицы обобщенной посылки (Р) не покрываются единицами ложного следствия (-Е); единицы же истинного следствия ( Е -> (В &
D
))
целиком накрывают единицы обобщенной посылки.
Установить истинность логического выражения своего варианта путем конкретизации.
х y (А(x) -> В(у)) = х A(x) -> x В(х)
Название: Логика высказываний
Раздел: Рефераты по математике
Тип: контрольная работа
Добавлен 02:25:46 07 ноября 2010 Похожие работы
Просмотров: 52
Комментариев: 16
Оценило: 3 человек
Средний балл: 5
Оценка: неизвестно Скачать
Срочная помощь учащимся в написании различных работ. Бесплатные корректировки! Круглосуточная поддержка! Узнай стоимость твоей работы на сайте 64362.ru
Привет студентам) если возникают трудности с любой работой (от реферата и контрольных до диплома), можете обратиться на FAST-REFERAT.RU , я там обычно заказываю, все качественно и в срок) в любом случае попробуйте, за спрос денег не берут)
Да, но только в случае крайней необходимости.
Контрольная работа: Логика высказываний
Реферат: Теорії Т. Мальтуса відносно народонаселення та економічного зростання
Историческое Эссе Периоды
Сочинение Про Дистанционное Обучение На Английском
Реферат: Гомеопатія 3
Подготовка К Сочинению Егэ 2022 Русский Язык
Реферат: Славянофильство. Скачать бесплатно и без регистрации
Реферат На Тему Композиційні Закономірності Творів Образотворчого Мистецтва
Реферат: Adminstrative Agencies Essay Research Paper Chapter 6
Курсовая работа по теме Оплата труда в нефтяной и газовой промышленности
Пластов Первый Снег Сочинение 4 Класс
Отчет По Производственной Практике Жкх
Курсовая работа по теме Организационно-штатная структура инженерно-авиационной службы авиационной части
Дипломная работа по теме Сучасний стан розвитку виробництва соняшнику в Україні
Читать Эссе На Разные Темы
Реферат: История вычислительной техники: четвертое поколение. Скачать бесплатно и без регистрации
Реферат по теме Романтизм и прагматизм социальной рекламы
Дипломная работа по теме Лизинг физического капитала: специфика, виды, достоинства, источники формирования
Реферат: Единство и многообразие культур. Скачать бесплатно и без регистрации
Доклад по теме Herman's Hermits
Режим труда и отдыха
Реферат: Аналіз та узагальнення даних про особливості використання гранатометів в локальних війнах і регіональних конфліктах
Реферат: Учение Герберта Спенсера об эволюции
Дипломная работа: Технічні характеристики казана ГМ-30-150 Розрахунок теплової схеми котельні