Докажите что справедливо логическое следование. Бесплатный доступ к контрольной работе

Реферат.Справочник
Контрольные работы по высшей математике
Докажите что справедливо логическое следование

Докажите что справедливо логическое следование .pdf

Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥

Условие

Докажите, что справедливо логическое следование, руководствуясь определением этого понятия; выясните, будет ли верно обратное следование, т.е. будет ли формула, стоящая слева, логическим следствием формулы справа P∨Q→P∧Q⊨P→Q

Решение

Потяни, чтобы посмотреть

По определению Φ⊨Ψ если при истинной Φ обязательно истинна Ψ. Построим таблицы истинности
P
Q
P∨Q
P∧Q
P∨Q→P∧Q
P→Q
0 0 0 0 1 1
0 1 1 0 0 1
1 0 1 0 0 0
1 1 1 1 1 1
Из таблицы видно, что когда истинна формула P∨Q→P∧Q — 1-я и 4-я строки, истинна и формула P→Q, значит логическое следование справедливо

50% задачи недоступно для прочтения

Переходи в Кампус, регистрируйся и получай полное решение

Получить задачу