Resolution (7A) Young Won Lim 4/21/18
|
|
- Marshall Lawson
- 5 years ago
- Views:
Transcription
1 (7A)
2 Coyright (c) Young W. Lim. Permission is granted to coy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version ublished by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A coy of the license is included in the section entitled "GNU Free Documentation License". Please send corrections (or suggestions) to youngwlim@hotmail.com. This document was roduced by using LibreOffice and Octave.
3 Argument ( ) ( r) q r ( ) ( r) q r 3
4 Truth Table q r T T T T T T F T T F T T T F F T F T T T F T F T F F T F F F F F q r r T T T F T T T F F F T F T F T T F F F F F T T T T F T F T T F F T T T F F F T T q r ( ) ( r) q r T T T T T T T F F T T F T T T T F F F F F T T T T F T F T T F F T F T F F F F F ( ) ( r) q r 4
5 Interretation of this truth table case case case case case case case case A B q r r ( ) ( r) q r T T T T T T T T T F T F F T T F T T T T T T F F T F F F F T T T T T T F T F T T T T F F T F T F T F F F F T F F A B T T T T T T T T Whenever and r are true, q r is true ( ) ( r) q r 5
6 Venn diagram for case case case case case case case case q r T T T T T T F T T F T T T F F T F T T T F T F T F F T F F F F F 6
7 Venn diagram for r r case case case case case case case case q r T T T F T T T F F F T F T F T T F F F F F T T T T F T F T T F F T T T F F F T T 7
8 When ( ) ( r) is true r When and r is true is true ( ) ( r) cases +++ 8
9 When ( ) ( r) is true, q r is also true r q r cases +++ ( ) ( r) q r cases
10 Argument Case 1: is false Case 2: is true r q r F q T r q T q F r r when is false, q must be true. when is true, r must be true. Therefore regardless of truth value of, If both remises hold, then the conclusion q r is true htt://en.wikiedia.org/wiki/derivative 1
11 Examles r q r r r q r q q r r r r r 11
12 in Prolog Conjunctive Norm Form (CNF) is assumed ( ) ( ) ( ) the variables A, B, C, D, and E are in conjunctive normal form: A ( B C ) ( A B ) ( B C D ) ( D E ) A B A B The following formulas are not in conjunctive normal form: ( B C ) ( A B ) C A ( B ( D E ) ) htts://en.wikiedia.org/wiki/conjunctive_normal_form 12
13 General Rules of Inference (1) q q ( ( q)) q Discrete Mathematics and Its Alications, Rosen Modus onens Modus: manner, way, mode Ponens: to affirm q q ( q ( q)) Modus tollens Modus: manner, way, mode tollens: to remove q q r r (( q) (q r)) r Hyothetical syllogism Syllogism: inference, conclusion q (( ) ( )) q Disjunctive syllogism 13
14 General Rules of Inference (2) Discrete Mathematics and Its Alications, Rosen ( ) Addition q ( q) Simlification q q ( q) q Conjunction q r (( ) ( r)) q r Breaking into arts, a loosening 14
15 Examle A r q r q r q r r r ( ) ( r) ( ) ( q r) ( ) ( r) ( ) ( q r) (q) ( ) ( r) ( ) ( q r) (q) (r) ( ) ( r) ( ) ( q r) (q) (r) ( ) James Asnes, Notes on Discrete Mathematics, CS 22: Fall
16 Examle B (1) q r q r q r q r q q q r r q r q q q r = T r = T q r q r q r q r q r Discrete Mathematics, Johnsonbough 16
17 Examle B (2) q r q r q q r q q r q r q q r r Discrete Mathematics, Johnsonbough 17
18 Truth Table q r r T T T F T T T F F T T F T F T T F F F F F T T T T F T F T T F F T T T F F F T T q r q q T T T F T T T F F T T F T T T T F F T T F T T F F F T F F F F F T T T F F F T T q r q r T T T T T T F T T F T T T F F F F T T T F T F T F F T T F F F F q r r q q r H 1 H 2 H 3 r T T T T T T T T T T F T T T T T T F T T T T T T T F F F T F F T F T T T F T F T F T F T F T F F F F T T T T T T F F F T T F F F H 1 = r H 2 = q H 3 = q r H 1 H 2 H 3 H 3 H 1 H 2 H 3 H 2 H 1 H 2 H 3 H 1 H 1 H 2 H 3 ( r) 18
19 Truth Table and K-Ma q r H 1 H 2 H 3 T T T T T T F T T F T T T F F F F T T F F T F F F F T T F F F F q r H 1 H 2 H q r H 1 H 2 H q r
20 K-Ma and Logic Minimization q r q r q r q r q r 1 q r q q r + q r = ( + ) q r = q r q r + q r = q(r + r) = q 2
21 K-Ma : Verification 1 q r q H 1 H 2 H 3 q r + q q r q q r q q r+ q q r H 1 H 2 H
22 Adding two don t care conditions q r q r 1 X X 1 X X r 1 q q r 22
23 Adding two don t care conditions q r q r 1 1 X X r 1 r 23
24 K-Ma : Verification 1 r 1 H 1 H 2 H 3 r q r r q r H 1 H 2 H 3 r
25 Examle C q q q q q q ( ) q = ( q) (q q) = ( q) Simlification Rule Discrete Mathematics, Johnsonbough 25
26 References [1] htt://en.wikiedia.org/ [2]
Implication (6A) Young Won Lim 3/17/18
Implication (6A) 3/17/18 Copyright (c) 2015 2018 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or
More informationRelations (3A) Young Won Lim 3/27/18
Relations (3A) Copyright (c) 2015 2018 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later
More informationPropositional Logic Arguments (5A) Young W. Lim 11/30/16
Propositional Logic (5A) Young W. Lim Copyright (c) 2016 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version
More informationPropositional Logic Resolution (6A) Young W. Lim 12/12/16
Propositional Logic Resolution (6A) Young W. Lim Copyright (c) 2016 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License,
More informationPropositional Logic Resolution (6A) Young W. Lim 12/31/16
Propositional Logic Resolution (6A) Young W. Lim Copyright (c) 2016 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License,
More informationPropositional Logic Arguments (5A) Young W. Lim 10/11/16
Propositional Logic (5A) Young W. Lim Copyright (c) 2016 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version
More information3 Rules of Inferential Logic
24 FUNDAMENTALS OF MATHEMATICAL LOGIC 3 Rules of Inferential Logic The main concern of logic is how the truth of some roositions is connected with the truth of another. Thus, we will usually consider a
More informationPropositional Logic Arguments (5A) Young W. Lim 2/23/17
Propositional Logic (5A) Young W. Lim Copyright (c) 2016 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version
More informationPropositional Logic Arguments (5A) Young W. Lim 11/8/16
Propositional Logic (5A) Young W. Lim Copyright (c) 2016 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version
More informationImplication (6A) Young Won Lim 3/12/18
(6A) Copyright (c) 2015 2018 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version
More informationFirst Order Logic Arguments (5A) Young W. Lim 2/24/17
First Order Logic (5A) Young W. Lim Copyright (c) 2016-2017 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version
More informationPropositional Logic Logical Implication (4A) Young W. Lim 4/11/17
Propositional Logic Logical Implication (4A) Young W. Lim Copyright (c) 2016-2017 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation
More informationHigher Order ODE's (3A) Young Won Lim 7/7/14
Higher Order ODE's (3A) Copyright (c) 2011-2014 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or
More informationThe Growth of Functions (2A) Young Won Lim 4/6/18
Copyright (c) 2015-2018 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published
More informationHigher Order ODE's (3A) Young Won Lim 12/27/15
Higher Order ODE's (3A) Copyright (c) 2011-2015 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or
More informationPropositional Logic Logical Implication (4A) Young W. Lim 4/21/17
Propositional Logic Logical Implication (4A) Young W. Lim Copyright (c) 2016-2017 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation
More informationFirst Order Logic Implication (4A) Young W. Lim 4/6/17
First Order Logic (4A) Young W. Lim Copyright (c) 2016-2017 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version
More informationResolution (14A) Young W. Lim 8/15/14
Resolution (14A) Young W. Lim Copyright (c) 2013-2014 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version
More informationHamiltonian Cycle (3A) Young Won Lim 5/5/18
Hamiltonian Cycle (3A) Copyright (c) 015 018 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1. or any
More informationExpected Value (10D) Young Won Lim 6/12/17
Expected Value (10D) Copyright (c) 2017 Young W. Lim. Permissios granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later
More informationFirst Order Logic Arguments (5A) Young W. Lim 3/10/17
First Order Logic (5A) Young W. Lim Copyright (c) 2016-2017 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version
More informationMatrix Transformation (2A) Young Won Lim 11/10/12
Matrix (A Copyright (c 0 Young W. im. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation icense, Version. or any later version published
More informationHigher Order ODE's (3A) Young Won Lim 7/8/14
Higher Order ODE's (3A) Copyright (c) 2011-2014 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or
More informationPropositional Logic Arguments (5A) Young W. Lim 11/29/16
Propositional Logic (5A) Young W. Lim Copyright (c) 2016 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version
More informationBayes Theorem (4A) Young Won Lim 3/5/18
Bayes Theorem (4A) Copyright (c) 2017-2018 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any
More informationRoot Locus (2A) Young Won Lim 10/15/14
Root Locus (2A Copyright (c 2014 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version
More informationGeneral CORDIC Description (1A)
General CORDIC Description (1A) Copyright (c) 2010, 2011, 2012 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License,
More informationBackground Trigonmetry (2A) Young Won Lim 5/5/15
Background Trigonmetry (A) Copyright (c) 014 015 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1. or
More informationFourier Analysis Overview (0A)
CTFS: Fourier Series CTFT: Fourier Transform DTFS: Fourier Series DTFT: Fourier Transform DFT: Discrete Fourier Transform Copyright (c) 2011-2016 Young W. Lim. Permission is granted to copy, distribute
More informationCT Rectangular Function Pairs (5B)
C Rectangular Function Pairs (5B) Continuous ime Rect Function Pairs Copyright (c) 009-013 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU
More informationPropositional Logic Arguments (5B) Young W. Lim 11/30/16
Propositional Logic (5B) Young W. Lim Copyright (c) 2016 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version
More informationPropositional Logic (2A) Young W. Lim 11/8/15
Propositional Logic (2A) Young W. Lim Copyright (c) 2014 2015 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU ree Documentation License, Version
More informationDifferentiation Rules (2A) Young Won Lim 1/30/16
Differentiation Rules (2A) Copyright (c) 2011-2016 Young W. Lim. Permission is grante to copy, istribute an/or moify this ocument uner the terms of the GNU Free Documentation License, Version 1.2 or any
More informationLogic Background (1A) Young W. Lim 5/14/18
Young W. Lim Copyright (c) 2014 2018 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later
More informationDetect Sensor (6B) Eddy Current Sensor. Young Won Lim 11/19/09
Detect Sensor (6B) Eddy Current Sensor Copyright (c) 2009 Young W. Lim. Permission is granteo copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version
More informationDFT Frequency (9A) Each Row of the DFT Matrix. Young Won Lim 7/31/10
DFT Frequency (9A) Each ow of the DFT Matrix Copyright (c) 2009, 2010 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GU Free Documentation License,
More informationToday s Lecture 2/25/10. Truth Tables Continued Introduction to Proofs (the implicational rules of inference)
Today s Lecture 2/25/10 Truth Tables Continued Introduction to Proofs (the implicational rules of inference) Announcements Homework: -- Ex 7.3 pg. 320 Part B (2-20 Even). --Read chapter 8.1 pgs. 345-361.
More informationComplex Trigonometric and Hyperbolic Functions (7A)
Complex Trigonometric and Hyperbolic Functions (7A) 07/08/015 Copyright (c) 011-015 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation
More informationWhy Proofs? Proof Techniques. Theorems. Other True Things. Proper Proof Technique. How To Construct A Proof. By Chuck Cusack
Proof Techniques By Chuck Cusack Why Proofs? Writing roofs is not most student s favorite activity. To make matters worse, most students do not understand why it is imortant to rove things. Here are just
More informationn logical not (negation) n logical or (disjunction) n logical and (conjunction) n logical exclusive or n logical implication (conditional)
Discrete Math Review Discrete Math Review (Rosen, Chapter 1.1 1.6) TOPICS Propositional Logic Logical Operators Truth Tables Implication Logical Equivalence Inference Rules What you should know about propositional
More information[Ch 3, 4] Logic and Proofs (2) 1. Valid and Invalid Arguments ( 2.3, 3.4) 400 lecture note #2. 1) Basics
400 lecture note #2 [Ch 3, 4] Logic and Proofs (2) 1. Valid and Invalid Arguments ( 2.3, 3.4) 1) Basics An argument is a sequence of statements ( s1, s2,, sn). All statements in an argument, excet for
More information2. The Logic of Compound Statements Summary. Aaron Tan August 2017
2. The Logic of Compound Statements Summary Aaron Tan 21 25 August 2017 1 2. The Logic of Compound Statements 2.1 Logical Form and Logical Equivalence Statements; Compound Statements; Statement Form (Propositional
More informationGeneral Vector Space (2A) Young Won Lim 11/4/12
General (2A Copyright (c 2012 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version
More informationSignal Processing. Young Won Lim 2/20/18
Copyright (c) 2016 2018 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published
More informationNatural Deduction is a method for deriving the conclusion of valid arguments expressed in the symbolism of propositional logic.
Natural Deduction is a method for deriving the conclusion of valid arguments expressed in the symbolism of propositional logic. The method consists of using sets of Rules of Inference (valid argument forms)
More informationIntroduction to ODE's (0A) Young Won Lim 3/9/15
Introduction to ODE's (0A) Copyright (c) 2011-2014 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2
More informationBayes Theorem (10B) Young Won Lim 6/3/17
Bayes Theorem (10B) Copyright (c) 2017 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later
More informationSignal Functions (0B)
Signal Functions (0B) Signal Functions Copyright (c) 2009-203 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License,
More information(Refer Slide Time: 02:20)
Discrete Mathematical Structures Dr. Kamala Krithivasan Department of Computer Science and Engineering Indian Institute of Technology, Madras Lecture - 5 Logical Inference In the last class we saw about
More informationSeparable Equations (1A) Young Won Lim 3/24/15
Separable Equations (1A) Copyright (c) 2011-2015 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or
More informationDiscrete Time Rect Function(4B)
Discrete Time Rect Function(4B) Discrete Time Rect Functions Copyright (c) 29-213 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation
More informationReadings: Conjecture. Theorem. Rosen Section 1.5
Readings: Conjecture Theorem Lemma Lemma Step 1 Step 2 Step 3 : Step n-1 Step n a rule of inference an axiom a rule of inference Rosen Section 1.5 Provide justification of the steps used to show that a
More informationThe Logic of Compound Statements. CSE 2353 Discrete Computational Structures Spring 2018
CSE 2353 Discrete Comutational Structures Sring 2018 The Logic of Comound Statements (Chater 2, E) Note: some course slides adoted from ublisher-rovided material Outline 2.1 Logical Form and Logical Equivalence
More informationMatrix Transformation (2A) Young Won Lim 11/9/12
Matrix (A Copyright (c 01 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1. or any later version published
More informationFourier Analysis Overview (0A)
CTFS: Fourier Series CTFT: Fourier Transform DTFS: Fourier Series DTFT: Fourier Transform DFT: Discrete Fourier Transform Copyright (c) 2011-2016 Young W. Lim. Permission is granted to copy, distribute
More informationLogic (3A) Young W. Lim 11/2/13
Copyright (c) 2013. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software
More informationProof Worksheet 2, Math 187 Fall 2017 (with solutions)
Proof Worksheet 2, Math 187 Fall 2017 (with solutions) Dr. Holmes October 17, 2017 The instructions are the same as on the first worksheet, except you can use all the rules in the strategies handout. We
More informationLogic (3A) Young W. Lim 10/31/13
Copyright (c) 2013. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software
More informationPROPOSITIONAL CALCULUS
PROPOSITIONAL CALCULUS A proposition is a complete declarative sentence that is either TRUE (truth value T or 1) or FALSE (truth value F or 0), but not both. These are not propositions! Connectives and
More informationHigher Order ODE's, (3A)
Higher Order ODE's, (3A) Initial Value Problems, and Boundary Value Problems Copyright (c) 2011-2015 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms
More informationFirst Order Logic (1A) Young W. Lim 11/5/13
Copyright (c) 2013. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software
More informationLine Integrals (4A) Line Integral Path Independence. Young Won Lim 10/22/12
Line Integrals (4A Line Integral Path Independence Copyright (c 2012 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License,
More informationReview. p q ~p v q Contrapositive: ~q ~p Inverse: ~p ~q Converse: q p
~ v Contraositive: ~ ~ Inverse: ~ ~ Converse: Å Review ( Ú ) Ù ~( Ù ) ~( Ù ) ~ Ú ~ ~( Ú ) ~ Ù ~ is sufficient for is necessary for ~ ~ 1 Valid and Invalid Arguments CS 231 Dianna Xu 2 Associative Law:
More informationCapacitor Young Won Lim 06/22/2017
Capacitor Copyright (c) 2011 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version
More information10/5/2012. Logic? What is logic? Propositional Logic. Propositional Logic (Rosen, Chapter ) Logic is a truth-preserving system of inference
Logic? Propositional Logic (Rosen, Chapter 1.1 1.3) TOPICS Propositional Logic Truth Tables Implication Logical Proofs 10/1/12 CS160 Fall Semester 2012 2 What is logic? Logic is a truth-preserving system
More informationCapacitor and Inductor
Capacitor and Inductor Copyright (c) 2015 2017 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or
More informationCapacitor and Inductor
Capacitor and Inductor Copyright (c) 2015 2017 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or
More informationDiscrete Time Rect Function(4B)
Discrete Time Rect Function(4B) Discrete Time Rect Functions Copyright (c) 29-23 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation
More informationChapter 1, Logic and Proofs (3) 1.6. Rules of Inference
CSI 2350, Discrete Structures Chapter 1, Logic and Proofs (3) Young-Rae Cho Associate Professor Department of Computer Science Baylor University 1.6. Rules of Inference Basic Terminology Axiom: a statement
More informationFourier Analysis Overview (0B)
CTFS: Continuous Time Fourier Series CTFT: Continuous Time Fourier Transform DTFS: Fourier Series DTFT: Fourier Transform DFT: Discrete Fourier Transform Copyright (c) 2009-2016 Young W. Lim. Permission
More informationDifferentiation Rules (2A) Young Won Lim 2/22/16
Differentiation Rules (2A) Copyright (c) 2011-2016 Young W. Lim. Permission is grante to copy, istribute an/or moify this ocument uner the terms of the GNU Free Documentation License, Version 1.2 or any
More informationCapacitor in an AC circuit
Capacitor in an AC circuit Copyright (c) 2011 2017 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2
More informationIntroduction Logic Inference. Discrete Mathematics Andrei Bulatov
Introduction Logic Inference Discrete Mathematics Andrei Bulatov Discrete Mathematics - Logic Inference 6-2 Previous Lecture Laws of logic Expressions for implication, biconditional, exclusive or Valid
More informationAnalyzing Arguments with Truth Tables
Analyzing Arguments with Truth Tables MATH 100 Survey of Mathematical Ideas J. Robert Buchanan Department of Mathematics Fall 2014 Introduction Euler diagrams are useful for checking the validity of simple
More informationMethods of Proof. 1.6 Rules of Inference. Argument and inference 12/8/2015. CSE2023 Discrete Computational Structures
Methods of Proof CSE0 Discrete Computational Structures Lecture 4 When is a mathematical argument correct? What methods can be used to construct mathematical arguments? Important in many computer science
More informationGroup & Phase Velocities (2A)
(2A) 1-D Copyright (c) 2011 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published
More informationSample Problems for all sections of CMSC250, Midterm 1 Fall 2014
Sample Problems for all sections of CMSC250, Midterm 1 Fall 2014 1. Translate each of the following English sentences into formal statements using the logical operators (,,,,, and ). You may also use mathematical
More informationLine Integrals (4A) Line Integral Path Independence. Young Won Lim 11/2/12
Line Integrals (4A Line Integral Path Independence Copyright (c 2012 Young W. Lim. Permission is granted to copy, distriute and/or modify this document under the terms of the GNU Free Documentation License,
More informationDispersion (3A) 1-D Dispersion. Young W. Lim 10/15/13
1-D Dispersion Copyright (c) 013. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1. or any later version published
More informationRules Build Arguments Rules Building Arguments
Section 1.6 1 Section Summary Valid Arguments Inference Rules for Propositional Logic Using Rules of Inference to Build Arguments Rules of Inference for Quantified Statements Building Arguments for Quantified
More informationPropagating Wave (1B)
Wave (1B) 3-D Wave Copyright (c) 2011 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later
More informationMagnetic Sensor (3B) Magnetism Hall Effect AMR Effect GMR Effect. Young Won Lim 9/23/09
Magnetic Sensor (3B) Magnetism Hall Effect AMR Effect GMR Effect Copyright (c) 2009 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation
More informationCS 2336 Discrete Mathematics
CS 2336 Discrete Mathematics Lecture 3 Logic: Rules of Inference 1 Outline Mathematical Argument Rules of Inference 2 Argument In mathematics, an argument is a sequence of propositions (called premises)
More informationComplex Series (3A) Young Won Lim 8/17/13
Complex Series (3A) 8/7/3 Copyright (c) 202, 203 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version.2 or
More informationSequential Circuit Timing. Young Won Lim 11/6/15
Copyright (c) 2011 2015 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published
More informationFor a horseshoe statement, having the matching p (left side) gives you the q (right side) by itself. It does NOT work with matching q s.
7.1 The start of Proofs From now on the arguments we are working with are all VALID. There are 18 Rules of Inference (see the last 2 pages in Course Packet, or front of txt book). Each of these rules is
More informationAudio Signal Generation. Young Won Lim 1/29/18
Generation Copyright (c) 2016-2018 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version
More informationPropositional Logic. Argument Forms. Ioan Despi. University of New England. July 19, 2013
Propositional Logic Argument Forms Ioan Despi despi@turing.une.edu.au University of New England July 19, 2013 Outline Ioan Despi Discrete Mathematics 2 of 1 Order of Precedence Ioan Despi Discrete Mathematics
More informationCSE 20 DISCRETE MATH. Winter
CSE 20 DISCRETE MATH Winter 2017 http://cseweb.ucsd.edu/classes/wi17/cse20-ab/ Today's learning goals Distinguish between a theorem, an axiom, lemma, a corollary, and a conjecture. Recognize direct proofs
More informationLogic Background (1A) Young W. Lim 12/14/15
Young W. Lim 12/14/15 Copyright (c) 2014-2015 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any
More informationDown-Sampling (4B) Young Won Lim 10/25/12
Down-Sampling (4B) /5/ Copyright (c) 9,, Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version. or any later
More informationAdvanced Topics in LP and FP
Lecture 1: Prolog and Summary of this lecture 1 Introduction to Prolog 2 3 Truth value evaluation 4 Prolog Logic programming language Introduction to Prolog Introduced in the 1970s Program = collection
More information10/13/15. Proofs: what and why. Proposi<onal Logic Proofs. 1 st Proof Method: Truth Table. A sequence of logical arguments such that:
Proofs: what and why Rules of Inference (Rosen, Section 1.6) TOPICS Logic Proofs ² via Truth Tables ² via Algebraic Simplification ² via Inference Rules A sequence of logical arguments such that: each
More informationMACM 101 Discrete Mathematics I. Exercises on Propositional Logic. Due: Tuesday, September 29th (at the beginning of the class)
MACM 101 Discrete Mathematics I Exercises on Propositional Logic. Due: Tuesday, September 29th (at the beginning of the class) SOLUTIONS 1. Construct a truth table for the following compound proposition:
More informationLinear Equations with Constant Coefficients (2A) Young Won Lim 4/13/15
Linear Equations with Constant Coefficients (2A) Copyright (c) 2011-2014 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation
More informationODE Background: Differential (1A) Young Won Lim 12/29/15
ODE Background: Differential (1A Copyright (c 2011-2015 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version
More informationFSM Examples. Young Won Lim 11/6/15
/6/5 Copyright (c) 2 25 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version.2 or any later version published
More informationCHAPTER 1 - LOGIC OF COMPOUND STATEMENTS
CHAPTER 1 - LOGIC OF COMPOUND STATEMENTS 1.1 - Logical Form and Logical Equivalence Definition. A statement or proposition is a sentence that is either true or false, but not both. ex. 1 + 2 = 3 IS a statement
More information3. The Logic of Quantified Statements Summary. Aaron Tan August 2017
3. The Logic of Quantified Statements Summary Aaron Tan 28 31 August 2017 1 3. The Logic of Quantified Statements 3.1 Predicates and Quantified Statements I Predicate; domain; truth set Universal quantifier,
More informationSignal Processing. Young Won Lim 2/22/18
Copyright (c) 2016 2018 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published
More information