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

Математический форум 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
Сообщений: 4260
Cпасибо сказано: 532
Спасибо получено:
1056 раз в 934 сообщениях
Очков репутации: 311

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


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

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

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

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

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Задайте интересный вопрос по Интегральному исчислению

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

KirillSavitsky

7

327

09 янв 2015, 13:47

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

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

Coob

3

356

28 апр 2013, 15:28

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

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

Michael

0

327

17 сен 2013, 14:21

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

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

chicken

2

233

24 дек 2012, 13:14

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

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

Alexdemath

1

4277

16 авг 2012, 16:58

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

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

Lucky721

23

869

06 янв 2015, 16:22

Алгебра предикатов

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

Asia fox

2

100

08 мар 2017, 23:20

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

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

cryptologix

0

264

24 апр 2013, 18:38

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

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

Asia fox

7

153

09 мар 2017, 01:10

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

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

Dazerr

3

326

30 май 2013, 16:11


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



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

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


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

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

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

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