bookwyr.meSaturday Morning Breakfast Cereal - Disjunction
submitted by
Otterhttps://www.smbc-comics.com/comics/1753229445-20250725.png
https://www.smbc-comics.com/comics/1753229445-20250725.png
Is that Bobby Tables all grown up?
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.