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

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

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

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




Начать новую тему Ответить на тему  [ Сообщений: 2 ] 
Автор Сообщение
 Заголовок сообщения: Предикаты
СообщениеДобавлено: 25 дек 2013, 10:22 
Не в сети
Начинающий
Зарегистрирован:
25 дек 2013, 10: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, 21:47 
Не в сети
Одарённый
Зарегистрирован:
06 дек 2012, 12:40
Сообщений: 173
Откуда: Кишинёв
Cпасибо сказано: 2
Спасибо получено:
57 раз в 52 сообщениях
Очков репутации: 32

Добавить очки репутацииУменьшить очки репутации
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пасибо сказано 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему      Страница 1 из 1 [ Сообщений: 2 ]

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

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

in+yan

2

270

18 май 2020, 19:40

Предикаты

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

kam kam

1

146

12 июн 2020, 12:19

Предикаты

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

tanyhaftv

11

537

02 май 2018, 15:23

Предикаты

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

huffy

11

708

27 ноя 2017, 16:37

Предикаты

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

kot999cash

1

191

05 апр 2020, 19:30

Предикаты

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

Craizi8

2

153

05 дек 2020, 21:48

Предикаты

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

Keccear

5

385

14 фев 2021, 15:51

Матлогика. Предикаты

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

milkyway

3

297

01 дек 2022, 02:23

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

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

evaf

14

265

14 окт 2020, 10:52

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

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

nad27

1

167

25 май 2020, 17:50


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



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

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


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

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

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

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