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

Определите истинностные значения высказываний

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

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

Условие

Определите истинностные значения высказываний (Р(х), Q(x,y), T(x,y), Vx,y,z,F(x,y) - предикаты, определенные в упражнении 2; вот они: Р(х): x2 =│x│, Qx,y: =│x│+│y│≥│x+y│, T(x,y): │x-y│+│y-x│=0, V(x,y,z): x2+y2≥z2, W(x,y): xx=yy, Fx,y:1+│x│=-│y│-1):

Нужно полное решение этой работы?

Решение

Потяни, чтобы посмотреть
(а) ∀xPx=1, поскольку имеется в виду арифметический корень, а он
всегда неотрицательный. В правой части стоит число, квадрат которого равен подкоренному выражению в левой части, а поскольку он стопт со знаком модуля, то он тоже неотрицательный. Поэтому равенство верно всегда для действительных чисел.
(b) ∀x∀yQx,y=1, потому что для действительных чисел сумма модулей не меньше модуля суммы.
(c) ∃y∀xT(x,y) =0. Докажем это. │x-y│=│y-x│, поэтому
│x-y│+│y-x│=2∙│x-y│≥0. Какое бы у мы ни взяли, при
х=y+1 будем иметь: │x-y│+│y-x│=2∙1>0 . Т.е. нет такого y, что
для всех х T(x,y) =1.
(d) ∀x∀z∃yV(x,y,z) =0. Докажем это. Если такое y существует, то мы возьмем произвольное х и такое z, что z2 >x2+y2. Тогда получим противоречие. Следовательно, ∀x∀z∃yV(x,y,z) = 0.
(e) ∀x∃yW(x,y) =0. Докажем это. у≠0, потому что выражение 00 бессмысленно. При у≠0 возьмем х=2у, получим 2ууу=yy, откуда 2у=1 и у=0-недопустимое число. Это и означает, что ∀x∃yW(x,y) =0.
(f) ∃x∃yQx,y=1, потому что, например, при х=1 и у=1 число
│1│+│1│≥│1+1│, т.е
50% задачи недоступно для прочтения
Переходи в Автор24, регистрируйся и получай полное решение
Получить задачу
Больше контрольных работ по логике:

Сформулируйте заключение из посылок Установите

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

Дайте логическую характеристику понятиям

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

Дайте логическую характеристику следующих понятий

2064 символов
Логика
Контрольная работа
Все Контрольные работы по логике
Закажи контрольную работу
Оставляя свои контактные данные и нажимая «Узнать стоимость», я соглашаюсь пройти процедуру регистрации на Платформе, принимаю условия Пользовательского соглашения и Политики конфиденциальности в целях заключения соглашения.

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