Sect 1. Propositional Logic

CONCEPTS
  
  Proposition
  Boolean value, true, false, boolean variable
  Connectives: negation, conjunction, disjunction,
               exclusive or, conditional, biconditional
  Truth table, propositional calculus
  Tautology, Contradiction, Contingency
  Logical Equivalence, some De Morgan's Laws
  Conditional: antecendent, consequent, converse, contrapositive
  Difference between Proposition and Predicate
  
  Proof: direct, indirect, exhaustive, contradition
  
  Rule of inference
  
  NB Some keywords have synonums, e.g., conjunction = and
  and have different notation and = &&.

NOTATION

SKILLS
  
  1. Identify concepts in a context
     E.g., which is the antecendent in "if A then B"
     E.g., how do you call the proposition "A and (not A)"
  2. Evaluate compound propositions
     E.g., what is the value of "A and B", if both A and B are true
     E.g., for which values of B the proposition "false and B" is true
  3. Prove/disprove simple statements
     E.g., if x is even, then the square of x is even
     E.g., if a divides b*c, then a divides b or c
  
SOURCES

  *** Recommended ***
  Tutorialpoints: Discrete Mathematics - Propositional Logic
  https://www.tutorialspoint.com/discrete_mathematics/discrete_mathematics_propositional_logic.htm

  *** Recommended ***
  Wikibooks: Discrete Mathematics/Logic (lots of exercises)
  https://en.wikibooks.org/wiki/Discrete_Mathematics/Logic

  *** Recommended ***
  Youtube: Basic Concepts in Propositional Logic by Kevin deLaplante, videos 1-19
  http://www.youtube.com/playlist?list=PL619166130C21EADA
  
  Wikibooks: Logic for Computer Scientists, section 4 (a bit off, but motivating)
  https://en.wikibooks.org/wiki/Logic_for_Computer_Scientists

  Wikibooks: Formal Logic/Sentential Logic (a bit heavy)
  https://en.wikibooks.org/wiki/Formal_Logic/Sentential_Logic

  Wikibooks: https://en.wikibooks.org/wiki/Logic_for_Computer_Science/Propositional_Logic (logic computations)
  https://en.wikibooks.org/wiki/Logic_for_Computer_Science/Propositional_Logic

  *** Recommended ***
  Lerma, sect 1.1, 1.2.1, concepts of 1.3.2 (not all the inference rules)
  
  Smid 2.2 has many examples of proofs
  
  LLM sect 3.1, 3.2, 3.3 for propositional calculus
  LLM sect 1 for proofs
  
  ADS sect 3.1, 3.2, 3.3, 3.4 for propositional calculus, lot of examples and exercises
  ADS sect 3.5 for proofs
  
  BDS Sect 3.1 for propositional calculus and proofs
  
  Hammack sect 2.1-2.6 2.8-2.12 for propositional calculus, lot of examples and exercises

TESTING

  Boolean Calculator by Lawrence E. Turner,
  http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/

  Truth Tables by Wolfram,
  https://www.wolframalpha.com/input/?i=boolean+algebra&wal=header