Главная страница
    Top.Mail.Ru    Яндекс.Метрика
Форум: "Потрепаться";
Текущий архив: 2002.10.24;
Скачать: [xml.tar.bz2];

Вниз

Решите задачку: Истинно или ложно утверждение? -Все мои утвержден   Найти похожие ветки 

 
Nikolas ShmuS   (2002-10-04 00:07) [0]

Тут недавно вычитал в инте, мож кто решит????? )


 
Viktor Kushnir   (2002-10-04 07:10) [1]

А где задача то?


 
DiamondShark   (2002-10-04 11:04) [2]

Коллега, скорее всего, имел в виду утверждение

"Все мои утверждения ложны" (А)

Так тут и решать нечего.

Положим, А истинно. Но А само является утверждением, потому должно быть ложно. Посылка "А истинно" приводит к противоречию.

Положим, А ложно. Тогда должно быть истинно НЕ(А) = "Не все мои утверждения ложны".
Положим, НЕ(А) ложно. Тогда должно быть истинно НЕ(НЕ(А)) = А, что не возможно (см. выше). Следовательно, НЕ(А) должно быть истинным, т.е. должно быть ложным А.

Переформулируя доказательство "обычным" языком: "Некоторые мои утверждения истинны, а некоторые -- ложны".


Доказательство можно провести также графически, используя диаграмы множеств.


 
Alexander Vasjuk   (2002-10-04 14:45) [3]

нифига
это уже из области несамодостаточности логики.
типа кризис математики


 
Kaban   (2002-10-04 14:57) [4]

2 DiamondShark © (04.10.02 11:04)
>>Переформулируя доказательство "обычным" языком: "Некоторые мои
>>утверждения истинны, а некоторые -- ложны".

Т.е. мои утверждения либо истины, либо ложны
"Все мои утверждения ложны" (А)
не является ни истинным, ни ложным




 
DiamondShark   (2002-10-04 16:37) [5]


> Kaban © (04.10.02 14:57)


Еще раз повторяю: рация на танке.


"Все мои утверждения ложны" -- ложное утверждение.
Его отрицание "Не все мои утверждения ложны" -- истинно, и эквивалентно утверждению "Некоторые мои утверждения истинны, а некоторые -- ложны"

Что не так?



Страницы: 1 вся ветка

Форум: "Потрепаться";
Текущий архив: 2002.10.24;
Скачать: [xml.tar.bz2];

Наверх




Память: 0.45 MB
Время: 0.011 c
3-78209
Faun
2002-10-03 14:03
2002.10.24
Обработка исключений БД


4-78729
Dark Hunter
2002-09-12 15:51
2002.10.24
Как запустить прогу с правами админа?


1-78440
Новенький в Делфи
2002-10-15 15:30
2002.10.24
вопросы по хукам


3-78222
Vasechkin
2002-10-01 18:13
2002.10.24
Срочно нужна ПОМОЩЬ!!!!!


14-78623
Alibaba
2002-10-03 13:44
2002.10.24
Есть предложение.





Afrikaans Albanian Arabic Armenian Azerbaijani Basque Belarusian Bulgarian Catalan Chinese (Simplified) Chinese (Traditional) Croatian Czech Danish Dutch English Estonian Filipino Finnish French
Galician Georgian German Greek Haitian Creole Hebrew Hindi Hungarian Icelandic Indonesian Irish Italian Japanese Korean Latvian Lithuanian Macedonian Malay Maltese Norwegian
Persian Polish Portuguese Romanian Russian Serbian Slovak Slovenian Spanish Swahili Swedish Thai Turkish Ukrainian Urdu Vietnamese Welsh Yiddish Bengali Bosnian
Cebuano Esperanto Gujarati Hausa Hmong Igbo Javanese Kannada Khmer Lao Latin Maori Marathi Mongolian Nepali Punjabi Somali Tamil Telugu Yoruba
Zulu
Английский Французский Немецкий Итальянский Португальский Русский Испанский