Karteikarten
Rules of inference
Karten in diesem Stapel (14)
- 1Argumentsequences of statements that end with a conclusion
- 2Validfinal of the argument,must follow from the truth from the proceeding statements
- 3Modus ponens(p∧(p → q))→ q
- 4Modus tollens(¬q ∧(p → q))→¬p
- 5Hypothetical syllogism((p → q)∧(q → r))→ (p → r)
- 6Disjunctive syllogism((p∨q)∧¬p)→ q
- 7Additionp → (p∨q)
- 8Simplification(p∧q)→ p
- 9Conjunction((p)∧(q)) → (p∧q)
- 10Conjunction((p)∧(q)) → (p∧q)
- 11Resolution((p∨q)∧(¬p∨r))→ (q ∨r)
- 12What is the rule of inference with the sentence? "it is below freezing now. Therefore, it is either below freezing or raining now."This is an argument that uses the addition rule
p->(p v q) - 13State the rule of inference "It is below freezing and raining now. Therefore, it is below freezing now"Simplification rule
- 14State rule of reference "If it rain today, then we will not have a barbecue today. If we do not have a barbecue today then we will have a barbecue tomorrow. Therefore, if it rains today, then we will have a barbecue tomorrow.hypothetical syllogism
Informationen
- Beschreibung
- This describes the rules that are needed to imply something.
- Erstellt von
- wannabeCoastie
- Aufrufe
- 30
- Tags
- Bewertung