fossilesque ( @fossilesque@mander.xyz ) M to Science Memes@mander.xyzEnglish · 1 year agoBlocked 🚫mander.xyzimagemessage-square37linkfedilinkarrow-up1388
arrow-up1388imageBlocked 🚫mander.xyz fossilesque ( @fossilesque@mander.xyz ) M to Science Memes@mander.xyzEnglish · 1 year agomessage-square37linkfedilink
minus-square Malgas ( @Malgas@beehaw.org ) linkfedilinkEnglisharrow-up10·1 year 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-square luciole (he/him) ( @luciole@beehaw.org ) linkfedilinkEnglisharrow-up2·1 year 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.