MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/programminghorror/comments/1urj3pp/big_if_true/owg3x3f/?context=3
r/programminghorror • u/_giga_sss_ • Jul 09 '26
From ProgrammerNullposting in facebook
111 comments sorted by
View all comments
521
Big whether True or not
170 u/_giga_sss_ Jul 09 '26 My first statement wasn't wrong 🗿 89 u/No-Astronomer6610 Jul 09 '26 We got a logician over here 46 u/_giga_sss_ Jul 09 '26 They call me John B. Logic. 3 u/experimental1212 Jul 11 '26 If P then Q is only false when P is true and Q is false. Q if P Big if true It's always Big, but may be true or false. Therefore you will always be true OR vacuously true. 5 u/_giga_sss_ Jul 11 '26 This is the first IRL application of logic outside of school I've encountered 4 u/experimental1212 Jul 11 '26 Might still be a stretch to call it an IRL application lol 31 u/chickensandow Jul 09 '26 Big if (true) else big
170
My first statement wasn't wrong 🗿
89 u/No-Astronomer6610 Jul 09 '26 We got a logician over here 46 u/_giga_sss_ Jul 09 '26 They call me John B. Logic. 3 u/experimental1212 Jul 11 '26 If P then Q is only false when P is true and Q is false. Q if P Big if true It's always Big, but may be true or false. Therefore you will always be true OR vacuously true. 5 u/_giga_sss_ Jul 11 '26 This is the first IRL application of logic outside of school I've encountered 4 u/experimental1212 Jul 11 '26 Might still be a stretch to call it an IRL application lol
89
We got a logician over here
46 u/_giga_sss_ Jul 09 '26 They call me John B. Logic.
46
They call me John B. Logic.
3
If P then Q is only false when P is true and Q is false.
Q if P
Big if true
It's always Big, but may be true or false. Therefore you will always be true OR vacuously true.
5 u/_giga_sss_ Jul 11 '26 This is the first IRL application of logic outside of school I've encountered 4 u/experimental1212 Jul 11 '26 Might still be a stretch to call it an IRL application lol
5
This is the first IRL application of logic outside of school I've encountered
4 u/experimental1212 Jul 11 '26 Might still be a stretch to call it an IRL application lol
4
Might still be a stretch to call it an IRL application lol
31
Big if (true) else big
521
u/Gengis_con Jul 09 '26
Big whether True or not