2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему На страницу Пред.  1, 2
 
 Re: Какая логическая связь между утверждениями?
Сообщение28.05.2013, 11:26 
Заслуженный участник
Аватара пользователя


28/09/06
10851
warlock66613 в сообщении #729397 писал(а):
следует трактовать иначе: существуют такие условия…
Насколько я понял, тс под «соответствующими условиями» имел в виду вполне конкретные условия, которые просто поленился описать более подробно. Так что условия — это константа, а не переменная, на которую можно поставить квантор существования.

 Профиль  
                  
 
 Re: Какая логическая связь между утверждениями?
Сообщение28.05.2013, 11:47 
Аватара пользователя


27/01/09
814
Уфа
warlock66613 в сообщении #729397 писал(а):
"При ста градусах Фаренгейта вода кипит при соответствующих условия." Несмотря на то, что формально это конечно импликация, подобную фразу (в реальной жизни) следует трактовать иначе: существуют такие условия, при которых температура вода кипит при ста градусах Ф.
Да, такой вариант (по-смыслу) лучше будет.

 Профиль  
                  
 
 Re: Какая логическая связь между утверждениями?
Сообщение28.05.2013, 21:00 
Заслуженный участник


02/08/11
7003
epros в сообщении #729402 писал(а):
Насколько я понял, тс под «соответствующими условиями» имел в виду вполне конкретные условия, которые просто поленился описать более подробно. Так что условия — это константа, а не переменная, на которую можно поставить квантор существования.

Да, вероятно вы правы.

 Профиль  
                  
 
 Re: Какая логическая связь между утверждениями?
Сообщение29.05.2013, 12:29 
Аватара пользователя


27/01/09
814
Уфа
На вопрос: Существует такой X, что (A и B и C) ?
Где X - давление, A - вода, B - кипит, C - температура=38С.
Можно ответить и не указывая значение X: Да, такой X существует. Т.е. истина.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 19 ]  На страницу Пред.  1, 2

Модераторы: Модераторы, Супермодераторы



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

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


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

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group