3 ms·

De Morgan's law is just "not all true <=> at least one's false". I'm not sure why people complicate it beyond that.

• blattimwind 8y ago
  In university I had a course (curse?) called "logic in formal systems" (or something like that); I doubt many using only the course's materials truly understood the logic principles demonstrated there. Coincidentally, the course insisted on using ∧, ∨, ¬ etc., while another course also dabbling in a lot of logic using natural symbols was far better in terms of presentation and explanations. (To this day I have to look ∧, ∨, con- and disjunction up to be sure which is which).
  • Izkata 8y ago
    > To this day I have to look ∧, ∨, con- and disjunction up to be sure which is which Tip: ∧ is shaped like the "A" in "And". Hopefully others know tricks for the other symbols.
    • blattimwind 8y ago
      > Tip: ∧ is shaped like the "A" in "And". Meanwhile ∨ is shaped like the "U" in "Und" ...