Средствами таблично построенной логики высказываний установите
.pdf
Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥
Средствами таблично построенной логики высказываний установите, в каких отношениях находятся следующие высказывания.
«Если болезнь запущена, то ее легко распознать, но трудно излечить». «Если болезнь не запущена, то ее трудно распознать, но легко излечить».
Решение
Сначала найдем простые суждения в составе высказывания, обозначим их символами и запишем символическую форму высказываний:
p - болезнь запущена
q – болезнь легко (не трудно) распознать
r – болезнь легко (не трудно) излечить
Формула высказывания 1: p (q&~r)
Формула высказывания 2: ~p (~q&r)
Для каждого высказывания построим таблицу истинности (количество переменных в формулах = 3, поэтому в таблице 8 строк (23 =8)).
1формула 2формула
p q r ~ p ~q ~r q&~r ~q&r
p (q&~r) ~p (~q&r)
и и и л л л л л л и
и и л л л и и л и и
и л и л и л л и л и
и л л л и и л л л и
л и и и л л л л и л
л и л и л и и л и л
л л и и и л л и и и
л л л и и и л л и л
Высказывания могут быть одновременно истинным, но не могут быть одновременно ложными