@golemwire@social.golemwire.com
Post #4274080
2026-07-18 20:04 UTC
@rzeta0@mathstodon.xyz p ⇒ q is the same as ~p ∨ q. So, p ⇒ q is false only when p is true and q is false.
false ⇒ true is true, so it looks like "X is true only if Y is true" is wrong.
Replies (1)
-
@rzeta0@mathstodon.xyz 2026-07-18 21:00
@golemwire i wonder if it is a typo? my thinking is the same as yours