Парадокс лжеца: ложь - тоже, что (ложь - не тоже, что ложь)

[bulygin69]

В математике понятие (существует) трактуется как (хотя бы один) и в формальной записи пишется как (квантор существования).

Считаю иначе. Понятие (хотя бы один) - это не понятие (существует), а понятие (существует или существуют).

Понятие же (существует) - это тоже, что (один). Тогда (хотя бы один) - это (один или более одного), т.е. (существует или существуют).

Законы де Моргана поэтому связывают квантор существования, квантор всеобщности и предикат равенства =(Х) следующим образом:
Если каждое Х существует, то не бывает, чтобы хотя бы одного Х не было.
Если хотя бы одно Х существует, то не бывает, чтобы каждого Х не было.

[bulygin69]

Снег - бел. Истинно или ложно?
Точнее: белый снег - бел, что истинно; белый снег - не бел, что ложно.

По сути, решение об истинности или ложности выносится на основании
проверки: P(x) = P, что истинно; P(x) = not P, что ложно

Тогда: (белый снег - бел) можно интерпретировать (существует белый снег)
Тогда: (не белый снег - бел) можно интерпретировать (не существует белый снег)

Казалось бы, несколько "коробит ухо": (белый снег - не бел), следовательно (не существует белый снег). Но дело в том, что здесь предполагается, что (белый снег существует, т.е белый_снег=белый_снег), а уже затем говорится (утверждается) нечто противоположное этому.

Будет проще, если показать эту разницу на простой формуле: 2=2
Такое (равное себе) существует: (2=2) = (2 существует)

При этом, если сказать о существующей двойке,
что 2=3, то это можно интерпретировать как : 2(2) = 3, что ложно (т.е. высказывание ложно, а не сама существующая двойка).

[Black Fregat]

Сообщение от alexzk

Рекомендую вам изучить PROLOG, он как раз и базируется на мат. понимании знаков. Т.е. в нем приказов (циклов/условий и т.д.) нету, а есть факты, из которых сам комп строит алгоритм, без вас.

Я бы не согласился. Хотелось бы, конечно, чтобы комп сам строил алгоритм..
Но на самом деле Prolog-машина не столь интеллектуальна.
Просто она работает по некоторому непривычному алгоритму.
Но вполне детерменировано.

[alexzk]

Сообщение от Black Fregat

Я бы не согласился. Хотелось бы, конечно, чтобы комп сам строил алгоритм..
Но на самом деле Prolog-машина не столь интеллектуальна.
Просто она работает по некоторому непривычному алгоритму.
Но вполне детерменировано.

Вполне соглашусь, я там далее писал - мне он не пошел. Я особо не вникал - отбросил, как "это не мое".

[bulygin69]

def sum(x):
    ''' Ноль - то, что равно и не равно себе.
    Каждое последующее число - то, что
    равно себе и различается с каждым предыдущим'''
    print("Считаем элементы множества ", x, ",")
    print("используя возможность суммировать единицы")
    y = (False != False)
    for i in x:
        y = (i == i) + y
    return y

m = {'d', 9, True, None, 9, 'd'} 
sm = sum(m)
print(sm, "= |", m, "|") 
print('ok', "\n")
''' Вывод:
Считаем элементы множества  {None, 9, True, 'd'} ,
используя возможность суммировать единицы
4 = | {None, 9, True, 'd'} |
'''

def sum(x):
    ''' Ноль - то, что равно и не равно себе.
    Каждое последующее число - то, что
    равно себе и различается с каждым предыдущим'''
    print("Считаем элементы множества ", x, ",")
    print("не используя явную возможность суммирования\n")
    N = []
    
    y = (False != False)
    N.append(y)
    
    for i in x:
        while(True):
            print("Уже используется ", N, "Введите символ числа,")
            print("что различается с каждым предыдущим: ", end="")
            y = input()
            if y not in N and (i==i):
                N.append(y)
                print()
                break
            else:
                print("\nError: должно различаться с каждым предыдущим: \n")
    return N
 
sm = sum(m)
print("упорядоченное множество натуральных чисел: \n", sm)
print(sm[-1], "= |", m, "|") 
print('ok', "\n")

''' Пример работы:
Считаем элементы множества  {None, 9, True, 'd'} ,
не используя явную возможность суммирования

Уже используется  [False] Введите символ числа,
что различается с каждым предыдущим: один

Уже используется  [False, 'один'] Введите символ числа,
что различается с каждым предыдущим: 2

Уже используется  [False, 'один', '2'] Введите символ числа,
что различается с каждым предыдущим: три

Уже используется  [False, 'один', '2', 'три'] Введите символ числа,
что различается с каждым предыдущим: три

Error: должно различаться с каждым предыдущим:

Уже используется  [False, 'один', '2', 'три'] Введите символ числа,
что различается с каждым предыдущим: четыре

упорядоченное множество натуральных чисел:
 [False, 'один', '2', 'три', 'четыре']
четыре = | {None, 9, True, 'd'} |
'''