User talk:GlobeGores/Ganto's Ax

Improper use of a wedge for

(p -> q) V (~p -> q)

... even if it's inclusive, the emphasis should still be on the conjuction element, from which

(p V ~p) -> q

still follows.

207.237.84.14 (talk) 01:12, 19 September 2008 (UTC)