Logic Day Two.

Slides:



Advertisements
Similar presentations
3.4 More on the Conditional
Advertisements

Geometry Logic.
Logic ChAPTER 3.
The Conditional & Biconditional MATH 102 Contemporary Math S. Rook.
Types of Conditionals Geometry. The converse of a conditional statement is formed by switching the hypothesis and conclusion. p: x is prime. q: x is odd.
 Writing conditionals  Using definitions as conditional statements  Writing biconditionals  Making truth tables.
Notes on Logic Continued
Chapter 1 The Logic of Compound Statements. Section 1.2 – 1.3 (Modus Tollens) Conditional and Valid & Invalid Arguments.
Conditional Statements
Conditional Statements and Logic 2.2 Ms. Verdino.
Conditional Statements
Conditional Statements youtube. com/watch SOL: G.1a SEC: 2.3.
Welcome to Interactive Chalkboard 2.3 Conditional Statements.
Chapter 1 Section 1.4 More on Conditionals. There are three statements that are related to a conditional statement. They are called the converse, inverse.
Conditional Statements M Deductive Reasoning Proceeds from a hypothesis to a conclusion. If p then q. p  q hypothesis  conclusion.
Truth, like gold, is to be obtained not by its growth, but by washing away from it all that is not gold. ~Leo Tolstoy.
Section 1-4 Logic Katelyn Donovan MAT 202 Dr. Marinas January 19, 2006.
2.3 Analyze Conditional Statements. Objectives Analyze statements in if-then form. Analyze statements in if-then form. Write the converse, inverse, and.
(CSC 102) Lecture 3 Discrete Structures. Previous Lecture Summary Logical Equivalences. De Morgan’s laws. Tautologies and Contradictions. Laws of Logic.
Logic and Reasoning. Identify the hypothesis and conclusion of each conditional. Example 1: Identifying the Parts of a Conditional Statement A.If today.
Conditional. Conditional Statements Vocabulary Conditional: A compound sentence formed by using the words if….then. Given the simple sentences p and q,
Lesson 2-3 Conditional Statements. 5-Minute Check on Lesson 2-2 Transparency 2-3 Use the following statements to write a compound statement for each conjunction.
Wednesday, October 24 th Aim: In what other ways can we potentially change the truth value of a conditional statement? Do Now: Write a TRUE conditional.
Conditional Statements Lesson 2-1. Conditional Statements have two parts: Hypothesis ( denoted by p) and Conclusion ( denoted by q)
Conditional Statements
CONDITIONALS. Conditional Statement: Any statement that is or can be written in if- then form. That is, If p then q.
Unit 2 Part 1 Conditional, Converse, Inverse, and Contra- Positive Statements.
From conclusions by applying the laws of logic. Symbolic Notation Conditional statement If p, then qp ⟶q Converseq⟶p Biconditional p ⟷ q.
Section 2-1 Conditional Statements. Conditional statements Have two parts: 1. Hypothesis (p) 2. Conclusion (q)
Conditional Statements
Chapter 3: Introduction to Logic. Logic Main goal: use logic to analyze arguments (claims) to see if they are valid or invalid. This is useful for math.
Section 2-2: Conditional Statements. Conditional A statement that can be written in If-then form symbol: If p —>, then q.
Unit 01 – Lesson 07 – Conditional Statements
Lesson Aim: How do we recognize converses, inverses, contrapositive & conditional statements? Lesson Objectives: SWBAT Recognize converses, inverses, contrapositive.
Lesson 20 INTERPRETING TRUTH TABLES. Review Conditional Statements (Less. 17) Original If p, then q. Converse If q, then p. Inverse If ~p, then ~q. Contrapositive.
Conditional Statements – Page 1CSCI 1900 – Discrete Structures CSCI 1900 Discrete Structures Conditional Statements Reading: Kolman, Section 2.2.
Section 1.1. Section Summary Propositions Connectives Negation Conjunction Disjunction Implication; contrapositive, inverse, converse Biconditional Truth.
What is a Biconditional Students will be able to: 1.Rewrite compound sentences in conditional form 2.Find the biconditional of a conditional 3.Tell when/why.
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.
If-then statements April 4, What is an if-then statement? One of the postulates we looked at earlier stated: If B is between A and C, then AB +
Lesson 2-1 Conditional Statements 1 Lesson 2-3 Conditional Statements.
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.
Reasoning and Proof Chapter Use Inductive Reasoning Conjecture- an unproven statement based on an observation Inductive reasoning- finding a pattern.
Chapter 1. Chapter Summary  Propositional Logic  The Language of Propositions (1.1)  Logical Equivalences (1.3)  Predicate Logic  The Language of.
Aim 1.4: To work with conditionals and biconditionals Do Now: Determine the truth value of the following sentences: 1.9 is a prime number and New York.
Logical Operators (Connectives) We will examine the following logical operators: Negation (NOT,  ) Negation (NOT,  ) Conjunction (AND,  ) Conjunction.
Simple Logic.
If – Then Statements Lesson 1.5.
Conditional Statements
Conditional Statements
Conditional Statements
Conditional Statements
Conditional Statements
Conditional Statements
Conditional Statements
Conditional Statements
Conditional Statements
Conditional Statements
Conditional Statements
More Conditional Statements
CHAPTER 3 Logic.
Logic and Reasoning.
2-3 Conditional Statements
Conditional Statements
Conditional Statements
Conditional Statements
Conditional Statements
Different Forms of Conditional Statements
Interpreting Truth tables (biconditional statements)
Presentation transcript:

Logic Day Two

Biconditional The Biconditional is a compound statement that combines 2 conditionals and the connector “and” (p  q)  (q  p). That is (p implies q) and (q implies p). It is written as p  q. A biconditional is called an if and only if statement.

A biconditional statement is only true when both p and q have the same truth values. p  q T F

Two statements are logically equivalent if each statement has the same truth values. To show this we us the logical connector if and only if. In symbolic form if and only if is represented by the symbol:  Example: Prove that pq is logically equivalent to ~pq

p q ~p ~pq pq (p q)  (~p  q) T F

Inverse, Converse and Contrapositives In conducting an argument the conditional statement is the one we use most often. In order to use them correctly we must understand their different forms and how they are related.

The Inverse The inverse is formed by negating both the hypothesis and the conclusion. Example If a number is divisible by 4 then it is also divisible by 2. The inverse: If a number is not divisible by 4 then it is not divisible by 2.

A true conditional can have a false inverse (as seen in the last example). Sometimes a false conditional can have a true inverse. Sometimes both the statement and the inverse have the same truth values.

In symbolic form The inverse written in symbolic form Examples p  q is the statement ~p  ~q is the inverse. or ~p  q is the statement then p  ~q is the inverse.

The Converse The converse is formed by interchanging both the hypothesis and the conclusion. Example If a polygon has four sides then it is a quadrilateral. (the statement) If a polygon is a quadrilateral then it has four sides. (the converse)

Like the inverse a conditional statement can have a false converse, a true converse or they can have the same truth values. In symbolical form: pq is the statement q  p is the converse.

The Contrapositive. The contrapositive is formed by doing an inverse followed by a converse or a converse followed by an inverse.

The conditional statement and it’s contrapositive are equivalent statements. pq is logically equivalent to ~q ~p

p q ~p ~q pq ~q ~p T F

Homework In the text book Pg. 67-68 4-28 Evens Pg. 73-74 3, 7, 8, 10, 12,17a,