Talk:Converse (logic): Difference between revisions

Content deleted Content added
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)