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

Установить какие из следующих предикатов истинны

уникальность
не проверялась
Аа
865 символов
Категория
Логика
Решение задач
Установить какие из следующих предикатов истинны .pdf

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

Условие

Установить, какие из следующих предикатов истинны, а какие ложны, при условии, что область определения предикатов M совпадает с ℤ: ∀xx2-6x+8≥0∨x2-6x+8<0; ∃xx2+x+0,5=0.

Решение

Потяни, чтобы посмотреть
Опять неточность в формулировках (точнее не полная точность). Одноместный предикат, на который навешен квантор по свободной переменной — это высказывание (возможно, конечно рассматривать высказывания как нульместные предикаты).
1) Высказывание ∀xx2-6x+8≥0∨x2-6x+8<0 истинно на ℤ тогда и только тогда, когда одноместный предикат x2-6x+8≥0∨x2-6x+8<0 является тождественно-истинным на ℤ
50% задачи недоступно для прочтения
Переходи в Кампус, регистрируйся и получай полное решение
Получить задачу
Больше решений задач по логике:
Все Решенные задачи по логике
Закажи решение задач
Оставляя свои контактные данные и нажимая «Найти работу», я соглашаюсь пройти процедуру регистрации на Платформе, принимаю условия Пользовательского соглашения и Политики конфиденциальности в целях заключения соглашения.

Наш проект является банком работ по всем школьным и студенческим предметам. Если вы не хотите тратить время на написание работ по ненужным предметам или ищете шаблон для своей работы — он есть у нас.