Logic Review Solutions

Similar documents
Logic and Truth Tables

Lecture 2. Logic Compound Statements Conditional Statements Valid & Invalid Arguments Digital Logic Circuits. Reading (Epp s textbook)

2. The Logic of Compound Statements Summary. Aaron Tan August 2017

3. The Logic of Quantified Statements Summary. Aaron Tan August 2017

ANALYSIS EXERCISE 1 SOLUTIONS

THE LOGIC OF QUANTIFIED STATEMENTS

Unit 2: Logic and Reasoning. start of unit

Logic and Truth Tables

COT 2104 Homework Assignment 1 (Answers)

Click the mouse button or press the Space Bar to display the answers.

Maryam Al-Towailb (KSU) Discrete Mathematics and Its Applications Math. Rules Math. of1101 Inference 1 / 13

CHAPTER 1 - LOGIC OF COMPOUND STATEMENTS

1.5 MATHEMATICAL LANGUAGE

Chapter 1: The Logic of Compound Statements. January 7, 2008

Quantifiers. P. Danziger

2. Find all combinations of truth values for p, q and r for which the statement p (q (p r)) is true.

PSU MATH RELAYS LOGIC & SET THEORY 2017

Exclusive Disjunction

Mat 243 Exam 1 Review

CSC Discrete Math I, Spring Propositional Logic

DeMorgan s Laws and the Biconditional. Philosophy and Logic Sections 2.3, 2.4 ( Some difficult combinations )

Unit 6 Logic Math 116

Section 1.1: Logical Form and Logical Equivalence

Numbers that are divisible by 2 are even. The above statement could also be written in other logically equivalent ways, such as:

Test Bank Questions. (a) Is there an integer n such that n has? (b) Does there exist such that if n is divided by 4 the remainder is 1 and if?

Math 102 Section 08, Fall 2010 Solutions Practice for Formal Proofs of Arguments

2.1 Start Thinking. 2.1 Warm Up. 2.1 Cumulative Review Warm Up

WUCT121. Discrete Mathematics. Logic. Tutorial Exercises

1.1 Language and Logic

1.1 Statements and Compound Statements

Propositional Logic. Spring Propositional Logic Spring / 32

Math Assignment 2 Solutions - Spring Jaimos F Skriletz Provide definitions for the following:

PROPOSITIONAL CALCULUS

What is Logic? Introduction to Logic. Simple Statements. Which one is statement?

Chapter 3. The Logic of Quantified Statements

Section 1.2: Conditional Statements

DISCRETE MATH: FINAL REVIEW

Unit 1 Logic Unit Math 114

2-4: The Use of Quantifiers

Logic and Conditional Statements

Today s Topic: Propositional Logic

Compound Propositions

JANE LONG ACADEMY HIGH SCHOOL MATH SUMMER PREVIEW PACKET SCHOOL YEAR. Geometry

Discrete Mathematics. Instructor: Sourav Chakraborty. Lecture 4: Propositional Logic and Predicate Lo

Unit 1 Logic Unit Math 114

The Logic of Compound Statements cont.

Logical forms and substitution instances. Philosophy and Logic Unit 2, Section 2.1

Chapter 1 Logic Unit Math 114

Chapter 2: The Logic of Quantified Statements. January 22, 2010

a. ~p : if p is T, then ~p is F, and vice versa

Math 2534 Solution Homework 2 Spring 2017

Discrete Mathematics Exam File Spring Exam #1

MATH 120. Test 1 Spring, 2012 DO ALL ASSIGNED PROBLEMS. Things to particularly study

Propositional Equivalence

AMTH140 Lecture 8. Symbolic Logic

TRUTH TABLES LOGIC (CONTINUED) Philosophical Methods

Formal Geometry. Conditional Statements

PROBLEM SET 3: PROOF TECHNIQUES

Propositional Logic Basics Propositional Equivalences Normal forms Boolean functions and digital circuits. Propositional Logic.

2 Conditional and Biconditional Propositions

Direct Proof and Proof by Contrapositive

2 Truth Tables, Equivalences and the Contrapositive

Discrete Structures & Algorithms. Propositional Logic EECE 320 // UBC

Logic of Sentences (Propositional Logic) is interested only in true or false statements; does not go inside.

Meaning of Proof Methods of Proof

2.2 Analyze Conditional

THE LOGIC OF QUANTIFIED STATEMENTS. Predicates and Quantified Statements I. Predicates and Quantified Statements I CHAPTER 3 SECTION 3.

Mathematical Reasoning (Part I) 1

Conditional Statements

UNIVERSITY OF VICTORIA DECEMBER EXAMINATIONS MATH 122: Logic and Foundations

Midterm Exam Solution

Note: The area of logic that deals with propositions is called the propositional calculus or propositional logic.

Learning Goals of CS245 Logic and Computation

MACM 101 Discrete Mathematics I. Exercises on Propositional Logic. Due: Tuesday, September 29th (at the beginning of the class)

5. Use a truth table to determine whether the two statements are equivalent. Let t be a tautology and c be a contradiction.

2-1. Inductive Reasoning and Conjecture. Lesson 2-1. What You ll Learn. Active Vocabulary

Proofs. Joe Patten August 10, 2018

