Для следующих формул укажите их главные знаки и все их додформулы,

Добавлена: 12.05.2026
Обновлена: 12.05.2026
Предмет: Логика
Автор: Кэмп

#Основы формальной логики
#Символическая логика

Условие:

Для следующих формул укажите их главные знаки и все их додформулы, $\neg \mathrm{p} \& q$ $\neg(p \& q)$ $(p \supset \neg q) \supset((s \equiv r) \vee(s \equiv q))$ $\quad \neg(\neg(\neg p \equiv q) \& \neg(q \vee p)) \mid$ $\neg \neg(\neg p \equiv q) \& \neg(q \vee p)$

Решение:

Определим главные знаки формул.
Найдем все додформулы для каждой формулы. \na) Формула: $\neg \mathrm{p} \& q$

Главный знак: $\&$
Додформулы: $\neg p$ и $q$ \nb) Формула: $\neg(p \& q)$
Главный знак: $\neg$
Додф...

Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит

Попробуй решить по шагам

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

Какой из следующих операторов имеет наивысший приоритет в логических формулах, то есть является главным знаком в формуле, если он не заключен в скобки?

Дизъюнкция (\vee)

Отрицание (\neg)

Импликация (\supset)