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

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

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

Теоретический раздел
Часовой пояс: UTC + 4 часа [ Летнее время ]
MathHelpPlanet.com RSS-лента Математического форума

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




Начать новую тему Ответить на тему  [ Сообщений: 5 ] 
Автор Сообщение
 Заголовок сообщения: Предикаты и справедливость вывода
СообщениеДобавлено: 20 июн 2015, 17:27 
Не в сети
Начинающий
Зарегистрирован:
20 июн 2015, 17:24
Сообщений: 30
Cпасибо сказано: 4
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Помогите, пожалуйста, 5 и 6 задания....Изображение

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Предикаты и справедливость вывода
СообщениеДобавлено: 20 июн 2015, 19:18 
Не в сети
Начинающий
Зарегистрирован:
20 июн 2015, 17:24
Сообщений: 30
Cпасибо сказано: 4
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
только 5 задание надо)

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Предикаты и справедливость вывода
СообщениеДобавлено: 20 июн 2015, 21:34 
Не в сети
Beautiful Mind
Зарегистрирован:
06 июн 2013, 17:17
Сообщений: 1121
Cпасибо сказано: 59
Спасибо получено:
321 раз в 305 сообщениях
Очков репутации: 97

Добавить очки репутацииУменьшить очки репутации
Готов дать подсказку, но не готов привести полное решение: не хочу дублировать учебник. Напишите, в чем ваша сложность и что вы сделали. Также напомните, пожалуйста, означает ли префиксная нормальная форма, что в бескванторной части могут использоваться только конъюнкция, дизъюнкция и отрицание.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Предикаты и справедливость вывода
СообщениеДобавлено: 21 июн 2015, 02:53 
Не в сети
Начинающий
Зарегистрирован:
20 июн 2015, 17:24
Сообщений: 30
Cпасибо сказано: 4
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
3D Homer писал(а):
Готов дать подсказку, но не готов привести полное решение: не хочу дублировать учебник. Напишите, в чем ваша сложность и что вы сделали. Также напомните, пожалуйста, означает ли префиксная нормальная форма, что в бескванторной части могут использоваться только конъюнкция, дизъюнкция и отрицание.

Сделал 5 задании из всех,но это никак не могу, особенно 5.2,5.3 ... 5.1 хотя бы представление имею как... Да,когда мы приведем ,то могут только конъюнкция, дизъюнкция и отрицание быть...

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Предикаты и справедливость вывода
СообщениеДобавлено: 21 июн 2015, 13:18 
Не в сети
Beautiful Mind
Зарегистрирован:
06 июн 2013, 17:17
Сообщений: 1121
Cпасибо сказано: 59
Спасибо получено:
321 раз в 305 сообщениях
Очков репутации: 97

Добавить очки репутацииУменьшить очки репутации
Для приведения к префиксной нормальной форме достаточно переметить [math]\exists y[/math] в начало формулы после (можно и до) [math]\exists x[/math]. Кванторы из заключения импликации выносятся в начало формулы как они есть, если квантифицируемая переменная не входит свободно в посылку. Из посылки импликации кванторы выносятся с изменением на двойственный, поскольку посылка, по сути, находится под отрицанием.

Вы не знаете, как решить 5.2 и 5.3, скорее всего, потому что вы не знаете одного из необходимых определений. Представьте, что человек вам говорит, что не может вычислить результат умножения [math]123\cdot54[/math]. Вы решите, что либо он не знает алгоритма умножения, либо он ленится. Иначе здесь нет причины для трудности. Здесь не нужно делать нетривиальную догадку или неочевидное дополнительное построение; нужно лишь вложить определенные усилия. Так и в этой задаче.

Начните с 5.3. В данной интерпретации формула [math]P(x)[/math] эквивалентна [math]x=1[/math], [math]R(x)[/math] эквивалентна [math]x=2[/math], а [math]Q(x,y)[/math] эквивалентна [math]x=1\land y=1[/math].

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

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Доказать справедливость вывода из гипотез по методу резолюци

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

sirion

1

170

13 июн 2013, 23:48

Построение вывода

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

panda27

1

50

13 май 2017, 22:23

Предикаты

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

firefox1234

1

170

25 дек 2013, 11:22

Предикаты

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

Rbikte

0

126

25 май 2013, 19:53

Вспомогательные правила вывода ИВ

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

famesyasd

1

56

15 окт 2016, 01:18

Предикаты и высказывания

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

umka1989umka

12

44

10 ноя 2017, 16:17

Доказать с помощью правил вывода

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

notkeo

0

207

05 янв 2012, 03:29

Проверить правильность следующего вывода

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

javavirys

0

99

08 апр 2014, 13:45

Математическая логика предикаты

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

Sonik322

1

71

30 май 2017, 15:48

Доказать секвенции используя 11 правил вывода

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

duducai007

1

517

19 дек 2013, 00:37


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



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

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


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

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

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

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