Often the universal quantier needed for a precise

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: Example: Our domain consists of all students and c: Alice is a student. “There is a student who got an A in the course.” “Therefore, Alice got an A in the course.” Existen$al Generaliza$on (EG) Example: “Alice got an A in the class.” “Therefore, There is a student who got an A in the class.” Using Rules of Inference Example 1: construct a valid argument to show that “John Smith has two legs.” is a consequence of the premises: “Every man has two legs.” “John Smith is a man.” Solution: Let M(x) denote “x is a man” and L(x) “x has two legs” and let John Smith be a member of the domain Using Rules of Inference Example 2: construct a valid argument showing that “Someone who passed the first exam has not read the book.” follows from the premises “A student in this class has not read the book.” “Everyone in this class passed the first exam.” Solution: Let C(x) denote “x is in this class,” B(x) denote “ x has read the book,” and P(x) denote “x passed the first exam.” Using Rules of Infe. Solu$on for Socrates Example Proofs of Mathema$cal Statements —༉  Proof is a valid argument that shows the truth of a statement. —༉  In math, CS, and other disciplines, informal proofs are used. —༉  —༉  —༉  —༉  —༉  More than one rule of inference are often used in a step. Steps may be skipped. The rules of inference used are not explici...
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