Условие задачи
Средствами таблично построенной логики высказываний установите, в каких отношениях находятся следующие высказывания?
«Если болезнь запущена, то её легко распознать, но трудно излечить». «Если болезнь не запущена, то её трудно распознать, но легко излечить».
Ответ
Зададим переменные простым суждениям: Если болезнь запущена (р), то её легко распознать (q), но трудно излечить (r). Если болезнь не запущена (p), то её трудно распознать (q), но легко излечить (r).
Формулы:
Таблица истинности: