Высказывания и операции над ними

@privetyaelf · Регистрация: 02.04.2016

Студворк — интернет-сервис помощи студентам

Пол ночи голову ломал, ничего не понял...
1. Высказывание (X&Y) v (X->Z) ложно. Найдите все возможные значения высказываний (x,y,z)
2. Существует древняя легенда о том, что греческий драматург Софокл погиб при странных обстоятельствах. На его лысую голову орел сбросил камень, приняв ее за яйцо. Введите необходимые простые высказывания и представьте его формулой следующее сложное высказывание: “Софокл сочинял трагедии не только, когда облысел”.
3. Используя двухместные предикаты P (x, y) – “мужчина (x) и женщина (y) являются супругами”, Q (x, y) – “человек х является родителем у” и одноместный предикат M (x) – “человек х мужского пола” выразите формулой над ними (с кванторами) предикат на множестве людей “x, y, и z – три родные сестры, их родные супруги”.

@Ellipsoid · 02.04.2016, 11:57

1. Задача на применение определений логических связок. Согласно определению, дизъюнкция ложна тогда и только тогда, когда ложны оба её члена. Значит, высказывания $https://www.cyberforum.ru/cgi-bin/latex.cgi?XY$ и $https://www.cyberforum.ru/cgi-bin/latex.cgi?X \to Z$ ложны. Импликация, в силу определения, ложна, если и только если посылка ложна, а заключение истинно. Следовательно, высказывание $https://www.cyberforum.ru/cgi-bin/latex.cgi?X$ истинно, а высказывание $https://www.cyberforum.ru/cgi-bin/latex.cgi? Z$ ложно. Используем определение конъюнкции. Она ложна, если ложен хотя бы один из её членов. Известно, что высказывание $https://www.cyberforum.ru/cgi-bin/latex.cgi?X$ истинно. Тогда высказывание $https://www.cyberforum.ru/cgi-bin/latex.cgi?Y$ ложно. Итак, высказывание $https://www.cyberforum.ru/cgi-bin/latex.cgi?X$ истинно, а высказывания $https://www.cyberforum.ru/cgi-bin/latex.cgi?Y$ и $https://www.cyberforum.ru/cgi-bin/latex.cgi?Z$ ложны.

@Mikl___ · 02.04.2016, 17:58

Сообщение от privetyaelf

(X&Y) v (X->Z) ложно.

$https://www.cyberforum.ru/cgi-bin/latex.cgi?xy+x\to z=xy+\bar{x}+z=y+\bar{x}+z=0$ при $https://www.cyberforum.ru/cgi-bin/latex.cgi?x=1$ и $https://www.cyberforum.ru/cgi-bin/latex.cgi?y=z=0$

@privetyaelf · 04.04.2016, 01:30 **[ТС]**

спасибо за первое

Новые блоги и статьи Все статьи Все блоги /
Отчёт о затраченных материалах за определенный период с макетом печатной формы Maks 21.04.2026 Отчёт из решения ниже размещён в конфигурации КА2. Задача: разработка отчёта по затраченным материалам за определённый период, с возможностью вывода печатной формы отчёта с шапкой и подвалом. В. . .	Отчёт о спецтехнике находящейся в ремонте Maks 20.04.2026 Отчёт из решения ниже размещен в конфигурации КА2. Задача: отобразить спецтехнику, которая на данный момент находится в ремонте. Есть нетиповой документ "Заявка на ремонт спецтехники" который. . .	Памятка для бота и "визитка" для читателей "Semantic Universe Layer (Слой семантической вселенной)" Hrethgir 19.04.2026 Сгенерировано для краткого описания по случаю сборки и компиляции скелета серверного приложения. И пусть после этого скажут, что статьи сгенерированные AI - туфта и не интересно. И это не реклама -. . .	Запрет удаления строк ТЧ документа при определённом условии Maks 19.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "Аккумуляторы", разработанного в конфигурации КА2. У данного документа есть ТЧ, в которой в зависимости от прав доступа. . .
Модель заражения группы наркоманов alhaos 17.04.2026 Условия задачи сформулированы тут Суть: - Группа наркоманов из 10 человек. - Только один инфицирован ВИЧ. - Колются одной иглой. - Колются раз в день. - Колются последовательно через. . .	Мысли в слух. Про "навсегда". kumehtar 16.04.2026 Подумалось тут, что наверное очень глупо использовать во всяких своих установках понятие "навсегда". Это очень сильное понятие, и я только начинаю понимать край его смысла, не смотря на то что давно. . .	My Business CRM MaGz GoLd 16.04.2026 Всем привет, недавно возникла потребность создать CRM, для личных нужд. Собственно программа предоставляет из себя базу данных клиентов, в которой можно фиксировать звонки, стадии сделки, а также. . .	Знаешь почему 90% людей редко бывают счастливыми? kumehtar 14.04.2026 Потому что они ждут. Ждут выходных, ждут отпуска, ждут удачного момента. . . а удачный момент так и не приходит.

@privetyaelf 0 / 0 / 0 Регистрация: 02.04.2016 Сообщений: 5

	Высказывания и операции над ними 02.04.2016, 07:34. Показов 840. Ответов 3 Метки нет (Все метки) Пол ночи голову ломал, ничего не понял... 1. Высказывание (X&Y) v (X->Z) ложно. Найдите все возможные значения высказываний (x,y,z) 2. Существует древняя легенда о том, что греческий драматург Софокл погиб при странных обстоятельствах. На его лысую голову орел сбросил камень, приняв ее за яйцо. Введите необходимые простые высказывания и представьте его формулой следующее сложное высказывание: “Софокл сочинял трагедии не только, когда облысел”. 3. Используя двухместные предикаты P (x, y) – “мужчина (x) и женщина (y) являются супругами”, Q (x, y) – “человек х является родителем у” и одноместный предикат M (x) – “человек х мужского пола” выразите формулой над ними (с кванторами) предикат на множестве людей “x, y, и z – три родные сестры, их родные супруги”. 0

@Ellipsoid 1891 / 1472 / 173 Регистрация: 16.06.2012 Сообщений: 3,342
	02.04.2016, 11:57
	1. Задача на применение определений логических связок. Согласно определению, дизъюнкция ложна тогда и только тогда, когда ложны оба её члена. Значит, высказывания $https://www.cyberforum.ru/cgi-bin/latex.cgi?XY$ и $https://www.cyberforum.ru/cgi-bin/latex.cgi?X \to Z$ ложны. Импликация, в силу определения, ложна, если и только если посылка ложна, а заключение истинно. Следовательно, высказывание $https://www.cyberforum.ru/cgi-bin/latex.cgi?X$ истинно, а высказывание $https://www.cyberforum.ru/cgi-bin/latex.cgi? Z$ ложно. Используем определение конъюнкции. Она ложна, если ложен хотя бы один из её членов. Известно, что высказывание $https://www.cyberforum.ru/cgi-bin/latex.cgi?X$ истинно. Тогда высказывание $https://www.cyberforum.ru/cgi-bin/latex.cgi?Y$ ложно. Итак, высказывание $https://www.cyberforum.ru/cgi-bin/latex.cgi?X$ истинно, а высказывания $https://www.cyberforum.ru/cgi-bin/latex.cgi?Y$ и $https://www.cyberforum.ru/cgi-bin/latex.cgi?Z$ ложны. 1

@privetyaelf 0 / 0 / 0 Регистрация: 02.04.2016 Сообщений: 5
	04.04.2016, 01:30 [ТС]
	спасибо за первое 0

Опции темы