A declarative sentence that is either true or false. The emphasis here will be on logic as a working tool. Learn laws logic discrete with free interactive flashcards. Discrete mathematicslogic wikibooks, open books for an. Fundamentals of logics for discrete math flashcards quizlet. Propositional logic basics propositional equivalences normal forms boolean functions and digital circuits propositional logic.
A truth table is a mathematical table used in logicspecifically in connection with boolean algebra, boolean functions, and propositional calculusto compute the functional values of logical expressions on each of their functional arguments, that is, on each combination of values taken by their logical variables enderton, 2001. The zybooks approach less text doesnt mean less learning. This rule allows us to infer prove facts from other facts, if we. It is the study of mathematical structures that are fundamentally discrete in nature and it. Rules and laws of logic used in discrete mathematics.
Discrete mathematics introduction to firstorder logic 1027 universal quanti ers i universal quanti cationof p x, 8x. It deals with continuous functions, differential and integral calculus. Which ones of the following sentences are propositions. The ability to reason using the principles of logic is key to seek the truth which is our goal in mathematics. Propositional logic is a very important topic in discrete mathematics. Predicate logic richard mayr university of edinburgh, uk richard mayr university of edinburgh, uk discrete mathematics. A proposition is a statement that is either true or false. Richard mayr university of edinburgh, uk discrete mathematics. It adds the concept of predicates and quantifiers to better capture the meaning of statements that cannot be adequately expressed by propositional logic. Choose from 500 different sets of laws logic discrete flashcards on quizlet. Therefore, alice is either a math major or a csi major. Discrete mathematics propositional logic the rules of mathematical logic specify methods of reasoning. Notes on discrete mathematics northwestern university.
Introduction to logic introduction i introduction ii examples i. We now present three simple examples to illustrate this. Wuct121 logic 3 in a similar way, logic deals with statements or sentences by defining symbols and establishing rules. This is a book about discrete mathematics which also discusses mathematical reasoning and logic. If this class is discrete mathematics, or this class is not discrete mathematics. In the recursive definition of a set, the first rule is the basis of recursion, the second rule.
Cheat sheetstudy sheet for a discrete math class that covers sequences, recursive formulas, summation, logic, sets, power sets, functions, combinatorics, arrays and matrices. The method for drawing up a truth table for any compound expression is described below, and four examples then follow. Use the laws of logic to show that the following logical expression is a tautology without the truth table. Discrete mathematics propositional logic tutorialspoint. Propositional logic consists of statements that are either true or false but not both at the same time, and the boolean operators and and or. Laws of thought, traditionally, the three fundamental laws of logic. Discrete mathematics topics, applications and examples. Examples write negations of each of the following statements. This zybook demonstrates how to translate english descriptions of everyday scenarios into precise mathematical statements that can then be used for formal analysis. Covers set theory, logic, counting, permutations and combinations, functions, relations, number theory, proofs, and formal grammar. Wuct121 logic tutorial exercises solutions 1 wuct121 discrete mathematics logic tutorial exercises solutions 1. Laws of logicdiscrete mathematicslecture handout docsity. Wuct121 logic 1 wuct121 discrete mathematics logic 1.
Any subject in computer science will become much more easier after learning discrete mathematics. It deals with variables that can have two discrete values, 0 false and 1 true. The earliest method of manipulating symbolic logic was invented by george boole and subsequently came to be known as boolean algebra. Ecs 20 chapter 4, logic using propositional calculus 0.
Logic logic is commonly known as the science of reasoning. It is important to adopt a rigorous approach and to keep your work neat. This is a course on discrete mathematics as used in computer science. A visually animated interactive introduction to discrete mathematics. Jul 17, 2017 today we talk about different laws in logic. Maria will find a good job when she learns discrete mathematics. From a night class at fordham university, nyc, fall, 2008. If maria learns discrete mathematics, then she will find a good job. Example using laws of logic, verify the logical equivalence p. Hauskrecht course administration homework 1 first homework assignment is out today will be posted on the course web page due next. We will develop some of the symbolic techniques required for computer logic. Discrete math cheat sheetstudy sheetstudy guide in pdf. It is also called decision mathematics or finite mathematics. It deals with objects that can have distinct separate values.
Examples of objectswith discrete values are integers, graphs, or statements in logic. Before we explore and study logic, let us start by spending some time motivating this topic. Apr 29, 2016 in this video we use logic laws to reduce propositional logic as much as possible. Predicate logic predicate logic is an extension of propositional logic. The first of the negation laws is also called law of excluded middle. Propositional calculus or logic is the study of the logical. In logic, we form new statements by combining short statements using connectives. Rules of inference for propositional logic which rule of inference is used in each argument below. The aim of this part of the discrete mathematics course is to introduce fundamental concepts and techniques in set theory in preparation for its many. Someone already stated this with set notation specifically in negating a negation, this extends to logical negations as well.
Predicate logic question1 a every real number that is not zero is either positive or negative. Discrete mathematics, set theory, and logic discrete math, graph theory, combinatorics, recurrence relations difference equations, set theory, gene. Discrete mathematics and the laws of logic mathematics. It is the study of mathematical structures that are fundamentally discrete in nature and it does not require the notion of continuity. Discrete mathematicslogicexercises wikibooks, open books. Wuct121 logic tutorial exercises solutions 8 section 2. Extend propositional logic by the following new features. The technical term for these is predicates and when we study them in logic, we need to use predicate logic. Discrete individually separate and distinct as opposed to continuous and capable of infinitesimal change. P x is true if predicate p is true foreveryobject in the universe of discourse, and false otherwise. That is, 1 for all propositions p, it is impossible for both p and not p to be true, or symbolically.
You will notice that our statement above still used the propositional logical connectives. Mathematics is the only instructional material that can be presented in an entirely undogmatic way. Propositions a proposition is a declarative sentence that is either true or false. In logic, we form new statements by combining short. Every statement in propositional logic consists of propositional. These laws are used universally in mathematics, so memorizing the names and these rules will be very helpful in later mathematics. Discrete mathematics discrete mathematics study of mathematical structures and objects that are fundamentally discrete rather than continuous. P x, is the statement px holds for all objects x in the universe of discourse. Maria will find a good job when she learns discrete. Discrete mathematics and its applications lecture 1. In logic, a a contradiction is a proposition that is always false. Problems on discrete mathematics1 chungchih li2 kishan mehrotra3 syracuse university, new york latex at january 11, 2007 part i 1no part of this book can be reproduced without permission from the authors. Some of the reasons to study logic are the following.
Greek philosopher, aristotle, was the pioneer of logical reasoning. It is important to stress that predicate logic extends propositional logic much in the way quantum mechanics extends classical mechanics. Wuct121 discrete mathematics logic tutorial exercises solutions. Discrete mathematics boolean algebra with introduction, sets theory, types of sets, set operations, algebra of sets, multisets, induction, relations, functions and algorithms etc. Discrete mathematics deals with the study of mathematical structures. Im here to help you learn your college courses in an easy, efficient manner. A similar construction can be done to transform formulae into disjunctive normal form. In this video we use logic laws to reduce propositional logic as much as possible. Lecture 4 laws of logic laws of logic introduction. Wuct121 discrete mathematics logic tutorial exercises. The following propositions are logically equivalent.
Logic please note that the material on this website is not intended to be exhaustive. A compound propositioncan be created from other propositions using logical connectives. Propositional logic is a mathematical system for reasoning. At the hardware level the design of logic circuits to implement in. Problems on discrete mathematics1 ltex at january 11, 2007. Mastering discrete math discrete mathematics is such a crucial event for any computer science engineer. Rules and laws of logic used in discrete mathematics learn with flashcards, games, and more for free.
91 749 148 1243 585 1451 188 1484 1254 1018 1530 221 1009 6 1211 187 958 931 1246 1644 177 1472 713 756 688 752 475 1175 1508 625 882 40 817 837 1470 974 899 127 766 919 127 853 699 1342 613 1013