1. Главная
  2. Библиотека
  3. Логика
  4. Для следующих формул укажите их главные знаки и все их...
Разбор задачи

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

  • Предмет: Логика
  • Автор: Кэмп
  • #Основы формальной логики
  • #Символическая логика
Для следующих формул укажите их главные знаки и все их додформулы,

Условие:

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

Решение:

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

  • Додформулы: ¬p\neg p и qq \nb) Формула: ¬(p&q)\neg(p \& q)

  • Главный знак: ¬\neg

  • Додф...

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

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

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

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

Что нужно знать по теме:

Что нужно знать по теме

Алгоритм решения

Топ 3 ошибок

Что спросит препод

Выбери предмет