Средствами таблично построенной логики высказываний установите, в каких отношениях находятся следующие высказывания:
Если они будут в Санкт-Петербурге, то они посетят Эрмитаж .
Они были в Санкт-Петербурге и посетили Эрмитаж.
Неверно, что они были в Санкт-Петербурге и не посетили Эрмитаж.
Неверно, что они были в Санкт- Петербурге и посетили Эрмитаж.
Если они не были в Санкт-Петербурге, то неверно, что они посетили Эрмитаж.
Для анализа логических высказываний с помощью таблично построенной логики высказываний, нам нужно определить, какие логические операции используются в каждом из высказываний и как они соотносятся друг с другом. Давайте обозначим:
Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит
Попробуй решить по шагам
Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение
Не нашел нужную задачу?