Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 1 из 1 |
[ Сообщений: 6 ] |
|
Автор | Сообщение | |
---|---|---|
Sec |
|
|
Нужно построить таблицу истинности для такой функции Я все построила, цветом выделила пары Посмотрите правильно применен кванторн? |
||
Вернуться к началу | ||
3D Homer |
|
|
Sec писал(а): [math]\forall x ( \overline{P(x,y,z)} \lor \overline{Q(x,y)} )[/math] Какой функции? Что такое P и Q?Нужно построить таблицу истинности для такой функции Sec писал(а): Я все построила, цветом выделила пары Какие пары? Зачем?Почему у вас значение универсально квантифицированной формулы указано для каждого набора значений переменных, в то время как у нее должно быть только одно значение: для всей интерпретации? Sec писал(а): Посмотрите правильно применен кванторн? Вы имеете в виду квантор? |
||
Вернуться к началу | ||
Sec |
|
|
3D Homer
Дана такая запись и нужно для нее построить таблицу истинности, может я не привильно назвала, возможно это не функции(( Цитата: Почему у вас значение универсально квантифицированной формулы указано для каждого набора значений переменных, в то время как у нее должно быть только одно значение: для всей интерпретации? Вот это совсем не поняла.... Цитата: Какие пары? Зачем? Мне в одногруппник так объяснил:что ищешь пары одинаковых значений, исключая переменную у которой квантор, смотришь результат, и дальше ставить ложь или истина в зависимости от значения переменных... Только я перепутала квантор стоит у Y. Я просто не совсем понимаю, что надо делать. И в интернете нет, как строить таблицы если впереди стоят кванторы. Мне бы алгоритм как делать) |
||
Вернуться к началу | ||
3D Homer |
|
|
3D Homer писал(а): Почему у вас значение универсально квантифицированной формулы указано для каждого набора значений переменных, в то время как у нее должно быть только одно значение: для всей интерпретации? Простите, мне показалось, что все переменные квантифицированны. В этом случае у формулы было бы только одно значение в каждой интерпретации. Если есть свободные (неквантифицированные) переменные, то у формулы есть значение для каждого набора значений свободных переменных. В вашем случае свободные переменные x и z, поэтому у формулы четыре значения.Sec писал(а): Дана такая запись и нужно для нее построить таблицу истинности Если вас просят найти значение f(3), это невозможно сделать без определения функции f. Таким же образом значение вашей формулы невозможно определить без знания интерпретации предикатных символов P и Q. Ответ, который я ожидал -- что интерпретация P и Q задана в 4 и 5 столбцах таблицы. То есть эти столбцы есть определение интерпретации, а не выводятся откуда-то еще.Sec писал(а): Я просто не совсем понимаю, что надо делать. В предикатной логике, в отличие от пропозициональной, таблицы истинности обычно не используются.И в интернете нет, как строить таблицы если впереди стоят кванторы. Ваш результат правильный. Формула [math]\forall y\,(\overline{P(x,y,z)}\lor\overline{Q(x,y)})[/math] ложна в данной интерпретации для всех значений x и z. |
||
Вернуться к началу | ||
Sec |
|
|
3D Homer
А если бы квантор стоял у x, то значения были бы другие? |
||
Вернуться к началу | ||
3D Homer |
|
|
Тогда было бы, как в таблице из сообщений №1.
|
||
Вернуться к началу | ||
[ Сообщений: 6 ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Составить таблицу истинности для функции:
в форуме Информатика и Компьютерные науки |
1 |
194 |
13 окт 2020, 20:26 |
|
Составить таблицу истинности для функции:
в форуме Информатика и Компьютерные науки |
1 |
156 |
13 окт 2020, 20:25 |
|
Составить таблицу истинности для функции:
в форуме Информатика и Компьютерные науки |
1 |
147 |
13 окт 2020, 20:25 |
|
Составьте таблицу истинности для логической формулы | 1 |
312 |
10 сен 2018, 16:51 |
|
Составить таблицу Кэли
в форуме Линейная и Абстрактная алгебра |
22 |
3279 |
08 мар 2016, 14:04 |
|
Составить таблицу распределения случайной величины x+y
в форуме Теория вероятностей |
6 |
269 |
04 ноя 2021, 15:35 |
|
Составить таблицу Поста и найти базисы из следующих функций | 0 |
914 |
26 сен 2015, 16:32 |
|
Составить таблицы истинности и указать вид формул | 2 |
238 |
06 мар 2019, 02:06 |
|
Составить таблицы истинности для следующих формул | 1 |
309 |
28 мар 2017, 21:59 |
|
Задача на таблицу
в форуме Начала анализа и Другие разделы школьной математики |
29 |
698 |
13 окт 2020, 13:05 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 24 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |