Exercises with the Material Conditional

Slides:



Advertisements
Similar presentations
Chapter 3 section 2. Please form your groups The 1 st column represents all possibilities for the statement that can be either True or False. The 2 nd.
Advertisements

Symbolic Logic: The Language of Modern Logic
1. Propositions A proposition is a declarative sentence that is either true or false. Examples of propositions: The Moon is made of green cheese. Trenton.
John Rosson Thursday February 15, 2007 Survey of Mathematical Ideas Math 100 Chapter 3, Logic.
Scientific Realism: Overview Kareem Khalifa Department of Philosophy Middlebury College.
CPSC 322, Lecture 21Slide 1 Bottom Up: Soundness and Completeness Computer Science cpsc322, Lecture 21 (Textbook Chpt 5.2) February, 27, 2009.
Logic 2 The conditional and biconditional
Boolean Algebra Computer Science AND (today is Monday) AND (it is raining) (today is Monday) AND (it is not raining) (today is Friday) AND (it is.
CPSC 322, Lecture 21Slide 1 Bottom Up: Soundness and Completeness Computer Science cpsc322, Lecture 21 (Textbook Chpt 5.2) March, 5, 2010.
Existential Introduction Kareem Khalifa Department of Philosophy Middlebury College.
Conditional Statements & Material Implication Kareem Khalifa Department of Philosophy Middlebury College.
Conditional Statements
Propositional Logic Lecture 2: Sep 9. Conditional Statement If p then q p is called the hypothesis; q is called the conclusion “If your GPA is 4.0, then.
Tweedledum: “I know what you’re thinking, but it isn’t so. No how.” Tweedledee: “Contrariwise, if it was so, it might be; and if it were so, it would be;
Latin American Countries Map Review. Mexico Nicaragua Panama Colombia Haiti Puerto Rico Jamaica Honduras The Bahamas Cuba United States Belize Guatemala.
First Symbolic Exercises
1 Propositional Logic Section Definition A proposition is a declarative sentence that is either true or false but not both nor neither Any proposition.
CSCI2110 – Discrete Mathematics Tutorial 8 Propositional Logic Wong Chung Hoi (Hollis)
The Foundations: Logic and Proofs
Philosophy of science in a nutshell Kareem Khalifa Middlebury College Department of Philosophy.
Propositional Logic.
Things that you need to know about Spanish Language.
Section 1-4 Logic Katelyn Donovan MAT 202 Dr. Marinas January 19, 2006.
Course Outline Book: Discrete Mathematics by K. P. Bogart Topics:
CS 285- Discrete Mathematics Lecture 2. Section 1.1 Propositional Logic Propositions Conditional Statements Truth Tables of Compound Propositions Translating.
Chapter 1 The Logic of Compound Statements. Section 1.1 Logical Form and Logical Equivalence.
© Jalal Kawash 2010 Logic Peeking into Computer Science.
Deduction, Induction, & Truth Kareem Khalifa Department of Philosophy Middlebury College.
Thomasson on Ontological Commitment & Parsimony Kareem Khalifa Philosophy Department Middlebury College.
MATH 102 Contemporary Math S. Rook
Logic & Propositions Kareem Khalifa Department of Philosophy Middlebury College.
Logical Form and Logical Equivalence Lecture 2 Section 1.1 Fri, Jan 19, 2007.
Quantifiers, Predicates, and Names Kareem Khalifa Department of Philosophy Middlebury College Universals, by Dena Shottenkirk.
Symbolic Language and Basic Operators Kareem Khalifa Department of Philosophy Middlebury College.
Discrete Mathematics Lecture1 Miss.Amal Alshardy.
Intuitionism Kareem Khalifa Philosophy Department Middlebury College.
Logic Review. FORMAT Format Part I 30 questions 2.5 marks each Total 30 x 2.5 = 75 marks Part II 10 questions Answer only 5 of them! Total 5 x 5 marks.
Semantics: Warm-Up Kareem Khalifa Philosophy Department Middlebury College.
Truth Tables and Validity Kareem Khalifa Department of Philosophy Middlebury College pqrSp v qr & s~(p v q)~p~q~p & ~q~(p v q) -> (r & s) (~p & ~q) ->
Boolean Algebra. Logical Statements A proposition that may or may not be true:  Today is Monday  Today is Sunday  It is raining.
LOGIC Lesson 2.1. What is an on-the-spot Quiz  This quiz is defined by me.  While I’m having my lectures, you have to be alert.  Because there are.
Hypothetical Derivations Kareem Khalifa Department of Philosophy Middlebury College.
Conditional Statements
How do I show that two compound propositions are logically equivalent?
Logical Form and Logical Equivalence Lecture 1 Section 1.1 Wed, Jan 12, 2005.
Boolean Algebra Monday/Wednesday 7th Week. Logical Statements Today is Friday AND it is sunny. Today is Friday AND it is rainy. Today is Monday OR it.
1 Propositional Logic Introduction. 2 What is propositional logic? Propositional Logic is concerned with propositions and their interrelationships. 
Section 1.1. Section Summary Propositions Connectives Negation Conjunction Disjunction Implication; contrapositive, inverse, converse Biconditional Truth.
TRUTH TABLES. Introduction The truth value of a statement is the classification as true or false which denoted by T or F. A truth table is a listing of.
Statement Forms and Material Equivalence Kareem Khalifa Department of Philosophy Middlebury College.
UNIT 01 – LESSON 10 - LOGIC ESSENTIAL QUESTION HOW DO YOU USE LOGICAL REASONING TO PROVE STATEMENTS ARE TRUE? SCHOLARS WILL DETERMINE TRUTH VALUES OF NEGATIONS,
The Language of Arguments Kareem Khalifa Department of Philosophy Middlebury College.
رياضيات متقطعة لعلوم الحاسب MATH 226. Text books: (Discrete Mathematics and its applications) Kenneth H. Rosen, seventh Edition, 2012, McGraw- Hill.
Section 1.1. Propositions A proposition is a declarative sentence that is either true or false. Examples of propositions: a) The Moon is made of green.
Conditional Statements Lecture 2 Section 1.2 Fri, Jan 20, 2006.
Conditional statement or implication IF p then q is denoted p ⇒ q p is the antecedent or hypothesis q is the consequent or conclusion ⇒ means IF…THEN.
Theorems and Shortcuts Kareem Khalifa Department of Philosophy Middlebury College.
Translating Or A unless B The simplest translation: AvB.
Chapter 1. Chapter Summary  Propositional Logic  The Language of Propositions (1.1)  Logical Equivalences (1.3)  Predicate Logic  The Language of.
Luper on Epistemic Relativism Kareem Khalifa Philosophy Department Middlebury College.
The Problem of the External World Kareem Khalifa Philosophy Department Middlebury College.
Logical Operators (Connectives) We will examine the following logical operators: Negation (NOT,  ) Negation (NOT,  ) Conjunction (AND,  ) Conjunction.
Discrete Structures for Computer Science Presented By: Andrew F. Conn Slides adapted from: Adam J. Lee Lecture #1: Introduction, Propositional Logic August.
Logical functors and connectives. Negation: ¬ The function of the negation is to reverse the truth value of a given propositions (sentence). If A is true,
Symbolic Language and Basic Operators
Latin American Countries Map Review
Propositions & Arguments
Symbolization Review.
Recognizing arguments
Universal Elimination
Presentation transcript:

