Foundations of Logic (Cognitive Science) (course)

The Course

Inhalte der Vorlesung "Foundations of Logic" des Studiengangs Cognitive Science an der Universität Osnabrück.

The 4 Lessons

1. 1
   

   Basic Notation (48 cards)

   argument: A pair of two things: # A set of sentences, the premises # A sentence, the conclusion, validity: An argument is valid if and only if it is necessary that if all its premises are true, its conclusion is true., entailment: When an argument is valid we say that its premises entail its ...

    
2. 2
   

   Semantic Trees (10 cards)

   Rules to develop the semantic tree of any given sentence of PropLog.

    
3. 3
   

   Propositional Logic: Primitive Rules of Proof (11 cards)

   Which rules do exist?: # Assumption # Roof-elim # Wedge-intro # Wedge-elim # Arrow-intro # Arrow-elim # Reductio ad absurdum # Double-arrow-intro # Double-arrow-elim, Assumption: Assume any sentence. http://www.mindpicnic.de/media/img/user/andreas-44331-bild1.png, Roof-intro: Given two sentences ...

    
4. 4
   

   Propositional Logic: Proof Strategies (8 cards)

   The conclusion is a literal (e.g. p): - Constructive proof; usually no additional assumptions necessary. - Otherwise: RAA, The conclusion is a negated literal (e.g. ¬p): - At least one RAA necessary # Assume ¬conclusion # Try to get contratiction # Use RAA to prove the conclusion and get rid of ...

    

Information