Online Proof lernen
Mit Mindpicnic kannst du sofort und ohne Software-Download mit dem Lernen von Vokabeln und Texten zum Thema Proof beginnen. Im Gegensatz zu herkömmlicher Lernsoftware findet beim E-Learning das Lernen und Wiederholen online statt. Jetzt mehr erfahren!
2 Karteien
-
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 ...