Exercises with the Material Conditional Kareem Khalifa Department of Philosophy Middlebury College

Overview Surprise! Brief Digression: “Unless” Exercises

Unless The rule: translate “unless” as “v” But why? “p unless q” = “p if not q” Ex. You will be free of logic on Friday, unless you’re in Section X. If you’re not in Section X, you’ll be free of logic on Friday. So “p unless q” = “~q  p” Next step: show that “~q  p” = “p v q”

“p unless q” = “~q  p” = “p v q” T F F T T T F T T F

Unless: Recap It is natural to interpret “p unless q” as “p, if not q” “p, if not q” is equivalent to “p v q” So “p unless q” is naturally interpreted as “p v q”

But doesn’t ‘unless’ entail an exclusive “or”? Often, but not always. Ex. “The picnic will be held unless it rains.” What happens if it rains? Exclusive “or/unless”: no picnic. However, the speaker may mean that it will be held indoors, in which case, there is a picnic and it rains. Inclusive “or/unless.”

Exercise A2 A  X T  F F

Exercise A9 A  (B  Z) T  (T  F) T  (F) F

Exercise A19 [(A & X)  C]  [(A  X)  C] [(T & F)  T]  [(T  F)  T] [(F)  T]  [(F)  T] [T]  [T] T

Exercise A24 [(A & X)  Y]  [(A  X) & (A Y)] [(T & F)  F]  [(T  F) & (T  F)] [(F)  F]  [(F) & (F)] [T]  [F] F

Exercise C2 If Argentina mobilizes then either Brazil will protest to the UN or Chile will call for a meeting of all Latin American states. A  (B v C)

Exercise C4 If Argentina mobilizes then Brazil will protest to the UN, and Chile will call for a meeting of all Latin American states. (A  B) & C

Exercise C8 If Argentina does not mobilize then either Brazil will not protest to the UN or Chile will not call for a meeting of all the Latin American states. ~A  (~B v ~C)

Exercise C21 Argentina’s mobilizing is a sufficient condition for Brazil to protest to the UN. A  B

Exercise C22 Argentina’s mobilizing is a necessary condition for Chile to call for a meeting of all the Latin American states. CA

Exercise C24 If Argentina mobilizes and Brazil protests to the UN, then either Chile or the Dominican Republic will call for a meeting of all the Latin American states. (A&B)  (C v D)