Логотип Автор24реферат
Заказать работу
%
уникальность
не проверялась
Контрольная работа на тему:

Проставить порядок выполнения логических действий

уникальность
не проверялась
Аа
928 символов
Категория
Логика
Контрольная работа
Проставить порядок выполнения логических действий .pdf

Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥

Условие

Проставить порядок выполнения логических действий. Здесь и далее буквами a, b, c заменены элементарные высказывания. Для каждого из двух высказываний выяснить, является ли оно тавтологически истинным. Ответ доказать и пояснить при помощи таблиц истинности. з) ¬a↔¬с & (b V с) → b.

Решение

Потяни, чтобы посмотреть
Сделаем заключение в скобки, согласно правилам о приоритете логических связок (¬, , V, ≠, →, ↔): (¬а) ↔ ((¬с & (b V с)) → b).
Порядок действий→ 4 2 1 3
а b с ¬а ¬с ¬а ↔ ¬с & (b V с) → b
1 1 1 0 0 0 0 1 1
1 1 0 0 1 0 1 1 1
1 0 1 0 0 0 0 1 1
1 0 0 0 1 0 0 0 1
0 1 1 1 0 1 0 1 1
0 1 0 1 1 1 1 1 1
0 0 1 1 0 1 0 1 1
0 0 0 1 1 1 0 0 1
Высказывание «¬с & (b V с) → b» – тавтологически истинное, поскольку принимает все значения истинности (3)
50% задачи недоступно для прочтения
Переходи в Автор24, регистрируйся и получай полное решение
Получить задачу
Больше контрольных работ по логике:

Определите вид доказательства и метод примененный Холмсом

1338 символов
Логика
Контрольная работа

Укажите вид определения. Назовите ошибку

365 символов
Логика
Контрольная работа

Дайте объединенную хлассификацию суждений

711 символов
Логика
Контрольная работа
Все Контрольные работы по логике