willow: "For all women w, if w is cunty (C), then person p loves (L) w. ∀wC(w) -> L(p,w) ∃w~C(w) -> ~L(p,w) does not follow"

Alt Text

Show parent replies

The post below is a reply to another user

For all women w, if w is cunty (C), then person p loves (L) w. ∀wC(w) -> L(p,w) ∃w~C(w) -> ~L(p,w) does not follow

July 25, 2024 at 1:44 PM

much less the stronger claim H(p,w)! that’s entirely unrelated!