1. Главная
  2. Библиотека
  3. Логика
  4. Постройте таблицу истинности для формулы и определите,...
Разбор задачи

Постройте таблицу истинности для формулы и определите, является ли данная формула тождественно-истинной, тождественно-ложной или нейтральной.

  • Предмет: Логика
  • Автор: Кэмп
  • #Основы формальной логики
  • #Символическая логика
Постройте таблицу истинности для формулы и определите, является ли данная формула тождественно-истинной, тождественно-ложной или нейтральной.

Условие:

Постройте таблицу истинности для формулы и определите, является ли данная формула тождественно-истинной, тождественно-ложной или нейтральной.

((pq)((pr)(q¬r)))¬(qr) ((\mathrm{p} \vee \mathrm{q}) \supset((\mathrm{p} \supset \mathrm{r}) \wedge(\mathrm{q} \supset \neg \mathrm{r}))) \equiv \neg(\mathrm{q} \wedge \mathrm{r})

Решение:

  1. Дано: Формула

    ((pq)((pr)(q¬r)))¬(qr) ((\mathrm{p} \vee \mathrm{q}) \supset((\mathrm{p} \supset \mathrm{r}) \wedge(\mathrm{q} \supset \neg \mathrm{r}))) \equiv \neg(\mathrm{q} \wedge \mathrm{r})
    Переменные: p\mathrm{p}, q\mathrm{q}, r\mathrm{r}.

  2. Найти: Построить таблицу истинности для данной формулы и определить, является ли она тождественно-истинной, тождественно-ложной или нейтральной.

  3. Решение:

    Сначала перечислим все возможные комбинации значений переменных p\mathrm{p}, q\mathrm{q} и r\mathrm{r} (всего 8 комбинаций, так как у нас 3 переменные):

    | p\mathrm{p}...

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

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

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

Сколько строк будет содержать таблица истинности для логической формулы с тремя переменными?

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

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

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

Топ 3 ошибок

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

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