I will not study discrete math or i will study physics

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

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.” Simplifica$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.

Ask a homework question - tutors are online