Какие пары формул исчисления высказываний, приведенные ниже, не являются равносильными:

Другие предметы Колледж Логика высказываний пары формул исчисление высказываний равносильные формулы логические формулы интеллектуальные информационные системы колледж логика высказываний не равносильные пары анализ логических формул Новый

Чтобы определить, какие пары формул исчисления высказываний не являются равносильными, нам нужно понимать, что равносильные формулы имеют одинаковое истинностное значение при всех возможных значениях переменных, входящих в эти формулы.

Вот шаги, которые помогут вам проверить равносильность формул:

1. Составьте таблицы истинности: Для каждой формулы необходимо составить таблицу истинности, в которой будут представлены все возможные комбинации значений переменных и соответствующие значения формулы.
2. Сравните результаты: После того, как таблицы истинности для обеих формул готовы, сравните их. Если для всех комбинаций значений переменных значения формул совпадают, то формулы равносильны.
3. Ищите контрпримеры: Если хотя бы для одной комбинации значений переменных значения формул различаются, то формулы не равносильны. Это будет вашим контрпримером.

Теперь, если у вас есть конкретные пары формул, вы можете применить эти шаги к ним. Например:

• Формула A: (P ∧ Q) → R
• Формула B: ¬(P ∧ Q) ∨ R

Составьте таблицы истинности для обеих формул и посмотрите, совпадают ли результаты. Если нет, то эти формулы не равносильны.

Если у вас есть конкретные формулы, пожалуйста, предоставьте их, и я помогу вам с их анализом на равносильность.