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

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

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

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

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




Начать новую тему Ответить на тему  [ Сообщений: 2 ] 
Автор Сообщение
 Заголовок сообщения: Предикаты
СообщениеДобавлено: 25 дек 2013, 11:22 
Не в сети
Начинающий
Зарегистрирован:
25 дек 2013, 11:18
Сообщений: 1
Cпасибо сказано: 0
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Помогите, пожалуйста, решить!

Нужно вывести эту формулу в исчислении предикатов!

[math]\exists x \forall y \forall z A(x,y,z) \rightarrow \forall u \exists t A(t,t,u)[/math]

Построить интерпретацию, в которой данная формула неверна.

[math]\exists x (A(x) \rightarrow (B(x)\rightarrow C(x))) \; \rightarrow \; (\forall x B(x) \rightarrow (\exists x \bar{A}(x)\vee \forall x C(x)))[/math]

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Предикаты
СообщениеДобавлено: 25 дек 2013, 22:47 
Не в сети
Одарённый
Зарегистрирован:
06 дек 2012, 13:40
Сообщений: 143
Откуда: Кишинёв
Cпасибо сказано: 2
Спасибо получено:
50 раз в 45 сообщениях
Очков репутации: 30

Добавить очки репутацииУменьшить очки репутации
1. Можно использовать правила введения и удаления. И искать доказательство с конца. Эта выражение следует из правила введения импликации. Последняя в свою очередь следует из другого выражения по правилу введения квантора всеобщности и.т.д.

2. Интерпретации в логике предикатов играют такую же роль, какую играют строки таблиц истинности в логике высказываний.

[math]\exists x\in\mathbb{N}(x\geqslant 1\to(x\geqslant 1\to x>3))\to(\forall x\in\mathbb{N}(x\geqslant 1)\to\exists x\in\mathbb{N}\neg(x\geqslant 1)\vee\forall x\in\mathbb{N}(x>3))[/math]


[math]\mathbb{N}=\{1,\ 2,\ \ldots\}[/math]

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

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Предикаты

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

Rbikte

0

126

25 май 2013, 19:53

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

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

umka1989umka

12

44

10 ноя 2017, 16:17

Предикаты и справедливость вывода

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

manchester_alan

4

166

20 июн 2015, 17:27

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

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

Sonik322

1

71

30 май 2017, 15:48

Правильность рассуждения, 3-х местные предикаты

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

Euqin

3

224

14 апр 2014, 21:45

Построить n–местные предикаты на множестве

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

vlad_gribanov1

0

127

26 май 2015, 22:34

Вычисление выражения в алгебраической системе (предикаты)

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

BlightW

1

129

05 окт 2015, 14:56


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



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

Сейчас этот форум просматривают: Yandex [bot] и гости: 9


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

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

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

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