Today s Lecture 2/25/10. Truth Tables Continued Introduction to Proofs (the implicational rules of inference)

HW1 graded review form? HW2 released CSE 20 DISCRETE MATH. Fall

Math.3336: Discrete Mathematics. Propositional Equivalences

New test - September 23, 2015 [148 marks]

CS 2740 Knowledge Representation. Lecture 4. Propositional logic. CS 2740 Knowledge Representation. Administration

A Quick Lesson on Negation

Discrete Structures of Computer Science Propositional Logic I

DISCRETE MATH: LECTURE 3

CSC 125 :: Final Exam May 3 & 5, 2010

Sample Problems for all sections of CMSC250, Midterm 1 Fall 2014

Recall that the expression x > 3 is not a proposition. Why?

PHIL12A Section answers, 16 February 2011

The statement calculus and logic

Topic 5! Venn Diagrams

SYMBOLIC LOGIC (PART ONE) LAMC INTERMEDIATE - 5/18/14

A. Propositional Logic

Logic. Def. A Proposition is a statement that is either true or false.

Over Lesson 2 3 Identify the hypothesis and conclusion. If 6x 5 = 19, then x = 4. Identify the hypothesis and conclusion. A polygon is a hexagon if it

GEOMETRY. 2.1 Conditional Statements

Math Exam Jam Concise. Contents. 1 Algebra Review 2. 2 Functions and Graphs 2. 3 Exponents and Radicals 3. 4 Quadratic Functions and Equations 4

2.2: Logical Equivalence: The Laws of Logic

Problem Points Score Total 100

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics. Introductory Notes in Discrete Mathematics Solution Guide

Transcription:

Logic Review Solutions 1. What is true concerning the validity of the argument below? (hint: Use a Venn diagram.) 1. All pesticides are harmful to the environment. 2. No fertilizer is a pesticide. Therefore, no fertilizer is harmful to the environment. 2. What is true concerning the validity of the argument below? (hint: Use a Venn diagram.) 1. All roads lead to Rome. 2. Route 66 is a road. Therefore, Route 66 leads to Rome. 3. What number is most likely to come next in the following sequence? 2, 3, 5, 7, 11, Since this is a list of the first 5 prime numbers, the next most likely number is the sequence is 13.

4. Use the statements p: it is a square q: it is a rectangle how would you represent the sentence "All squares are rectangles" in symbolic form? You first need to translate the sentence into a form that we know how to put in symbols to get "If it is a square, then it is a rectangle". Now we rewrite this in symbols to get p q. 5. Write the negation of the statement "Some computers are priced under $100." No computers are priced under $100. 6. Under what conditions is the statement p q true? p q T T T F F T F F p q T F T T The statement is true when p is true and q is true. The statement is true when p is false and q is true. The statement is true when p is false and q is false.

7. Determine if the following is true: ~ ( p q) ~ p ~ q. p q ( p q) ~ ( p q) p q ~ p ~ q ~ p ~ q T T T F T T F F F T F F T T F F T F F T F T F T T F F F F F T F F T T T The statement is not true since the final columns of the truth tables do not match up. 8. Determine if the following is true: ~ ( p q) ~ p ~ q. p q ( p q) ~ ( p q) p q ~ p ~ q ~ p ~ q T T T F T T F F F T F T F T F F T F F T T F F T T F F F F F T F F T T T The statement is true since the final columns of the truth tables match exactly. 9. Rewrite the following sentence in "if..., then..." form: "I take public transportation only if it is raining." If I take public transportation, then it is raining.

10. Determine if the following are logically equivalent: p q and ( p q) ( q p). p q p q p q ( p q) ( q p) ( p q) ( q p) T T T T T T T T T F F T F F T F F T T F T T F F F F T F F T T T Not logically equivalent since the final columns in the truth table do not match exactly. 11. Under what conditions will (~ p q) have a truth value of false? p q ~ p (~ p q) T T F T T F F F F T T T F F T T The statement if false then p is true and q is false.

12. Write the converse, inverse, and contrapositive of the following statement and indicate which statements are equivalent: I walk to work if it is not raining. The standard order for the original conditional is: If it is not raining, then I walk to work. The converse of the statement is: If I walk to work, then it is not raining. (switch the premise and conclusion) The inverse of the statement is: If it is raining, then I do not walk to work. (leave the order the same but write the negation of the premise and the negation of the conclusion) The contrapositive of the statement is: If I do not work to work, then it is raining. (switch and negate the premise and conclusion) The converse and inverse are equivalent. The contrapositive and the original statements are equivalent.

13. What is true concerning the validity of the argument below? (hint: Use a Venn diagram.) 1. All police officers ride motorcycles. 2. Some women are police officers. Therefore, some women ride motorcycles. ride motorcycle police officers women Since it is impossible to have the women circle overlap the police officer circle and not overlap the ride motorcycle circle, the argument is valid. 14. What is true concerning the validity of the argument below? (hint: Use a Venn diagram.) 1. All police officers ride motorcycles. 2. Some women ride motorcycles. Therefore, some women are police officers. ride motorcycle women ride motorcycle police officers police officers women OR Since it is possible to have the women circle overlap the ride motorcycle circle and not overlap the police officer circle, the argument is invalid.