CS100: DISCRETE STRUCTURES. Lecture 5: Logic (Ch1)
|
|
- Jeremy Murphy
- 6 years ago
- Views:
Transcription
1 CS100: DISCREE SRUCURES Lecture 5: Logic (Ch1)
2 Lecture Overview 2 Statement Logical Connectives Conjunction Disjunction Propositions Conditional Bio-conditional Converse Inverse Contrapositive Laws of Logic Quantifiers Universal Existential
3 What is a Statement? 3 A statement is a sentence having a form that is typically used to express acts Examples: My name is Rawan I like orange 4 2 = 3 Do you live in Riyadh?
4 1.1 Propositional Logic 4 A proposition is a declarative sentence (a sentence that declares a fact) that is either true or false, but not both. Are the following sentences propositions? Riyadh is the capital of K.S.A. Read this carefully. 2+2=3 (Yes) x+1=2 What time is it ake two books. he sun will rise tomorrow. (Yes) (No à Because it is not declarative sentence) (No à Because it is neither true or false) (No à Because it is not declarative sentence) (No à Because it is not declarative sentence) (Yes)
5 Logical Connectives and Compound Statement 5 In mathematics, the letters x, y, z, are used to donate numerical variables that can be replaced by real numbers. hose variables can then be combined with the familiar operations +, -, x,. In logic, the letters p, q, r, s, denote the propositional variables; that can be replaced by a statements.
6 1.1 Propositional Logic 6 Propositional Logic: the area of logic that deals with propositions Propositional Variables: variables that represent propositions: p, q, r, s E.g. Proposition p oday is riday. ruth values:,
7 1.1 Propositional Logic 7 DEINIION 1 Examples ind the negation of the following propositions and express this in simple English. n Let p be a proposition. he negation of p, denoted by p, is the statement It is not the case that p. he proposition p is read not p. he truth value of the negation of p, p is the opposite of the truth value of p. oday is riday. Solution: he negation is It is not the case that today is riday. In simple English, oday is not riday. or It is not riday today. n At least 10 inches of rain fell today in Miami. Solution: he negation is It is not the case that at least 10 inches of rain fell today in Miami. In simple English, Less than 10 inches of rain fell today in Miami.
8 1.1 Propositional Logic 8 Exercise.. Give the negation of the following: p: > 1 p: q: It is cold. q: It is not cold. r: r: = 5 g: 2 is a positive integer g: 2 is not a positive integer. OR g: 2 is a zero or negative integer.
9 1.1 Propositional Logic 9 ruth table: he ruth able for the Negation of a Proposition. p p Logical operators are used to form new propositions from two or more existing propositions. he logical operators are also called connectives.
10 1.1 Propositional Logic 10 DEINIION 2 Let p and q be propositions. he conjunction of p and q, denoted by p Λ q, is the proposition p and q. he conjunction p Λ q is true when both p and q are true and is false otherwise. he ruth able for the Conjunction of wo Propositions. p q p Λ q
11 1.1 Propositional Logic 11 Example ind the conjunction of the propositions p and q where p is the proposition oday is riday. and q is the proposition It is raining today., and the truth value of the conjunction. Solution: he conjunction is the proposition oday is riday and it is raining today OR oday is riday but it is raining. he proposition is: RUE à on rainy ridays. ALSE à on any day that is not a riday and on ridays when it does not rain.
12 1.1 Propositional Logic 12 DEINIION 3 Let p and q be propositions. he disjunction of p and q, denoted by p ν q, is the proposition p or q. he disjunction p ν q is false when both p and q are false and is true otherwise. Note: inclusive or : he disjunction is true when at least one of the two propositions is true. E.g. Students who have taken calculus or computer science can take this class. those who take one OR both classes. he ruth able for the Disjunction of wo Propositions. p q p ν q
13 1.1 Propositional Logic 13 Example ind the disjunction of the propositions p and q where p is the proposition oday is riday. and q is the proposition It is raining today., and the truth value of the conjunction. Solution: he conjunction is the proposition oday is riday or it is raining today he proposition is: RUE à whether today is ridays or a rainy day including rainy ridays ALSE à on days that are not a ridays and when it does not rain.
14 1.1 Propositional Logic 14 exclusive or : he disjunction is true only when one of the proposition is true. E.g. Students who have taken calculus or computer science, but not both, can take this class. only those who take ONE of them.
15 1.1 Propositional Logic 15 DEINIION 4 Let p and q be propositions. he exclusive or of p and q, denoted by p q, is the proposition that is true when exactly one of p and q is true and is false Å otherwise. he ruth able for the Exclusive Or (XOR) of wo Propositions. p q p q Å
16 1.1 Propositional Logic 16 DEINIION 5 Conditional Statements Let p and q be propositions. he conditional statement p q, is the Å proposition if p, then q. he conditional statement is false when p is true and q is false, and true otherwise. In the conditional statement p q, p is called the hypothesis (or antecedent or premise) and q is called the conclusion (or consequence). l A conditional statement is also called an implication. l Example: If I am elected, then I will lower taxes. implication: p q p q elected, lower taxes. not elected, lower taxes. not elected, not lower taxes. elected, not lower taxes.
17 1.1 Propositional Logic 17 Example: Let p be the statement Maria learns discrete mathematics. and q the statement Maria will find a good job. Express the statement p q as a statement in English. Solution: Any of the following - If Maria learns discrete mathematics, then she will find a good job. Maria will find a good job when she learns discrete mathematics. or Maria to get a good job, it is sufficient for her to learn discrete mathematics. Maria will find a good job unless she does not learn discrete mathematics.
18 1.1 Propositional Logic 18 Other conditional statements: Converse of p q : q p Contrapositive of p q : q p Inverse of p q : p q Equivalent Statements: Statements with the same truth table values. Converse and Inverse are equivalents. Contrapositive and p q are equivalents.
19 1.1 Propositional Logic 19 p q has the same truth value as (p q) Λ (q p) DEINIION 6 Let p and q be propositions. he biconditional statement p q is the proposition p if and only if q. he biconditional statement p q is true when p and q have the same truth values, and is false otherwise. Biconditional statements are also called bi-implications. if and only if can be expressed by iff Example: Let p be the statement You can take the flight and let q be the statement You buy a ticket. hen p q is the statement You can take the flight if and only if you buy a ticket. Implication: If you buy a ticket you can take the flight. If you don t buy a ticket you cannot take the flight.
20 1.1 Propositional Logic 20 he ruth able for the Biconditional p q. p q p q
21 1.1 Propositional Logic 21 Exercise.. Let p and q be the propositions p : I bought a lottery ticket this week. q : I won the million dollar jackpot on riday. Express each of these propositions as an English sentence. 1) p 2) p q 3) p q I did not buy a lottery ticket this week. If I did not buy a lottery ticket this week, then I did not win the million dollar jackpot on riday. I did not buy a lottery ticket this week, and I did not win the million dollar jackpot on riday.
22 1.1 Propositional Logic 22 ruth ables of Compound Propositions We can use connectives to build up complicated compound propositions involving any number of propositional variables, then use truth tables to determine the truth value of these compound propositions. Example: Construct the truth table of the compound proposition (p ν q) (p Λ q) he ruth able of (p ν q) (p Λ q). p q q p ν q p Λ q (p ν q) (p Λ q)
23 ypes of statements 23 A statements that is true for all possible values of its propositional variables is called tautology (p q) (q p) p p Examples of a autology and a Contradiction. p p p ν p p Λ p A statement that is always false is called contradiction p p A statement that can be either true or false, depending of the values of its propositional variables, is called a contingency (p q) (p q)
24 1.1 Propositional Logic 24 Precedence of Logical Operators We can use parentheses to specify the order in which logical operators in a compound proposition are to be applied. o reduce the number of parentheses, the precedence order is defined for logical operators. Precedence of Logical Operators. Operator Precedence 1 Λ ν E.g. p Λ q = ( p ) Λ q p Λ q ν r = (p Λ q ) ν r p ν q Λ r = p ν (q Λ r)
25 1.1 Propositional Logic 25 Exercise.. find the truth table of the following proposition p ( ( q p)) p q p q p ( q p) p ( ( q p))
26 1.1 Propositional Logic 26 ranslating English Sentences English (and every other human language) is often ambiguous. ranslating sentences into compound statements removes the ambiguity. Example: How can this English sentence be translated into a logical expression? You cannot ride the roller coaster if you are under 4 feet tall and you are not older than 16 years old. Solution: Let q, r, and s represent You can ride the roller coaster, You are under 4 feet tall, and You are older than 16 years old. he sentence can be translated into: (r Λ s) q.
27 1.1 Propositional Logic 27 Example: How can this English sentence be translated into a logical expression? You can access the Internet from campus only if you are a computer science major or you are not a freshman. Solution: Let a, c, and f represent You can access the Internet from campus, You are a computer science major, and You are a freshman. he sentence can be translated into: a (c ν f ).
28 1.1 Propositional Logic 28 Exercise.. Write the following statement in logic : If I do not study discrete structure and I go to movie, then I am in a good mood. Solution : p: I study discrete structure, q: I go to movie, r: I am in a good mood ( p q ) r
29 1.1 Propositional Logic 29 Logic and Bit Operations Computers represent information using bits. A bit (Binary Digit) is a symbol with two possible values, 0 and 1. By convention, 1 represents (true) and 0 represents (false). A variable is called a Boolean variable if its value is either true or false. Bit operation replace true by 1 and false by 0 in logical operations. able for the Bit Operators OR, AND, and XOR. x y x y x y x y
30 1.1 Propositional Logic 30 DEINIION 7 A bit string is a sequence of zero or more bits. he length of this string is the number of bits in the string. Example: ind the bitwise OR, bitwise AND, and bitwise XOR of the bit string and Solution: bitwise OR bitwise AND bitwise XOR
31 1.2 Propositional Equivalences 31 Introduction DEINIION 1 A compound proposition that is always true, no matter what the truth values of the propositions that occurs in it, is called a tautology. A compound proposition that is always false is called a contradiction. A compound proposition that is neither a tautology or a contradiction is called a contingency. Examples of a autology and a Contradiction. p p p ν p p Λ p
32 1.2 Propositional Equivalences 32 DEINIION 2 Logical Equivalences he compound propositions p and q are called logically equivalent if p q is a tautology. he notation p q denotes that p and q are logically equivalent. Compound propositions that have the same truth values in all possible cases are called logically equivalent. Example: Show that p ν q and p q are logically equivalent. ruth ables for p ν q and p q. p q p p ν q p q
33 1.2 Propositional Equivalences 33 Exercise.. Show that this statements ((p q) (p q)) is tautology, by using he truth table : p q q p p q (p q) (p q)
34 Laws of Logic 34 Identity Laws Ø p v p Ø p ^ p Domination Laws Ø p v Ø P ^
35 Laws of Logic 35 Idempotent Laws Ø p v p p Ø p ^ p p Double Negation Law Ø ( p) p Commutative Laws Ø p v q q v p Ø p ^ q q ^ p
36 Laws of Logic 36 Association Laws Ø (p v q ) v r p v (q v r) Distributive Laws Ø p v (q ^ r ) (p v q) ^ (p v r) Ø p ^ (q v r) (p ^ q) v (p ^ r) Ø
37 Contd. 37 De Morgan s Laws Ø Ø ~ (p v q) ~p ^ ~q Ø ~ (p ^ q) ~p v ~q Absorption Laws Ø p v (p ^ q) Ø p ^ (p v q) p p
38 Contd. 38 Complement Laws Ø p v ~p p ^ ~p Ø ~ ~p p ~, ~ p q p q (p q ) p Λ q Note: See tables 7 & 8 page 25
39 1.2 Propositional Equivalences 39 Constructing New Logical Equivalences Example: Show that (p q ) and p Λ q are logically equivalent. Solution: (p q ) ( p ν q) ( p) Λ q p Λ q (by the second De Morgan law) (by the double negation law)
40 1.2 Propositional Equivalences 40 Example: Show that (p Λ q) (p ν q) is a tautology. Solution: o show that this statement is a tautology, we will use logical equivalences to demonstrate that it is logically equivalent to. (p Λ q) (p ν q) (p Λ q) ν (p ν q) ( p ν q) ν (p ν q) (by the first De Morgan law) ( p ν p) ν ( q ν q) (by the associative and communicative law for disjunction) ν Note: he above examples can also be done using truth tables.
41 Exercises 41 v Simplify the following statement (p v q ) ^ ~p v Show that ~p ^ (~q ^ r) v (q ^ r) v (p ^ r) r (p q) v (p r) p q v r
42 Exercises Continue 42 (p v q ) ^ ~p ~p ^ ( p v q ) ( ~p ^ p ) v ( ~ p ^ q ) v ( ~p ^ q ) ~p ^ q
43 Exercises Continue 43 ~p ^ (~q ^ r) v (q ^ r) v (p ^ r) r ~p ^ r ^ (~q v q) v (p ^ r) ~p ^ r ^ v (p ^ r) ~p ^ r v (p ^ r) (~p ^ r) v (p ^ r) r ^ (~p v p) r ^ r
44 Exercises Continue 44 (p q) v (p r) p q v r p q ( p r ) p q p r p p q r p q r p ( q r ) p ( q r )
45 Exercises Continue 45 Show that this statements ( q (p q ) p is tautology, by using he laws of logic : ( q (p q ) p ( q ( p q ) p q ( p q ) p ( p q ) ( p q )
46 Exercises Continue 46 Without using truth tables prove the statement (P ( P q)) q is tautology. (P ( P q)) q p p q q p ( p q q p q p q
47 1.5 Rules of Inference page Valid Arguments in Propositional Logic: DEINIION 1 An argument in propositional logic is a sequence of propositions. All but the final proposition in the final argument are called premises and the final proposition is called the conclusion.. An argument is valid of the truth of all its premises implies that the conclusion is true. An argument form in propositional logic is a sequence of compound propositions involving propositional variables. 25-Mar-17
48 1.5 Rules of Inference page Example: If you have access to the network, then you can change your grade You have access to the network You can change your grade Valid Argument 25-Mar-17
49 Rules of Inference for Propositional Logic: 49 We can always use a truth table to show that an argument form is valid. his is a tedious approach. when, for example, an argument involves 9 different propositional variables. o use a truth table to show this argument is valid. It requires 2⁹= 512 different rows!!!!!!! 25-Mar-17
50 Rules of Inference: 50 ortunately, we do not have to resort to truth tables. Instead we can first establish the validity of some simple argument forms, called rules of inference. hese rules of inference can then be used to construct more complicated valid argument forms. 25-Mar-17
51 51 25-Mar-17 Rules of Inference p p q q q p q p p q q r p r p v q P q p (p v q) p ^ q p p q (p ^ q) p v q p v r q v r Rules of Inference autology Name [p ^ (p q)] q [ q ^ (p q)] p [(p q) ^ (q r)] (p r) [(p v q) ^ p] q p (p v q) (p ^ q) p (p) ^ (q) (p ^ q) (p v q) ^ ( p v r) (q v r) Modus ponens Modus tollens Hypothetical syllogism Disjunctive syllogism Addition Simplification Conjunction Resolution
52 Rules of Inference (Cont.) : 52 EXAMPLE State which rule of inference is the basis of the following statement: it is below freezing now. herefore, it is either freezing or raining now SOLUION: Let p: it is below freezing now q: it is raining now hen this argument is of the form p (Addition) p v q 25-Mar-17
53 Rules of Inference (Cont.) : 53 EXAMPLE it is below freezing and it is raining now. herefore, it is below freezing SOLUION: Let p: it is below freezing now q: it is raining now hen this argument is of the form p ^ q (Simplification) p 25-Mar-17
54 Rules of Inference (Cont.) : 54 What rule of inference is used in each of these arguments? 25-Mar-17 If it is rainy, then the pool will be closed. It is rainy. herefore, the pool is closed. SOLUION: Let p: It is rainy q: the pool is closed hen this argument is of the form p p q (Modus ponens) q
55 Rules of Inference (Cont.) : 55 What rule of inference is used in each of these arguments? 25-Mar-17 If I go swimming, then I will stay in the sun too long. If I stay in the sun too long, then I will sunburn. herefore, if I go swimming, then I will sunburn. SOLUION: Let p: I go swimming q: I stay in the sun too long r: I will sunburn hen this argument is of the form p q q r (Hypothetical syllogism) p r
56 Rules of Inference (Cont.) : 56 What rule of inference is used in each of these arguments? 25-Mar-17 If it snows today, the university will close. he university is not closed today. herefore, it did not snow today. SOLUION: Let p: it snows today q: he university is not closed today hen this argument is of the form q p q (Modus tollens) p
57 Using Rules of Inference to Build Arguments: 57 When there are many premises, several rules of inference are often needed to show that an argument is valid. 25-Mar-17
58 58 Using Rules of Inference to Build Arguments (Cont.): ind the argument form for the following argument and determine whether it is valid or invalid. If I try hard and I have talent, then I will become a musician. If I become a musician, then I will be happy. If I will not happy, then I did not try hard or I do not have talent. It's valid, Hypothetical syllogism. 25-Mar-17
59 59 Using Rules of Inference to Build Arguments (Cont.): If I drive to work, then I will arrive tired. ind the argument form for the following argument and determine whether it is valid or invalid. I do not drive to work. I will not arrive tired. It's invalid 25-Mar-17
60 60 Using Rules of Inference to Build Arguments (Cont.): ind the argument form for the following argument and determine whether it is valid or invalid. I will become famous or I will become a writer. I will not become a writer. I will become famous Its valid, Disjunctive syllogism 25-Mar-17
61 61 Using Rules of Inference to Build Arguments (Cont.): If taxes are lowered, then income rises. ind the argument form for the following argument and determine whether it is valid or invalid. Income rises. axes are lowered It's invalid 25-Mar-17
62 Using Rules of Inference to Build Arguments (Cont.) : 62 EXAMPLE Show that the hypotheses it is not sunny this afternoon and it is colder than yesterday, we will go swimming only if it is sunny, if we do not go swimming, then we will take a canoe trip, and if we take a canoe trip, we will be home by sunset. lead to we will be home by sunset 25-Mar-17
63 Using Rules of Inference to Build Arguments (Cont.) : 63 Let p: it is sunny this afternoon SOLUION q: it is colder than yesterday r: we will go swimming s: we will take a canoe trip t: we will be home by sunset he hypotheses become p ^ q, r p, r s, s t the conclusion is t 25-Mar-17
64 Cont d: 64 We construct an argument to show that our hypotheses lead to desired conclusion as follows Step Reason 1. p ^ q Hypothesis 2. p Simplification using (1) 3. r p Hypothesis 4. r Modus tollens (2,3) 5. r s Hypothesis 6. s Modus ponens (4,5) 7. s t Hypothesis 8. t Modus ponens (6,7) Note that if we used the truth table, we would end up with 32 rows!!! 25-Mar-17
65 Resolution: 65 Computer programs make use of rule of inference called resolution to automate the task of reasoning and proving theorems. his rule of inference is based on the tautology ((p v q) ^ ( p v r)) ( q v r ) 25-Mar-17
66 Resolution (Cont.): 66 Use resolution to show that the hypotheses Jasmine is skiing or it is not snowing EXAMPLE and it is snowing or Bart is playing hockey imply that Jasmine is skiing or Bart is playing hockey 25-Mar-17
67 Resolution (Cont.): 67 p: it is snowing, q: Jasmine is skiing, r: Bart is playing hockey SOLUION We can represent the hypotheses as p v q and p v r, respectively Using Resolution, the proposition q v r, Jasmine is skiing or Bart is playing hockey follows 25-Mar-17
68 1.3 Quantifiers page v So far we have discussed the propositions in which each statement has been about a particular object. In this section we shall see how to write propositions that are about whole classes of objects. v Consider the statement: p: x is an even number v he truth value of p depends on the value of x. e.g. p is true when x = 4, and false when x = 7
69 1.Universal Quantifiers 69 DEINIION 1 he universal quantification of p(x) is the statement P(x) for all values of x in the domain. he notation x P(x) denotes the universal quantification of P(x). Here is called the universal quantifier. We read x P(x) as for all x P(x) or for every x P(x). An element for which P(x) is false called counterexample of x P(x) or all values of x, P(x) is true. or every x or any x x Every x We assume that only values of x that make sense in P(x) are considered. x P(x)
70 1.Universal Quantifiers 70 Example 8.. Let P(X) be the statement x+1>x. What is the truth value of the quantification x P(x), where the domain consists of all real numbers? Solution he quantification x P(x),is true because P(x) is true for all real numbers.
71 1.Universal Quantifiers 71 Example 9.. Let Q(X) be the statement x < 2. What is the truth value of the quantification x Q(x), where the domain consists of all real numbers? Solution Q(x) is not true for every real number x, because Q(3) is false. hat is, x=3 is a counterexample for the statement x Q(x), thus x Q(x) is false
72 1.Universal Quantifiers 72 Example 11.. What is the truth value of the quantification x P(x), where P(X) is the statement x 2 < 10 and the domain consists of the positive integers not exceeding 4? Solution he statement x P(x) is the same as the conjunction P(1) ^ P(2) ^ P(3) ^ P(4) Because the domain consists of the positive integers 1,2,3 and 4. Because P(4), which the statement 4 2 < 10 is false, it follows that x P(x) is false.
73 2.Existential Quantifiers 73 DEINIION 2 he essential quantification of p(x) is the proposition here exists an element x in the domain such that P(x). We use the notation x P(x) for the essential quantification of P(x). Here is called the essential quantifier. In some situations, we only require that there is at least one value for which the predicate is true. he existential quantification of a predicate P(x) is the statement there exists a value of x, for which P(x) is true. x P(x) here is a dog without tail ( a dog) (a dog without tail)
74 2.Existential Quantifiers 74 Example 16.. What is the truth value of x P(x), where P(X) is the statement x 2 > 10 and the universe of discourse consists of the positive integers not exceeding 4? Solution Because the domain is {1, 2, 3, 4}, the proposition x P(x) is the same as the disjunction P(1) v P(2) v P(3) v P(4) Because P(4), which the statement 4 2 > 10 is true, it follows that x P(x) is true.
75 Quantifiers - Negation 75 Rule: x p(x) à x p(x) x p(x) à x p(x) Negate the following: ( integers x) (x > 8) à ( an integer x) (x 8) Negate the following; ( an integer x) (0 x 8) à ( integers x) (x < 0 OR x > 8)
76 Quantifiers 76 Exercise.. p(x): x is even q(x): x is a prime number r(x,y): x+y is even. Write an English sentence that represent the following : A. x P(x) B. x Q(x) C. x y R(x,y) ind negation for a. and b. for every x where x is even there is exists x where x is a prime number for all x there exists y where x+y is even x p(x) x q(x) there is exist x where x is odd for every x where x not prime number
77 Any Questions 77 Refer to chapter 1 of the book for further reading
Discrete Mathematical Structures. Chapter 1 The Foundation: Logic
Discrete Mathematical Structures Chapter 1 he oundation: Logic 1 Lecture Overview 1.1 Propositional Logic 1.2 Propositional Equivalences 1.3 Quantifiers l l l l l Statement Logical Connectives Conjunction
More informationsoftware design & management Gachon University Chulyun Kim
Gachon University Chulyun Kim 2 Outline Propositional Logic Propositional Equivalences Predicates and Quantifiers Nested Quantifiers Rules of Inference Introduction to Proofs 3 1.1 Propositional Logic
More information2/2/2018. CS 103 Discrete Structures. Chapter 1. Propositional Logic. Chapter 1.1. Propositional Logic
CS 103 Discrete Structures Chapter 1 Propositional Logic Chapter 1.1 Propositional Logic 1 1.1 Propositional Logic Definition: A proposition :is a declarative sentence (that is, a sentence that declares
More informationDISCRETE MATHEMATICS BA202
TOPIC 1 BASIC LOGIC This topic deals with propositional logic, logical connectives and truth tables and validity. Predicate logic, universal and existential quantification are discussed 1.1 PROPOSITION
More informationECOM Discrete Mathematics
ECOM 2311- Discrete Mathematics Chapter # 1 : The Foundations: Logic and Proofs Fall, 2013/2014 ECOM 2311- Discrete Mathematics - Ch.1 Dr. Musbah Shaat 1 / 85 Outline 1 Propositional Logic 2 Propositional
More informationLogic Overview, I. and T T T T F F F T F F F F
Logic Overview, I DEFINITIONS A statement (proposition) is a declarative sentence that can be assigned a truth value T or F, but not both. Statements are denoted by letters p, q, r, s,... The 5 basic logical
More informationIntro to Logic and Proofs
Intro to Logic and Proofs Propositions A proposition is a declarative sentence (that is, a sentence that declares a fact) that is either true or false, but not both. Examples: It is raining today. Washington
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 information3/29/2017. Logic. Propositions and logical operations. Main concepts: propositions truth values propositional variables logical operations
Logic Propositions and logical operations Main concepts: propositions truth values propositional variables logical operations 1 Propositions and logical operations A proposition is the most basic element
More informationWhy Learning Logic? Logic. Propositional Logic. Compound Propositions
Logic Objectives Propositions and compound propositions Negation, conjunction, disjunction, and exclusive or Implication and biconditional Logic equivalence and satisfiability Application of propositional
More informationLecture 2. Logic Compound Statements Conditional Statements Valid & Invalid Arguments Digital Logic Circuits. Reading (Epp s textbook)
Lecture 2 Logic Compound Statements Conditional Statements Valid & Invalid Arguments Digital Logic Circuits Reading (Epp s textbook) 2.1-2.4 1 Logic Logic is a system based on statements. A statement (or
More information1 The Foundations. 1.1 Logic. A proposition is a declarative sentence that is either true or false, but not both.
he oundations. Logic Propositions are building blocks of logic. A proposition is a declarative sentence that is either true or false, but not both. Example. Declarative sentences.. Ottawa is the capital
More informationLogic and Proof. Aiichiro Nakano
Logic and Proof Aiichiro Nakano Collaboratory for Advanced Computing & Simulations Department of Computer Science Department of Physics & Astronomy Department of Chemical Engineering & Materials Science
More informationChapter Summary. Propositional Logic. Predicate Logic. Proofs. The Language of Propositions (1.1) Applications (1.2) Logical Equivalences (1.
Chapter 1 Chapter Summary Propositional Logic The Language of Propositions (1.1) Applications (1.2) Logical Equivalences (1.3) Predicate Logic The Language of Quantifiers (1.4) Logical Equivalences (1.4)
More informationExample. Logic. Logical Statements. Outline of logic topics. Logical Connectives. Logical Connectives
Logic Logic is study of abstract reasoning, specifically, concerned with whether reasoning is correct. Logic focuses on relationship among statements as opposed to the content of any particular statement.
More informationDiscrete Mathematics and Applications COT3100
Discrete Mathematics and Applications CO3100 Dr. Ungor Sources: Slides are based on Dr. G. Bebis material. uesday, January 7, 2014 oundations of Logic: Overview Propositional logic: (Sections 1.1-1.3)
More informationChapter 1, Part I: Propositional Logic. With Question/Answer Animations
Chapter 1, Part I: Propositional Logic With Question/Answer Animations Chapter Summary Propositional Logic The Language of Propositions Applications Logical Equivalences Predicate Logic The Language of
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 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 informationLogic. Logic is a discipline that studies the principles and methods used in correct reasoning. It includes:
Logic Logic is a discipline that studies the principles and methods used in correct reasoning It includes: A formal language for expressing statements. An inference mechanism (a collection of rules) to
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 informationChapter 1, Section 1.1 Propositional Logic
Discrete Structures Chapter 1, Section 1.1 Propositional Logic These class notes are based on material from our textbook, Discrete Mathematics and Its Applications, 6 th ed., by Kenneth H. Rosen, published
More informationRules of Inference. Arguments and Validity
Arguments and Validity A formal argument in propositional logic is a sequence of propositions, starting with a premise or set of premises, and ending in a conclusion. We say that an argument is valid if
More informationCSC Discrete Math I, Spring Propositional Logic
CSC 125 - Discrete Math I, Spring 2017 Propositional Logic Propositions A proposition is a declarative sentence that is either true or false Propositional Variables A propositional variable (p, q, r, s,...)
More informationChapter 1: The Logic of Compound Statements. January 7, 2008
Chapter 1: The Logic of Compound Statements January 7, 2008 Outline 1 1.1 Logical Form and Logical Equivalence 2 1.2 Conditional Statements 3 1.3 Valid and Invalid Arguments Central notion of deductive
More informationProposition/Statement. Boolean Logic. Boolean variables. Logical operators: And. Logical operators: Not 9/3/13. Introduction to Logical Operators
Proposition/Statement Boolean Logic CS 231 Dianna Xu A proposition is either true or false but not both he sky is blue Lisa is a Math major x == y Not propositions: Are you Bob? x := 7 1 2 Boolean variables
More information1 The Foundation: Logic and Proofs
1 The Foundation: Logic and Proofs 1.1 Propositional Logic Propositions( 명제 ) a declarative sentence that is either true or false, but not both nor neither letters denoting propositions p, q, r, s, T:
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 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 informationReview: Potential stumbling blocks
Review: Potential stumbling blocks Whether the negation sign is on the inside or the outside of a quantified statement makes a big difference! Example: Let T(x) x is tall. Consider the following: x T(x)
More information1 The Foundation: Logic and Proofs
1 The Foundation: Logic and Proofs 1.1 Propositional Logic Propositions( ) a declarative sentence that is either true or false, but not both nor neither letters denoting propostions p, q, r, s, T: true
More informationCSCI Homework Set 1 Due: September 11, 2018 at the beginning of class
CSCI 3310 - Homework Set 1 Due: September 11, 2018 at the beginning of class ANSWERS Please write your name and student ID number clearly at the top of your homework. If you have multiple pages, please
More informationDiscrete Structures of Computer Science Propositional Logic III Rules of Inference
Discrete Structures of Computer Science Propositional Logic III Rules of Inference Gazihan Alankuş (Based on original slides by Brahim Hnich) July 30, 2012 1 Previous Lecture 2 Summary of Laws of Logic
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 informationPropositional Logic. Spring Propositional Logic Spring / 32
Propositional Logic Spring 2016 Propositional Logic Spring 2016 1 / 32 Introduction Learning Outcomes for this Presentation Learning Outcomes... At the conclusion of this session, we will Define the elements
More informationMathacle. PSet ---- Algebra, Logic. Level Number Name: Date: I. BASICS OF PROPOSITIONAL LOGIC
I. BASICS OF PROPOSITIONAL LOGIC George Boole (1815-1864) developed logic as an abstract mathematical system consisting of propositions, operations (conjunction, disjunction, and negation), and rules for
More information1.1 Statements and Compound Statements
Chapter 1 Propositional Logic 1.1 Statements and Compound Statements A statement or proposition is an assertion which is either true or false, though you may not know which. That is, a statement is something
More informationPropositional Logic. Propositional Equivalences. Agenda. Yutaka HATA, IEEE Fellow. Ch1.1 Propositional Logic. Ch1.2 Propositional Equivalences
Discrete Mathematic Chapter 1: Logic and Proof 1.1 Propositional Logic 1.2 Propositional Equivalences Yutaka HAA, IEEE ellow University of Hyogo, JAPAN his material was made by Dr. Patrick Chan School
More informationCompound Propositions
Discrete Structures Compound Propositions Producing new propositions from existing propositions. Logical Operators or Connectives 1. Not 2. And 3. Or 4. Exclusive or 5. Implication 6. Biconditional Truth
More informationChapter 1 Elementary Logic
2017-2018 Chapter 1 Elementary Logic The study of logic is the study of the principles and methods used in distinguishing valid arguments from those that are not valid. The aim of this chapter is to help
More informationLOGIC & PROPOSITIONAL EQUIVALENCE
KS091201 MATEMATIKA DISKRIT (DISCRETE MATHEMATICS ) LOGIC & PROPOSITIONAL EQUIVALENCE Discrete Math Team 2 -- KS091201 MD W-02 Outline Logic Proposition Propositional Variables Logical Operators Presedence
More informationUnit I LOGIC AND PROOFS. B. Thilaka Applied Mathematics
Unit I LOGIC AND PROOFS B. Thilaka Applied Mathematics UNIT I LOGIC AND PROOFS Propositional Logic Propositional equivalences Predicates and Quantifiers Nested Quantifiers Rules of inference Introduction
More informationEECS 1028 M: Discrete Mathematics for Engineers
EECS 1028 M: Discrete Mathematics for Engineers Suprakash Datta Office: LAS 3043 Course page: http://www.eecs.yorku.ca/course/1028 Also on Moodle S. Datta (York Univ.) EECS 1028 W 18 1 / 26 Why Study Logic?
More informationTools for reasoning: Logic. Ch. 1: Introduction to Propositional Logic Truth values, truth tables Boolean logic: Implications:
Tools for reasoning: Logic Ch. 1: Introduction to Propositional Logic Truth values, truth tables Boolean logic: Implications: 1 Why study propositional logic? A formal mathematical language for precise
More informationCOMP 182 Algorithmic Thinking. Proofs. Luay Nakhleh Computer Science Rice University
COMP 182 Algorithmic Thinking Proofs Luay Nakhleh Computer Science Rice University 1 Reading Material Chapter 1, Section 3, 6, 7, 8 Propositional Equivalences The compound propositions p and q are called
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 informationChapter 4, Logic using Propositional Calculus Handout
ECS 20 Chapter 4, Logic using Propositional Calculus Handout 0. Introduction to Discrete Mathematics. 0.1. Discrete = Individually separate and distinct as opposed to continuous and capable of infinitesimal
More informationReview. Propositions, propositional operators, truth tables. Logical Equivalences. Tautologies & contradictions
Review Propositions, propositional operators, truth tables Logical Equivalences. Tautologies & contradictions Some common logical equivalences Predicates & quantifiers Some logical equivalences involving
More informationCSE 240 Logic and Discrete Mathematics
CSE 240 Logic and Discrete Mathematics Instructor: odd Sproull Department of Computer Science and Engineering Washington University in St. Louis 1Extensible - CSE 240 Logic Networking and Discrete Platform
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 informationDefinition 2. Conjunction of p and q
Proposition Propositional Logic CPSC 2070 Discrete Structures Rosen (6 th Ed.) 1.1, 1.2 A proposition is a statement that is either true or false, but not both. Clemson will defeat Georgia in football
More informationICS141: Discrete Mathematics for Computer Science I
ICS141: Discrete Mathematics for Computer Science I Dept. Information & Computer Sci., Originals slides by Dr. Baek and Dr. Still, adapted by J. Stelovsky Based on slides Dr. M. P. Frank and Dr. J.L. Gross
More informationIntroduction to Sets and Logic (MATH 1190)
Introduction to Sets Logic () Instructor: Email: shenlili@yorku.ca Department of Mathematics Statistics York University Sept 18, 2014 Outline 1 2 Tautologies Definition A tautology is a compound proposition
More informationChapter 1, Part I: Propositional Logic. With Question/Answer Animations
Chapter 1, Part I: Propositional Logic With Question/Answer Animations Chapter Summary! Propositional Logic! The Language of Propositions! Applications! Logical Equivalences! Predicate Logic! The Language
More informationNote: The area of logic that deals with propositions is called the propositional calculus or propositional logic.
Ch. 1.1 Logic Logic 1 Def. A Proposition is a statement that is either true or false. Example 1: Which of the following are propositions? Statement Proposition (yes or no) UHD is a University 1 + 3 = 0
More informationMAT2345 Discrete Math
Fall 2013 General Syllabus Schedule (note exam dates) Homework, Worksheets, Quizzes, and possibly Programs & Reports Academic Integrity Do Your Own Work Course Web Site: www.eiu.edu/~mathcs Course Overview
More informationWhat is Logic? Introduction to Logic. Simple Statements. Which one is statement?
What is Logic? Introduction to Logic Peter Lo Logic is the study of reasoning It is specifically concerned with whether reasoning is correct Logic is also known as Propositional Calculus CS218 Peter Lo
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 informationPacket #2: Set Theory & Predicate Calculus. Applied Discrete Mathematics
CSC 224/226 Notes Packet #2: Set Theory & Predicate Calculus Barnes Packet #2: Set Theory & Predicate Calculus Applied Discrete Mathematics Table of Contents Full Adder Information Page 1 Predicate Calculus
More informationLogic and Propositional Calculus
CHAPTER 4 Logic and Propositional Calculus 4.1 INTRODUCTION Many algorithms and proofs use logical expressions such as: IF p THEN q or If p 1 AND p 2, THEN q 1 OR q 2 Therefore it is necessary to know
More informationLogic. Definition [1] A logic is a formal language that comes with rules for deducing the truth of one proposition from the truth of another.
Math 0413 Appendix A.0 Logic Definition [1] A logic is a formal language that comes with rules for deducing the truth of one proposition from the truth of another. This type of logic is called propositional.
More informationPropositional Logic. Jason Filippou UMCP. ason Filippou UMCP) Propositional Logic / 38
Propositional Logic Jason Filippou CMSC250 @ UMCP 05-31-2016 ason Filippou (CMSC250 @ UMCP) Propositional Logic 05-31-2016 1 / 38 Outline 1 Syntax 2 Semantics Truth Tables Simplifying expressions 3 Inference
More informationDiscrete Structures & Algorithms. Propositional Logic EECE 320 // UBC
Discrete Structures & Algorithms Propositional Logic EECE 320 // UBC 1 Review of last lecture Pancake sorting A problem with many applications Bracketing (bounding a function) Proving bounds for pancake
More informationTHE LOGIC OF COMPOUND STATEMENTS
THE LOGIC OF COMPOUND STATEMENTS All dogs have four legs. All tables have four legs. Therefore, all dogs are tables LOGIC Logic is a science of the necessary laws of thought, without which no employment
More informationCSCI-2200 FOUNDATIONS OF COMPUTER SCIENCE
1 CSCI-2200 FOUNDATIONS OF COMPUTER SCIENCE Spring 2015 February 5, 2015 2 Announcements Homework 1 is due now. Homework 2 will be posted on the web site today. It is due Thursday, Feb. 12 at 10am in class.
More informationCHAPTER 1. MATHEMATICAL LOGIC 1.1 Fundamentals of Mathematical Logic
CHAPER 1 MAHEMAICAL LOGIC 1.1 undamentals of Mathematical Logic Logic is commonly known as the science of reasoning. Some of the reasons to study logic are the following: At the hardware level the design
More information2/13/2012. Logic: Truth Tables. CS160 Rosen Chapter 1. Logic?
Logic: Truth Tables CS160 Rosen Chapter 1 Logic? 1 What is logic? Logic is a truth-preserving system of inference Truth-preserving: If the initial statements are true, the inferred statements will be true
More informationAn Introduction to Logic 1.1 ~ 1.4 6/21/04 ~ 6/23/04
An Introduction to Logic 1.1 ~ 1.4 6/21/04 ~ 6/23/04 1 A Taste of Logic Logic puzzles (1) Knights and Knaves Knights: always tell the truth Knaves: always lie You encounter two people A and B. A says:
More informationA. Propositional Logic
CmSc 175 Discrete Mathematics A. Propositional Logic 1. Statements (Propositions ): Statements are sentences that claim certain things. Can be either true or false, but not both. Propositional logic deals
More informationSec$on Summary. Propositions Connectives. Truth Tables. Negation Conjunction Disjunction Implication; contrapositive, inverse, converse Biconditional
Section 1.1 Sec$on Summary Propositions Connectives Negation Conjunction Disjunction Implication; contrapositive, inverse, converse Biconditional ruth ables 2 Proposi$ons A proposition is a declarative
More informationLogic and Proofs. (A brief summary)
Logic and Proofs (A brief summary) Why Study Logic: To learn to prove claims/statements rigorously To be able to judge better the soundness and consistency of (others ) arguments To gain the foundations
More informationPropositional Logic 1
Propositional Logic 1 Section Summary Propositions Connectives Negation Conjunction Disjunction Implication; contrapositive, inverse, converse Biconditional Truth Tables 2 Propositions A proposition is
More informationBoolean Logic. CS 231 Dianna Xu
Boolean Logic CS 231 Dianna Xu 1 Proposition/Statement A proposition is either true or false but not both The sky is blue Lisa is a Math major x == y Not propositions: Are you Bob? x := 7 2 Boolean variables
More informationBoolean Algebra and Proof. Notes. Proving Propositions. Propositional Equivalences. Notes. Notes. Notes. Notes. March 5, 2012
March 5, 2012 Webwork Homework. The handout on Logic is Chapter 4 from Mary Attenborough s book Mathematics for Electrical Engineering and Computing. Proving Propositions We combine basic propositions
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 informationLogic, Sets, and Proofs
Logic, Sets, and Proofs David A. Cox and Catherine C. McGeoch Amherst College 1 Logic Logical Operators. A logical statement is a mathematical statement that can be assigned a value either true or false.
More informationEECS 1028 M: Discrete Mathematics for Engineers
EECS 1028 M: Discrete Mathematics for Engineers Suprakash Datta Office: LAS 3043 Course page: http://www.eecs.yorku.ca/course/1028 Also on Moodle S. Datta (York Univ.) EECS 1028 W 18 1 / 12 Using the laws
More informationThe Logic of Compound Statements cont.
The Logic of Compound Statements cont. CSE 215, Computer Science 1, Fall 2011 Stony Brook University http://www.cs.stonybrook.edu/~cse215 Refresh from last time: Logical Equivalences Commutativity of :
More informationPHI Propositional Logic Lecture 2. Truth Tables
PHI 103 - Propositional Logic Lecture 2 ruth ables ruth ables Part 1 - ruth unctions for Logical Operators ruth unction - the truth-value of any compound proposition determined solely by the truth-value
More informationLogic. Def. A Proposition is a statement that is either true or false.
Logic Logic 1 Def. A Proposition is a statement that is either true or false. Examples: Which of the following are propositions? Statement Proposition (yes or no) If yes, then determine if it is true or
More informationFormal Logic. Critical Thinking
ormal Logic Critical hinking Recap: ormal Logic If I win the lottery, then I am poor. I win the lottery. Hence, I am poor. his argument has the following abstract structure or form: If P then Q. P. Hence,
More informationThe statement calculus and logic
Chapter 2 Contrariwise, continued Tweedledee, if it was so, it might be; and if it were so, it would be; but as it isn t, it ain t. That s logic. Lewis Carroll You will have encountered several languages
More informationCS 2740 Knowledge Representation. Lecture 4. Propositional logic. CS 2740 Knowledge Representation. Administration
Lecture 4 Propositional logic Milos Hauskrecht milos@cs.pitt.edu 5329 Sennott Square dministration Homework assignment 1 is out Due next week on Wednesday, September 17 Problems: LISP programming a PL
More informationMat 243 Exam 1 Review
OBJECTIVES (Review problems: on next page) 1.1 Distinguish between propositions and non-propositions. Know the truth tables (i.e., the definitions) of the logical operators,,,, and Write truth tables for
More informationLOGIC CONNECTIVES. Students who have an ACT score of at least 30 OR a GPA of at least 3.5 can receive a college scholarship.
LOGIC In mathematical and everyday English language, we frequently use logic to express our thoughts verbally and in writing. We also use logic in numerous other areas such as computer coding, probability,
More informationProving logical equivalencies (1.3)
EECS 203 Spring 2016 Lecture 2 Page 1 of 6 Proving logical equivalencies (1.3) One thing we d like to do is prove that two logical statements are the same, or prove that they aren t. Vocabulary time In
More informationPropositional Equivalence
Propositional Equivalence Tautologies and contradictions A compound proposition that is always true, regardless of the truth values of the individual propositions involved, is called a tautology. Example:
More informationDiscrete Mathematics. Sec
Islamic University of Gaza Faculty of Engineering Department of Computer Engineering Fall 2011 ECOM 2311: Discrete Mathematics Eng. Ahmed Abumarasa Discrete Mathematics Sec 1.1-1.6 The Foundations: Logic
More informationIntroduction Propositional Logic. Discrete Mathematics Andrei Bulatov
Introduction Propositional Logic Discrete Mathematics Andrei Bulatov Discrete Mathematics Propositional Logic 2-2 What is Logic? Computer science is a mere continuation of logic by other means Georg Gottlob
More informationCS1021. Why logic? Logic about inference or argument. Start from assumptions or axioms. Make deductions according to rules of reasoning.
3: Logic Why logic? Logic about inference or argument Start from assumptions or axioms Make deductions according to rules of reasoning Logic 3-1 Why logic? (continued) If I don t buy a lottery ticket on
More informationLogic and Truth Tables
Logic and ruth ables What is a ruth able? A truth table is a tool that helps you analyze statements or arguments in order to verify whether or not they are logical, or true. here are five basic operations
More informationn Empty Set:, or { }, subset of all sets n Cardinality: V = {a, e, i, o, u}, so V = 5 n Subset: A B, all elements in A are in B
Discrete Math Review Discrete Math Review (Rosen, Chapter 1.1 1.7, 5.5) TOPICS Sets and Functions Propositional and Predicate Logic Logical Operators and Truth Tables Logical Equivalences and Inference
More informationDiscrete Mathematical Structures: Theory and Applications
Chapter 1: Foundations: Sets, Logic, and Algorithms Discrete Mathematical Structures: Theory and Applications Learning Objectives Learn about sets Explore various operations on sets Become familiar with
More informationHW1 graded review form? HW2 released CSE 20 DISCRETE MATH. Fall
CSE 20 HW1 graded review form? HW2 released DISCRETE MATH Fall 2017 http://cseweb.ucsd.edu/classes/fa17/cse20-ab/ Today's learning goals Translate sentences from English to propositional logic using appropriate
More informationConjunction: p q is true if both p, q are true, and false if at least one of p, q is false. The truth table for conjunction is as follows.
Chapter 1 Logic 1.1 Introduction and Definitions Definitions. A sentence (statement, proposition) is an utterance (that is, a string of characters) which is either true (T) or false (F). A predicate is
More information1.1 Language and Logic
c Oksana Shatalov, Spring 2018 1 1.1 Language and Logic Mathematical Statements DEFINITION 1. A proposition is any declarative sentence (i.e. it has both a subject and a verb) that is either true or false,
More informationICS141: Discrete Mathematics for Computer Science I
ICS141: Discrete Mathematics for Computer Science I Dept. Information & Computer Sci., Originals slides by Dr. Baek and Dr. Still, adapted by J. Stelovsky Based on slides Dr. M. P. Frank and Dr. J.L. Gross
More informationAnnouncements. CS311H: Discrete Mathematics. Propositional Logic II. Inverse of an Implication. Converse of a Implication
Announcements CS311H: Discrete Mathematics Propositional Logic II Instructor: Işıl Dillig First homework assignment out today! Due in one week, i.e., before lecture next Wed 09/13 Remember: Due before
More informationOverview. 1. Introduction to Propositional Logic. 2. Operations on Propositions. 3. Truth Tables. 4. Translating Sentences into Logical Expressions
Note 01 Propositional Logic 1 / 10-1 Overview 1. Introduction to Propositional Logic 2. Operations on Propositions 3. Truth Tables 4. Translating Sentences into Logical Expressions 5. Preview: Propositional
More informationPropositional logic ( ): Review from Mat 1348
CSI 2101 / Winter 2008: Discrete Structures. Propositional logic ( 1.1-1.2): Review from Mat 1348 Dr. Nejib Zaguia - Winter 2008 1 Propositional logic: Review Mathematical Logic is a tool for working with
More information