Foundations of Logic (Cognitive Science)

Der Kurs

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

1

Basic Notation (48 Karten)
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

Semantic Trees (10 Karten)
Rules to develop the semantic tree of any given sentence of PropLog.
3

Propositional Logic: Primitive Rules of Proof (11 Karten)
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

Propositional Logic: Proof Strategies (8 Karten)
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 ...