This preview shows page 1. Sign up to view the full content.
Unformatted text preview: th or I will study physics.” “I will not study discrete math.” “Therefore, I will study physics.” Addi$on Corresponding Tautology: p → (p ∨ q) Example: Let p be “I will study discrete math.” Let q be “I will visit Las Vegas.” “I will study discrete math.” “Therefore, I will study discrete math or I will visit Las Vegas.” Simpliﬁca$on Corresponding Tautology: (p ∧ q) → q Example: Let p be “I will study discrete math.” Let q be “I will study physics.” “I will study discrete math and physics” “Therefore, I will study physics.” Conjunc$on Corresponding Tautology: (p ∧ q) → (p ∧ q) Example: Let p be “I will study discrete math.” Let q be “I will study physics.” “I will study discrete math.” “I will study physics.” “Therefore, I will study discrete math and I will study physics.” Resolu$on Corresponding Tautology: ((¬p ∨ r ) ∧ (p ∨ q)) → (q ∨ r) Example: Let p be “I will study discrete math.” Let r be “I will study physics.” Let q be “I will study databases.” “I will not study discrete math or I will study physics.” “I will study discrete math or I will study databases.” “Therefore, I will study databases or I will study physics.” Valid Arguments Example 1: from the single proposition Show that q is a conclusion. Solution: Valid Argum...
View
Full
Document
This document was uploaded on 02/27/2014 for the course CS 215 at SIU Carbondale.
 Spring '14
 M.Nojoumian
 Computer Science

Click to edit the document details