Download

1 / 28

Chapter 2 The Logic of Compound Statements

Feb 04, 2014

380 likes | 817 Vues

Mathematical Logic. In order to study discrete mathematics and understand computer programming, one must have some basic knowledge of mathematical logic. Hence in any beginning course of discrete mathematics, about 50% of the time is spent on mathematical logic. . Mathematical Logic A set of prec

Share Presentation

Embed Code

Link

celine

Télécharger la présentation

Chapter 2 The Logic of Compound Statements

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

Chapter 2 Fundamentals of Logic

Chapter 2 Fundamentals of Logic. Dept of Information management National Central University Yen-Liang Chen. 2.1 Basic connectives and truth table. Assertions, called statements or propositions, are declarative sentences that are either true or false

902 views • 64 slides

Discrete Mathematics Lecture 2 Logic of Quantified Statements

Discrete Mathematics Lecture 2 Logic of Quantified Statements. Alexander Bukharovich New York University. Predicates. A predicate is a sentence that contains a finite number of variables and becomes a statement when specific values are substituted for the variables

199 views • 16 slides

Logic Statements Foldable

Logic Statements Foldable. Statement. A straight angle has a measure of 180˚. Conditional Statement “If . . . Then”. If hypothesis, then conclusion. If an angle is a straight angle, then it measures 180˚. Converse. “switch”. If conclusion, then hypothesis.

401 views • 14 slides

Chapter 2 – Logic

Chapter 2 – Logic . Analyzing Arguments. ANALYZING ARGUMENTS. Arguments can be analyzed, once recognized, by paraphrasing them or by diagramming them . Paraphrasing involves setting forth the argument in a clear and precise form. Excercises p 39-41

335 views • 7 slides

Digital Logic Chapter 2

Digital Logic Chapter 2. Number Conversions Digital Systems by Tocci. Binary  Decimal. Convert a binary number, 100101 2 , to a decimal number by summing the positional weights that contain “1”. 32 + 0 + 0 + 4 + 0 + 1 = 37 10. How about Decimal  Binary?.

524 views • 26 slides

Chapter 2 Logic

Chapter 2 Logic. 2.1 Statements 2.2 The Negation of a Statement 2.3 The Disjunction and Conjunction of Statements 2.4 The Implication 2.5 More on Implications 2.6 The Biconditional 2.7 Tautologies and Contradictions 2.8 Logical Equivalence

690 views • 35 slides

Discrete Mathematics Lecture 1 Logic of Compound Statements

Discrete Mathematics Lecture 1 Logic of Compound Statements. Alexander Bukharovich New York University. Administration. Class Web Site http://cs.nyu.edu/courses/summer03/G22.2340-001/index.htm Mailing List Subscribe at http://cs.nyu.edu/mailman/listinfo/g22_2340_001_su03

464 views • 32 slides

Chapter 2: The Logic of Quantified Statements. Predicate Calculus

Chapter 2: The Logic of Quantified Statements. Predicate Calculus. 2.3 Arguments with Quantified Statements. Instructor: Hayk Melikya melikyan@nccu.edu. Argument #1 Universal instantiation. Universal instantiation is the fundamental tool for deductive reasoning. All men are mortal.

390 views • 21 slides

Lab 4 Compound Logical Statements

Lab 4 Compound Logical Statements. Qutaiba Albluwi Introduction to MIS (ITD2011). Question 1 (AND function with 3 statements). If a student got: Above 15 in exam1 AND Above 15 in exam2 AND Above 30 in the final (true) Excellent Student (false)  Average Student.

260 views • 8 slides

Chapter 2 Combinational logic

Chapter 2 Combinational logic. Combinational logic. Basic logic Boolean algebra, proofs by re-writing, proofs by perfect induction logic functions, truth tables, and switches NOT, AND, OR, NAND, NOR, XOR, . . ., minimal set Logic realization two-level logic and canonical forms

874 views • 55 slides

