Propositional Logic: Primitive Rules of Proof (Kartei)

11 Karteikarten

• 1
  Which rules do exist?

  # Assumption # Roof-elim # Wedge-intro # Wedge-elim # ...
• 2
  Assumption

  Assume any sentence. ...
• 3
  Roof-intro

  Given two sentences (at lines m and n), conclude a ...
• 4
  Roof-elim

  Given a sentence that is a conjunction (at line m), ...
• 5
  Wedge-intro

  Given a sentence (at line m), conclude any disjunction ...
• 6
  Wedge-elim

  Given a sentence (at line m) that is a disjunction and ...
• 7
  Arrow-intro

  Given a sentence (at line n), conclude a conditional having ...
• 8
  Arrow-elim

  Given a conditional sentence (at line m) and another ...
• 9
  Reductio ad absurdum

  Given both a sentence and its denial (at lines m and n), ...
• 10
  Double-arrow-intro

  Given two conditional sentences having the fors a->b and ...
• 11
  Double-arrow-elim

  Given a biconditional sentence a<->b (at line m), conclude ...