Post #4274084

@rzeta0@mathstodon.xyz Idk. While going down a Wikipedia rabbit trail about logic, I found something called https://en.wikipedia.org/wiki/Intuitionistic_logic . I don't know a lot about it, but apparently implication works differently in it. Might be a lead https://en.wikipedia.org/wiki/Material_implication_(rule_of_inference)#Differences_with_implication_in_intuitionistic_logic