Логотип Автор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% задачи недоступно для прочтения
Переходи в Кампус, регистрируйся и получай полное решение
Получить задачу
Больше контрольных работ по логике:

Определите вид доказательства в данном рассуждении

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

Охарактеризуйте предложения индуктивного умозаключения

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

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