2014 dxdy logo

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

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




На страницу Пред.  1, 2
 
 Re: О неполных логических высказываниях (ни ложные, ни истинные)
Сообщение09.04.2010, 14:24 
creative в сообщении #307990 писал(а):
В таком случае и в первой задаче, где шкатулки Беллини с всегда истинными высказываниями, и шкатулки Челлини с всегда ложными высказываниями не имеют вообще никакого значения и портрет может находится где угодно. Тогда вообще любые задачи с любыми условиями в таком случае могут иметь любой ответ.

Нет, в первой задаче ситуация совсем другая. Здесь нам заранее известны следующие факты, истинность которых гарантирована условием:
1. Каждая шкатулка сделана Беллини или Челлини.
2. Челлини всегда лжет, Беллини всегда говорит правду.
Если бы истинность этих утверждений была под сомнением, то решить задачу было бы невозможно.

Во второй задачи никакой априорной информации подобного плана у нас нет.

 
 
 
 Re: О неполных логических высказываниях (ни ложные, ни истинные)
Сообщение12.04.2010, 10:43 
Аватара пользователя
Maslov в сообщении #307992 писал(а):
creative в сообщении #307990 писал(а):
В таком случае и в первой задаче, где шкатулки Беллини с всегда истинными высказываниями, и шкатулки Челлини с всегда ложными высказываниями не имеют вообще никакого значения и портрет может находится где угодно. Тогда вообще любые задачи с любыми условиями в таком случае могут иметь любой ответ.

Нет, в первой задаче ситуация совсем другая. Здесь нам заранее известны следующие факты, истинность которых гарантирована условием:
1. Каждая шкатулка сделана Беллини или Челлини.
2. Челлини всегда лжет, Беллини всегда говорит правду.
Если бы истинность этих утверждений была под сомнением, то решить задачу было бы невозможно.

Во второй задачи никакой априорной информации подобного плана у нас нет.


Да, похоже я понял. Большое спасибо!

 
 
 [ Сообщений: 17 ]  На страницу Пред.  1, 2


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group