Content deleted Content added
Gene.arboit (talk | contribs) No edit summary |
|||
Line 22:
:Agreed. [[User:Amerindianarts|Amerindianarts]] 09:48, 13 September 2005 (UTC)
::I think I see the point. (''B'' → ''C'') → ''A'', i.e. (''B'' ∧ ¬ ''C'') ∨ ''A'', is not equivalent to ''C'' → (''A'' ∧ ''B''), i.e. ¬ ''C'' ∨ (''A'' ∧ ''B''). Should this be mentioned in the ''converse'' article, perhaps? [[User:Gene.arboit|Gene.arboit]] 02:57, 14 September 2005 (UTC)
|