Image talk:Propositional logic.png

From Wikipedia, the free encyclopedia

[edit] Material Equivalence

There is an error on material equivalence, both conditions are necessary to make p equivalent to q:

  • image: (p is equiv. to q) means, either (if p is true then q is true) or (if q is true then p is true)
    • (p \equiv q) \equiv [(p \rightarrow q) \or (q \rightarrow p)]
  • correct: (p is equiv. to q) means, (if p is true then q is true) and (if q is true then p is true)
    • (p \equiv q) \equiv [(p \rightarrow q) \and (q \rightarrow p)]

external link