fossilesqueM to Science MemesEnglish · 8 months agoBlocked 🚫imagemessage-square81fedilinkarrow-up1734arrow-down123
arrow-up1711arrow-down1imageBlocked 🚫fossilesqueM to Science MemesEnglish · 8 months agomessage-square81fedilink
minus-squareMalgas@beehaw.orglinkfedilinkEnglisharrow-up10·8 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.
minus-squareluciole (he/him)@beehaw.orglinkfedilinkEnglisharrow-up2·8 months agoOf course in boolean algebra “if [false] then p” is always true no matter “p”, but it’s not telling us much.
The 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.
Of course in boolean algebra “if [false] then p” is always true no matter “p”, but it’s not telling us much.