Главная страница
    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.56 MB
Время: 0.035 c
3-78283
AM
2002-10-03 11:14
2002.10.24
Можно ли SQL запросом узнать текущее дату/время на сервере?


8-78544
Alexfdfdfd
2002-06-26 01:17
2002.10.24
Короче задача, нужно взять файл типа *.bmp


3-78267
sdram
2002-10-02 16:22
2002.10.24
Помогите выполнить Refresh


4-78718
carmen
2002-09-12 01:08
2002.10.24
Как полностью изменить стандартный вид формы


1-78441
KidMan
2002-10-11 22:31
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
Английский Французский Немецкий Итальянский Португальский Русский Испанский