Comment on Blocked 🚫
Malgas@beehaw.org 2 months agoThe thing that is absolute is a predicate of the form “if [axioms] then [theorems]”.
And the fun thing about if statements is that they can be true even when the premise is false.
Comment on Blocked 🚫
Malgas@beehaw.org 2 months agoThe thing that is absolute is a predicate of the form “if [axioms] then [theorems]”.
And the fun thing about if statements is that they can be true even when the premise is false.
luciole@beehaw.org 2 months ago
Of course in boolean algebra “if [false] then p” is always true no matter “p”, but it’s not telling us much.