LOGIC-3 Chapter 2

LOGIC-3 Chapter 2. Paul Thagard (2005). Mind: An Introduction to Cognitive Science. 2 nd Edition. MIT Press. Summary last class…. Inference rules for Propositional Logic Inference rules, validity and tautologies in Truth Tables Equivalences in Propositional Logic

604 views • 40 slides

The Logic of Compound Statements 2.1 and 2.2

The Logic of Compound Statements 2.1 and 2.2. Instructor: Hayk Melikya melikyan@nccu.edu. Logic. Logic is not only the foundation of mathematics, but also is important in numerous fields including law, medicine, and science. Although the study of logic originated in antiquity,

542 views • 28 slides

LOGIC-2 Chapter 2

LOGIC-2 Chapter 2. Paul Thagard (2005). Mind: An Introduction to Cognitive Science. 2 nd Edition. MIT Press. Propositional Logic. (Russel and Norvig). TRUTH TABLES. Negation. Disjunction. Conjunction. TRUTH TABLES. Conditional. Biconditional. Summary so far.

718 views • 43 slides

Chapter 2. Logic

Chapter 2. Logic. Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email ： weiqi.luo@yahoo.com Office ： A309. Chapter two: Logic. 2.1. Propositions and Logical Operation 2.2. Conditional Statements 2.3. Methods of Proof 2.4. Mathematical Induction

803 views • 59 slides

Chapter 2, Predicate Logic

Chapter 2, Predicate Logic. Definitions. Subject / predicate John / went to the store. The sky / is blue. Propositional logic- uses statements Predicate logic or calculus- uses predicates predicates must be applied to a subject in order to be true or false P(x)

672 views • 34 slides

Compound Statements

If you want to do more than one statement if an IF-else case, you can form a block of statements, or compound statement, by enclosing the list of statements in curly braces ({ }). The statements in side of the braces will be executed sequentially, and the block counts as one statement.

559 views • 40 slides

Chapter 3 The Logic of Quantified Statements

Chapter 3 The Logic of Quantified Statements. Predicates. A predicate is a sentence with a finite number of variables, and it normally does not have any truth value. A predicate becomes a statement when specific values are substituted for the variables. Examples: P( x ): x 2 – 3 x + 2 = 0

515 views • 20 slides

LOGIC Chapter 2

LOGIC Chapter 2. Paul Thagard (2005). Mind: An Introduction to Cognitive Science. 2 nd Edition. MIT Press. Review of Ch 1: Representation and Computation. Cognitive Modelling Computational Representational Understanding of Mind (CRUM) framework History of Cognitive Science.

522 views • 38 slides

Chapter 2 Fundamentals of Logic

Discrete and Combinatorial Mathematics R. P. Grimaldi , 5 th edition, 2004. Chapter 2 Fundamentals of Logic. Logic. Logic = the study of correct reasoning Use of logic In mathematics: to prove theorems In computer science: to prove that programs do what they are supposed to do.

1.39k views • 54 slides

Section 1.8: Statements of Logic

Section 1.8: Statements of Logic. Declarative vs. Conditional. Consider Theorem 1 dealing with right angles Declarative form: “Two right angles are congruent.” Conditional form: “If two angles are right angles, then they are congruent.”. Conditional Statement. 2 important parts

176 views • 9 slides

Chapter 2 Analysis of Financial Statements

Chapter 2 Analysis of Financial Statements. Financial Ratio Analysis. Are our decisions maximizing shareholder wealth?. We will want to answer questions about the firm’s Liquidity Efficient use of Assets Leverage (financing) Profitability. We will want to answer questions about the firm’s

940 views • 76 slides

Compound Statements

Compound Statements. Lesson 1.3. And and or Statements. P and Q  The statement p and q is true when, and only when, only p and q are true. Symbol: ^ P or Q  The statement p or q is true when either p is true or q is true. Symbol: V. Truth Table. Other definitions.

239 views • 9 slides

More Related