1-11 von 11
-
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 ... -
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 ... -
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 ...
« Zurück |
S. 1 von 1 |
Weiter »