Otter@lemmy.ca to Comic Strips@lemmy.worldEnglish · edit-214 days ago'Disjunction' - Saturday Morning Breakfast Cerealwww.smbc-comics.comimagemessage-square3linkfedilinkarrow-up1147arrow-down13file-text
arrow-up1144arrow-down1image'Disjunction' - Saturday Morning Breakfast Cerealwww.smbc-comics.comOtter@lemmy.ca to Comic Strips@lemmy.worldEnglish · edit-214 days agomessage-square3linkfedilinkfile-text
minus-squareemb@lemmy.worldlinkfedilinkarrow-up5·14 days agoWait, technically, is that disjunction vacuously true? I thought that term meant the premise wasn’t true. And I’d think 1=1 is instead just regular true.
minus-squarepinball_wizard@lemmy.ziplinkfedilinkarrow-up4·14 days agoIt means the premise may or may not be true, since the vacuous truth OR-ed into it makes the overall statement true…OR 1=1.
Wait, technically, is that disjunction vacuously true? I thought that term meant the premise wasn’t true. And I’d think 1=1 is instead just regular true.
It means the premise may or may not be true, since the vacuous truth OR-ed into it makes the overall statement true…OR 1=1.