Conjunctive addition states that if we know that each of two statements is true, we can join them with the conjunction connective and the resulting conjunction.

Slides:



Advertisements
Similar presentations
Rules of Inferences Section 1.5. Definitions Argument: is a sequence of propositions (premises) that end with a proposition called conclusion. Valid Argument:
Advertisements

Propositional Logic. Negation Given a proposition p, negation of p is the ‘not’ of p.
2.5 Verifying Arguments Write arguments symbolically. Determine when arguments are valid or invalid. Recognize form of standard arguments. Recognize common.
CSCI 115 Chapter 2 Logic. CSCI 115 §2.1 Propositions and Logical Operations.
Deduction, Proofs, and Inference Rules. Let’s Review What we Know Take a look at your handout and see if you have any questions You should know how to.
Conjunction A conjunction is a compound statement formed by combining two simple sentences using the word “AND”. A conjunction is only true when both.
A compound statement is made up of more than one equation or inequality. A disjunction is a compound statement that uses the word or. Disjunction: x ≤
Chapter Four Proofs. 1. Argument Forms An argument form is a group of sentence forms such that all of its substitution instances are arguments.
Thinking Mathematically
CHAPTER 1 – EQUATIONS AND INEQUALITIES 1.6 – SOLVING COMPOUND AND ABSOLUTE VALUE INEQUALITIES Unit 1 – First-Degree Equations and Inequalities.
9.2 Compound Sentences Standard 5.0, 24.0 Standard 5.0, 24.0 Two Key Terms Two Key Terms.
Warm-Up Let A = {0,1,3,8}, B = {2,4,5,6,7,9}, and C = {0,1,8}. 4 minutes Find the following sets.
Symbolic Logic ⊃ ≡ · v ~ ∴. What is a logical argument? Logic is the science of reasoning, proof, thinking, or inference. Logic allows us to analyze a.
Alg2 Lesson 1-4 Solving Inequalities Objectives: 1.Solve inequalities. 2.Solve combined inequalities. 3.Identify conjunctions and disjunctions. 4.Graph.
Today’s Topics Argument forms and rules (review)
 Statement - sentence that can be proven true or false  Truth value – true or false  Statements are often represented using letters such as p and q.
Formal logic The part of logic that deals with arguments with forms.
L = # of lines n = # of different simple propositions L = 2 n EXAMPLE: consider the statement, (A ⋅ B) ⊃ C A, B, C are three simple statements 2 3 L =
March 23 rd. Four Additional Rules of Inference  Constructive Dilemma (CD): (p  q) (r  s) p v r q v s.
Presented by: Tutorial Services The Math Center
Making Inferences with Propositions (Rules of Inference)
Arguments with Quantified Statements
2. The Logic of Compound Statements Summary
1-4 Solving Inequalities
AND.
Applied Discrete Mathematics Week 5: Mathematical Reasoning
Lecture Notes 8 CS1502.
Lecture 1.4: Rules of Inference
Discrete Mathematics Logic.
Formal Logic CSC 333.
Thinking Mathematically
August 31, 2005.
Natural Deduction: Using simple valid argument forms –as demonstrated by truth-tables—as rules of inference. A rule of inference is a rule stating that.
Logic programming ( Handbook of Logic in Artificial Intelligence, Vol) by D. M. Gabbay, C. Hogger, J.A. Robinson .
Demonstrating the validity of an argument using syllogisms.
Proof Techniques.
Rules of Inference Section 1.6.
Chapter 8 Logic Topics
2 Chapter Introduction to Logic and Sets
Criticism Reductio ad Absurdum Dilemmas Counterexamples Fallacies.
7.1 Rules of Implication I Natural Deduction is a method for deriving the conclusion of valid arguments expressed in the symbolism of propositional logic.
Mathematical Reasoning
Chapter 3 Introduction to Logic 2012 Pearson Education, Inc.
3.5 Symbolic Arguments.
Deductive Reasoning: Propositional Logic
Logical Forms.
THE REST The rest of the rules are not all that useful
TRUTH TABLES.
CS 220: Discrete Structures and their Applications
Applied Discrete Mathematics Week 1: Logic
(1.4) An Introduction to Logic
Concise Guide to Critical Thinking
Inference Rules: Tautologies
The Method of Deduction
Malini Sen WESTERN LOGIC Presented by Assistant Professor
Natural Deduction Hurley, Logic 7.1.
2.5 Solving Compound Inequalities
1 Chapter An Introduction to Problem Solving
Aim: How do we solve Compound Inequalities?
Discrete Mathematics Logic.
1 Chapter An Introduction to Problem Solving
Statements joined by “And” (Conjunctions)
Algebra 1 Section 4.5.
Lecture 1.4: Rules of Inference
Valid and Invalid Arguments
Mathematical Reasoning
Arguments in Sentential Logic
Chapter 3 Introduction to Logic © 2008 Pearson Addison-Wesley.
2-2 Logic Vocab Statement: A sentence that is either true or false
MODUS TOLLENS If P then Q Not Q therefore not P.
Presentation transcript:

Conjunctive addition states that if we know that each of two statements is true, we can join them with the conjunction connective and the resulting conjunction will be true.

T T T T T F F T T Valid

T T T T T T T T T T F T T Valid

T T F T T T T T ? ? ?

Conjunctive Simplification Conjunctive Simplification Conjunctive Addition Conjunctive Addition Disjunctive Addition Conjunctive Addition Disjunctive Syll. Modus Tollens Conjunctive Simp. Modus Ponens Modus Tollens Disjunctive Addition

T F T T T T T T Valid

T T ? F T T ?

T T T T F T T T T Valid

T T T F T T T T T T Valid

T F T T F F T T T T Valid

T T T T T T T T Valid

T T T ? T T T T ?

F F T T T F T T T T Valid

T T T T F T F F T Valid

F F F T T T T T T Valid

T F T T T T T

F F T T F F F F T T T ?

T T T T T T T T F T T T T T T Valid

T T T T T F T F T T T T T T T VALID

T T T T T T T T T T T T VALID