|
|
Регистрация Восстановить пароль |
Повторная активизация e-mail |
Регистрация | Задать вопрос |
Заплачу за решение |
Новые сообщения |
Сообщения за день |
Расширенный поиск |
Правила |
Всё прочитано |
|
Опции темы | Поиск в этой теме |
18.06.2018, 14:00 | #61 |
Пользователь
Регистрация: 06.11.2015
Сообщений: 39
|
В математике понятие (существует) трактуется как (хотя бы один) и в формальной записи пишется как (квантор существования).
Считаю иначе. Понятие (хотя бы один) - это не понятие (существует), а понятие (существует или существуют). Понятие же (существует) - это тоже, что (один). Тогда (хотя бы один) - это (один или более одного), т.е. (существует или существуют). Законы де Моргана поэтому связывают квантор существования, квантор всеобщности и предикат равенства =(Х) следующим образом: Если каждое Х существует, то не бывает, чтобы хотя бы одного Х не было. Если хотя бы одно Х существует, то не бывает, чтобы каждого Х не было. |
19.06.2018, 07:28 | #62 |
Пользователь
Регистрация: 06.11.2015
Сообщений: 39
|
Снег - бел. Истинно или ложно?
Точнее: белый снег - бел, что истинно; белый снег - не бел, что ложно. По сути, решение об истинности или ложности выносится на основании проверки: P(x) = P, что истинно; P(x) = not P, что ложно Тогда: (белый снег - бел) можно интерпретировать (существует белый снег) Тогда: (не белый снег - бел) можно интерпретировать (не существует белый снег) Казалось бы, несколько "коробит ухо": (белый снег - не бел), следовательно (не существует белый снег). Но дело в том, что здесь предполагается, что (белый снег существует, т.е белый_снег=белый_снег), а уже затем говорится (утверждается) нечто противоположное этому. Будет проще, если показать эту разницу на простой формуле: 2=2 Такое (равное себе) существует: (2=2) = (2 существует) При этом, если сказать о существующей двойке, что 2=3, то это можно интерпретировать как : 2(2) = 3, что ложно (т.е. высказывание ложно, а не сама существующая двойка). |
19.06.2018, 15:25 | #63 | |
Программист
Участник клуба
Регистрация: 23.06.2009
Сообщений: 1,772
|
Цитата:
Но на самом деле Prolog-машина не столь интеллектуальна. Просто она работает по некоторому непривычному алгоритму. Но вполне детерменировано. |
|
19.06.2018, 19:24 | #64 |
Форумчанин
Регистрация: 12.04.2017
Сообщений: 889
|
Вполне соглашусь, я там далее писал - мне он не пошел. Я особо не вникал - отбросил, как "это не мое".
|
21.06.2018, 19:33 | #65 |
Пользователь
Регистрация: 06.11.2015
Сообщений: 39
|
Код:
Последний раз редактировалось bulygin69; 21.06.2018 в 19:38. |
Похожие темы | ||||
Тема | Автор | Раздел | Ответов | Последнее сообщение |
Что такое "заведомая ложь"... | waleri | Свободное общение | 18 | 15.01.2015 08:44 |
Возврат ИСТИНА или ЛОЖЬ при выполнении нескольких условий | HorrorJuice | Microsoft Office Excel | 4 | 01.02.2014 13:41 |
Не могу понять почему в результате "ЛОЖЬ" | Questru | Microsoft Office Excel | 5 | 16.08.2013 14:27 |