{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

LogicalConn012011 - ADVENTURES IN LOGIC FOR UNDERGRADUATES...

Info icon This preview shows pages 1–8. Sign up to view the full content.

View Full Document Right Arrow Icon
ADVENTURES IN LOGIC FOR UNDERGRADUATES by Harvey M. Friedman Distinguished University Professor Mathematics, Philosophy, Computer Science Ohio State University LECTURE 1: LOGICAL CONNECTIVES (this text incorporates minor corrections to the text displayed in the lecture)
Image of page 1

Info icon This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
LECTURE 1. LOGICAL CONNECTIVES. Jan. 18, 2011 LECTURE 2. LOGICAL QUANTIFIERS. Jan. 25, 2011 LECTURE 3. TURING MACHINES. Feb. 1, 2011 LECTURE 4. GÖDEL’S BLESSING AND GÖDEL’S CURSE. Feb. 8, 2011 LECTURE 5. FOUNDATIONS OF MATHEMATICS Feb. 15, 2011 SAME TIME - 10:30AM SAME ROOM - Room 355 Jennings Hall
Image of page 2
AND, OR, NOT We start with one common way of connecting sentences. Suppose I tell you Mike is a wibel AND Jane is a zibel I don't know about you, but I don't know what this means! But there is something about this sentence that we do know. This sentence, taken as a whole, is true or false according to whether its two constituents are true or false. AND is an example of a logical connective. OR, NOT are also examples of logical connectives:
Image of page 3

Info icon This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
AND, OR, NOT Mike is a wibel OR Jane is a zibel Again, this sentence, taken as a whole, is true or false according to whether its two constituents are true or false. Mike is not a wibel This sentence, taken as a whole, is true or false according to whether its one constituent is true or false. What is the rule that determines the truth value of these three example sentences in terms of the truth values of their constituents? TRUTH VALUES: T if true; F if false.
Image of page 4
RULES FOR AND, OR, NOT THE TRUTH TABLES Using letters for the constituents, we write A B (A and B) A B (A or B) ¬A (not A) There are four possibilities for A,B. A B A B A B ¬A T T T T F T F F T F F T F T T F F F F T
Image of page 5

Info icon This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
LOGICAL EQUIVALENCE: REDUCING CONNECTIVES Two formulas are logically equivalent (written ) if and only if they have the same truth values under the same assignments of truth values to their aggregate letters. E.g., (A B) (B A) (C ¬C) It is also easy to check that A B ¬(¬A ¬B) A B ¬(¬A ¬B) CHALLENGE. Every propositional formula in ¬, is logically equivalent to one in ¬, . Every propositional formula in ¬, is logically equivalent to one in ¬, . (Use induction).
Image of page 6
COMPLETENESS OF CONNECTIVE SETS We have been using the connective set ¬, , . This set is logically complete in the following sense. Let S be a set of assignments of truth values to the letters A 1 ,...,A n , n 1. There is a propositional formula in ¬, , ,A 1 ,...,A n which has truth value T under exactly the assignments in S. Because of the reductions from the last slide, we conclude that the connective sets {¬, } and {¬, } are also complete. The connective set { , } is not complete because every propositional formula in { , ,A} is T under some assignment.
Image of page 7

Info icon This preview has intentionally blurred sections. Sign up to view the full version.

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

{[ snackBarMessage ]}

What students are saying

  • Left Quote Icon

    As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

    Student Picture

    Kiran Temple University Fox School of Business ‘17, Course Hero Intern

  • Left Quote Icon

    I cannot even describe how much Course Hero helped me this summer. It’s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

    Student Picture

    Dana University of Pennsylvania ‘17, Course Hero Intern

  • Left Quote Icon

    The ability to access any university’s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLA’s materials to help me move forward and get everything together on time.

    Student Picture

    Jill Tulane University ‘16, Course Hero Intern