Class Notes (839,150)
Canada (511,218)
York University (35,583)
MODR 2640 (8)
all (8)
Lecture

T November 8, 2011.pdf

2 Pages
65 Views

Department
Modes Of Reasoning
Course Code
MODR 2640
Professor
all

This preview shows 80% of the first page. Sign up to view the full 2 pages of the document.
Description
T November 8, 2011 Tuesday,November08, 2010:48 AM Chapter 4: Proofs - 2 important differencesbetween truth tables and proofs ○ 1) Truth tables are mechanical--proofsrequire thought ○ 2) Truth tables always get a definite answer-- proofsmay not yieldan answer - 3 things need to know: substitutioninstance, rules,and how to use rules - Variables--lower case p, q, r;can be replacedby anystatement - Constants--capital letters, expressesparticular statements - Argument form ○ p v q ○ ~p ○ ∴ q ○ An argument is a substitutioninstance of a form if youcan get fromthe form to the argument just by replacingvariables with statements. Valid Argument Forms: 1. mod
More Less
Unlock Document

Only 80% of the first page are available for preview. Some parts have been intentionally blurred.

Unlock Document
You're Reading a Preview

Unlock to view full version

Unlock Document

Log In


OR

Join OneClass

Access over 10 million pages of study
documents for 1.3 million courses.

Sign up

Join to view


OR

By registering, I agree to the Terms and Privacy Policies
Already have an account?
Just a few more details

So we can recommend you notes for your school.

Reset Password

Please enter below the email address you registered with and we will send you a link to reset your password.

Add your courses

Get notes from the top students in your class.


Submit