EECS 1019 Lecture Notes - Fall 2018 Lecture 1 - Contraposition, Logical biconditional, Sentence (linguistics)
21 Sep 2018
School
Course
Professor
EECS 1019 verified notes
1/9View all
1
EECS 1019 Lecture Notes - Fall 2018 Lecture 1 - Contraposition, Logical biconditional, Sentence (linguistics)
2
EECS 1019 Lecture Notes - Fall 2018 Lecture 2 - Truth table, Propositional function, Distributive property
3
EECS 1019 Lecture Notes - Lecture 3: Modus Tollens, Modus Ponens, Hypothetical Syllogism
Document Summary
Chapter 1: the foundation logic + proof. A proposition is a declarative sentence which is either true or false but not both. Yes p, q, r will be used to denote propositions. What operations can be used: negation: p ( not p , conjunction: p q ( p and q , disjunction: p q ( p or q ) T p q p q p q. F: p is true when p is false, p q is true when both p and q are true, p q is true when at least one of p or q is true. Exclusive or (aka xor) is denoted by p q and is true when exactly one of p or q is true and is false otherwise. Try to express p q in terms of and p q p q p q. F (p q) ( p q) p q.
