if False == False: print(True) 
# существует то, что ложь есть ложь 
# ложь есть ложь - есть else print(False) 
## if False == True: print(False) 
# не существует то, что ложь есть истина 
# ложь есть истина - не существует else print(True) 
### 
НО!!! эта ложь (False == True), т.е (чего нет), (ложная формула) используется. 
ложь есть истина - есть (существует) 
# 
Пример: работающая программа с алгоритмом Дейкстры. 
https://github.com/bulygin69/dijkstra/blob/master/dijkstra2.py
где ложь (ложная формула) применяется. 
Так, строчка 52: (if not x in p) попросту говорит: (если Х нет в P), 
что означает, что проверяется каждый элемент словаря Р на равенство с Х, 
т.е машинно проверяется (X равно не-Х) для каждого элемента 
и только в случае лжи далее выполняется строчка 53
#
 P.S. Напомню также, что формула (False == True) является также противоречием, 
поскольку она (тождественна ложна), т.е эта формула (не верна ни в какой интерпретации)