PeteOlcott wrote: ↑Fri Oct 20, 2023 6:59 am
I know that you never did because I know that no one ever did.
What I usually see is a list of false assumptions.
Please show me the source code for the decider which distinguishes true from false assumptions.
What does (True ≡ False) evaluate to?
Allow me to start.... Booleans are closed under material equivalence (≡); right?
Why does True ≡ False map to "False"; and not "True"?
Seems like an arbitrary choice, right? Lets choose differently...
Code: Select all
[1] pry(main)> def ≡(x,y)
if [true, false].permutation.to_a.include?([x,y])
return true
else
return x == y
end
=> :≡
[2] pry(main)> ≡(true, false)
=> true
[3] pry(main)> ≡(1,2)
=> false
[4] pry(main)> ≡("a","a")
=> true