Logic

• Introduction
• truth table template
• Propositions
• Compound Statements
   [ the examples  |  solution to the examples ]

• Implication
• Evaluation
   [ the examples  |  solution to the examples ]

• Equivalence
• Arguments
• Argument Forms
• Substitutions
• Inferences
• Justification
• Proof
• Predicates