𝙈𝙞𝙖@quokk.au to Programmer Humor@programming.devEnglish · 2 days agoParadoxquokk.auimagemessage-square61linkfedilinkarrow-up1818arrow-down117
arrow-up1801arrow-down1imageParadoxquokk.au𝙈𝙞𝙖@quokk.au to Programmer Humor@programming.devEnglish · 2 days agomessage-square61linkfedilink
minus-squarewonderingwanderer@sopuli.xyzlinkfedilinkarrow-up2arrow-down1·2 days agoI think that would be a contrapositive, as the truth table is the same; unlike a converse or an inverse where the truth tables would be opposite But we’re also working with inductive logic here, so maybe truth tables aren’t the right tool to use anyway
I think that would be a contrapositive, as the truth table is the same; unlike a converse or an inverse where the truth tables would be opposite
But we’re also working with inductive logic here, so maybe truth tables aren’t the right tool to use anyway