Дискуссионный математический форумМатематический форум
Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 3 часа [ Летнее время ]
новый онлайн-сервис
число, сумма и дата прописью

Часовой пояс: UTC + 3 часа [ Летнее время ]




Начать новую тему Ответить на тему  [ Сообщений: 6 ] 
Автор Сообщение
 Заголовок сообщения: Составить таблицу истинности в данной интерпритации
СообщениеДобавлено: 18 май 2015, 11:39 
Не в сети
Начинающий
Зарегистрирован:
10 дек 2014, 22:38
Сообщений: 45
Cпасибо сказано: 16
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
[math]\forall x ( \overline{P(x,y,z)} \lor \overline{Q(x,y)} )[/math]

Нужно построить таблицу истинности для такой функции


Я все построила, цветом выделила пары
Изображение

Посмотрите правильно применен кванторн?

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Составить таблицу истинности в данной интерпритации
СообщениеДобавлено: 18 май 2015, 12:37 
Не в сети
Последняя инстанция
Зарегистрирован:
06 июн 2013, 16:17
Сообщений: 2590
Cпасибо сказано: 104
Спасибо получено:
746 раз в 701 сообщениях
Очков репутации: 158

Добавить очки репутацииУменьшить очки репутации
Sec писал(а):
[math]\forall x ( \overline{P(x,y,z)} \lor \overline{Q(x,y)} )[/math]

Нужно построить таблицу истинности для такой функции
Какой функции? Что такое P и Q?

Sec писал(а):
Я все построила, цветом выделила пары
Какие пары? Зачем?

Почему у вас значение универсально квантифицированной формулы указано для каждого набора значений переменных, в то время как у нее должно быть только одно значение: для всей интерпретации?

Sec писал(а):
Посмотрите правильно применен кванторн?
Вы имеете в виду квантор?

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Составить таблицу истинности в данной интерпритации
СообщениеДобавлено: 18 май 2015, 13:16 
Не в сети
Начинающий
Зарегистрирован:
10 дек 2014, 22:38
Сообщений: 45
Cпасибо сказано: 16
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
3D Homer
Дана такая запись и нужно для нее построить таблицу истинности, может я не привильно назвала, возможно это не функции((

Цитата:
Почему у вас значение универсально квантифицированной формулы указано для каждого набора значений переменных, в то время как у нее должно быть только одно значение: для всей интерпретации?

Вот это совсем не поняла....

Цитата:
Какие пары? Зачем?

Мне в одногруппник так объяснил:что ищешь пары одинаковых значений, исключая переменную у которой квантор, смотришь результат, и дальше ставить ложь или истина в зависимости от значения переменных...

Только я перепутала квантор стоит у Y.Изображение

Я просто не совсем понимаю, что надо делать.
И в интернете нет, как строить таблицы если впереди стоят кванторы. Мне бы алгоритм как делать)

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Составить таблицу истинности в данной интерпритации
СообщениеДобавлено: 18 май 2015, 13:36 
Не в сети
Последняя инстанция
Зарегистрирован:
06 июн 2013, 16:17
Сообщений: 2590
Cпасибо сказано: 104
Спасибо получено:
746 раз в 701 сообщениях
Очков репутации: 158

Добавить очки репутацииУменьшить очки репутации
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.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Составить таблицу истинности в данной интерпритации
СообщениеДобавлено: 18 май 2015, 13:42 
Не в сети
Начинающий
Зарегистрирован:
10 дек 2014, 22:38
Сообщений: 45
Cпасибо сказано: 16
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
3D Homer
А если бы квантор стоял у x, то значения были бы другие?

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Составить таблицу истинности в данной интерпритации
СообщениеДобавлено: 18 май 2015, 17:13 
Не в сети
Последняя инстанция
Зарегистрирован:
06 июн 2013, 16:17
Сообщений: 2590
Cпасибо сказано: 104
Спасибо получено:
746 раз в 701 сообщениях
Очков репутации: 158

Добавить очки репутацииУменьшить очки репутации
Тогда было бы, как в таблице из сообщений №1.

Вернуться к началу
 Профиль  
Cпасибо сказано 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему      Страница 1 из 1 [ Сообщений: 6 ]

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Составить таблицу истинности для функции:

в форуме Информатика и Компьютерные науки

top234

1

194

13 окт 2020, 20:26

Составить таблицу истинности для функции:

в форуме Информатика и Компьютерные науки

top234

1

156

13 окт 2020, 20:25

Составить таблицу истинности для функции:

в форуме Информатика и Компьютерные науки

top234

1

147

13 окт 2020, 20:25

Составьте таблицу истинности для логической формулы

в форуме Дискретная математика, Теория множеств и Логика

tanyhaftv

1

312

10 сен 2018, 16:51

Составить таблицу Кэли

в форуме Линейная и Абстрактная алгебра

Bunny987

22

3279

08 мар 2016, 14:04

Составить таблицу распределения случайной величины x+y

в форуме Теория вероятностей

vneval

6

269

04 ноя 2021, 15:35

Составить таблицу Поста и найти базисы из следующих функций

в форуме Дискретная математика, Теория множеств и Логика

lazebny

0

914

26 сен 2015, 16:32

Составить таблицы истинности и указать вид формул

в форуме Дискретная математика, Теория множеств и Логика

XZ111

2

238

06 мар 2019, 02:06

Составить таблицы истинности для следующих формул

в форуме Дискретная математика, Теория множеств и Логика

donposeidon

1

309

28 мар 2017, 21:59

Задача на таблицу

в форуме Начала анализа и Другие разделы школьной математики

Rollick

29

698

13 окт 2020, 13:05


Часовой пояс: UTC + 3 часа [ Летнее время ]



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 24


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  

Яндекс.Метрика

Copyright © 2010-2023 MathHelpPlanet.com. All rights reserved