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

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

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

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

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




Начать новую тему Ответить на тему  [ Сообщений: 4 ] 
Автор Сообщение
 Заголовок сообщения: Вопрос по исчислению предикатов и логическому следованию
СообщениеДобавлено: 27 авг 2017, 07:20 
Не в сети
Начинающий
Зарегистрирован:
27 авг 2017, 06:51
Сообщений: 2
Cпасибо сказано: 0
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
В исчислении предикатов известно, что [math]F(x) \vdash \forall x F(x)[/math], значит выполняется логическое следование [math]F(x) \vDash \forall x F(x)[/math]. Значит что при любой интерпретации, при которой [math]F(x)[/math] превращается в тождественно истинный предикат [math]\forall x F(x)[/math] так же тождественно истинный предикат. Но если взять любой опровержимы и выполнимый предикат, то следование не выполняется. Например "x делится на 3" на N. Где я ошибаюсь?

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Вопрос по исчислению предикатов и логическому следованию
СообщениеДобавлено: 28 авг 2017, 07:07 
Не в сети
Начинающий
Зарегистрирован:
27 авг 2017, 06:51
Сообщений: 2
Cпасибо сказано: 0
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Разобрался. Можно не отвечать.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Вопрос по исчислению предикатов и логическому следованию
СообщениеДобавлено: 28 авг 2017, 14:25 
Не в сети
Light & Truth
Зарегистрирован:
23 авг 2010, 23:28
Сообщений: 4125
Cпасибо сказано: 507
Спасибо получено:
1031 раз в 911 сообщениях
Очков репутации: 310

Добавить очки репутацииУменьшить очки репутации
glutamat писал(а):
Разобрался.


Расскажите, если не трудно. Интересно.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Вопрос по исчислению предикатов и логическому следованию
СообщениеДобавлено: 30 авг 2017, 13:14 
Не в сети
Beautiful Mind
Зарегистрирован:
06 июн 2013, 17:17
Сообщений: 1148
Cпасибо сказано: 61
Спасибо получено:
322 раз в 306 сообщениях
Очков репутации: 97

Добавить очки репутацииУменьшить очки репутации
Ellipsoid, я ответил на этот вопрос на киберфоруме в разделе "Логика".

Вернуться к началу
 Профиль  
Cпасибо сказано 
За это сообщение пользователю 3D Homer "Спасибо" сказали:
Ellipsoid
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 4 ] 

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Вопрос по диф. исчислению

в форуме Дифференциальное исчисление

nokal

6

158

20 дек 2011, 14:29

Задайте интересный вопрос по Интегральному исчислению

в форуме Интегральное исчисление

KirillSavitsky

7

285

09 янв 2015, 13:47

3 задания по дифференциальному исчислению

в форуме Дифференциальное исчисление

chicken

2

172

24 дек 2012, 13:14

Задания по операционному исчислению

в форуме Объявления участников Форума

Michael

0

290

17 сен 2013, 14:21

Задача по вариационному исчислению

в форуме Функциональный анализ, Топология и Дифференциальная геометрия

Coob

3

293

28 апр 2013, 15:28

Задачи по интегральному исчислению

в форуме Интегральное исчисление

LetterBee

9

244

15 янв 2012, 16:53

Простые задачи по вариационному исчислению

в форуме Функциональный анализ, Топология и Дифференциальная геометрия

tumkan

9

428

25 мар 2012, 21:57

Курс лекций по интегральному исчислению

в форуме Интегральное исчисление

Alexdemath

1

3794

16 авг 2012, 16:58

Язык предикатов

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

Dazerr

3

267

30 май 2013, 16:11

Логика предикатов

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

johnybsraynilol

5

32

10 дек 2017, 15:57


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



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

Сейчас этот форум просматривают: Yahoo [Bot] и гости: 15


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

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

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

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