2. Propositional Inference Suppose you want to show: A ? B ? (B ? D) ? ((A ? D) ? E) ? ((B ? C) ? F) ? (A ? C) ? (F ? G) ? G (a) Draw the diagram we used in the video for forward and backward chaining. (b) Indicate the order in which symbols are popped from the agenda by forward chaining (c) Indicate the order in which subgoals are added to the stack by backwards chaining (d) Prove the entailment using resolution. (You do not need to show every clause generated, just those on the path to G. (e) Draw the tree of models explored by DPLL
Added by David S.
Close
Step 1
Convert the given statements into CNF (Conjunctive Normal Form): - $A \land B \land (B \Leftrightarrow D) \land ((A \land D) \Leftrightarrow E) \land ((B \land C) \Leftrightarrow F) \land (A \Leftrightarrow C) \land (F \Leftrightarrow G) \land FG$ Show more…
Show all steps
Your feedback will help us improve your experience
Sri K and 54 other Calculus 3 educators are ready to help you.
Ask a new question
Labs
Want to see this concept in action?
Explore this concept interactively to see how it behaves as you change inputs.
Key Concepts
Recommended Videos
Statements Reasons 1. q ^ r given 2. ¬(¬p ^ q) given 3. ¬¬p ∨ ¬q 4. p ∨ ¬q 5. ¬q ∨ p 6. q → p 7. q 8. p
Shaiju T.
Properties of Logical Equivalence. Denote by T and F a tautology and a contradiction, respectively. We have the following properties for any propositional variables p, q, and r: 1. Commutative properties: p ∨ q ≡ q ∨ p p ∧ q ≡ q ∧ p 2. Associative properties: p ∨ (q ∨ r) ≡ (p ∨ q) ∨ r p ∧ (q ∧ r) ≡ (p ∧ q) ∧ r 3. Distributive laws: p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r) p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r) 4. Idempotent laws: p ∨ p ≡ p p ∧ p ≡ p 5. De Morgan's laws: p ∨ q ≡ p̅ ∧ q̅ p ∧ q ≡ p̅ ∨ q̅ 6. Inverse laws: p ∨ p̅ ≡ T p ∧ p̅ ≡ F 7. Identity laws: p ∨ F ≡ p p ∧ T ≡ p 8. Domination laws: p ∨ T ≡ T p ∧ F ≡ F 9. Equivalence of an implication and its contrapositive: p → q ≡ q̅ → p̅ 10. Implication as disjunction: p → q ≡ p̅ ∨ q
Adi S.
Consider the following reduction ad absurdum proof in propositional logic. A combination of derivation lines (to the left, after the line numbers) and justification lines (to the right) are missing. Fill in the blanks. 1. (A v B) ⊃ (C . D) Premise 2. C ⊃ ~ D Premise/ Show ~ A 3. A Assumption for purposes of indirect proof 4. ___ 3, Add 5. C . D 1, 4, MP 6. C 5, Simp 7. ~ D ___ 8. D 8, Simp 9. D . ~ D 7, 8, Conj 10. A ⊃ (D . ~ D) 3– 9, Indirect Proof A v B; 2,6, MP; NC; ~ A A . B; 2,5 MP; DM, 9,10 MP A ⊃ B; 2,6 MP; 2 DN; ~ A A . B; 2,5 MP; NC; 9,10 DN
Sri K.
Recommended Textbooks
Calculus: Early Transcendentals
Thomas Calculus
Transcript
18,000,000+
Students on Numerade
Trusted by students at 8,000+ universities
Watch the video solution with this free unlock.
EMAIL
PASSWORD