Topic 1 - Basic Concepts Flashcards
Define: Conjunction
A statement that is true if and only if both statements P and Q are true, denoted P ∧ Q
Define: Disjunction
A statement that is true if and only if either statements P or Q (or both) are true, denoted P ∨ Q.
Define: Negation
A statement that has the opposite truth value to that of P, denoted ¬P.
Define: Implication
A statement compounded by two statements (P and Q) of the form “if P…, then Q…”, denoted P ⇒ Q.
Define: Equivalence
A statement compounded by two statements (P and Q) such that P ⇒ Q and Q ⇒ P, denoted P ⇔ Q
Define: Set
A collection of distinct objects, called elements
Define: Function
A rule that assigns each element of a set A a unique element of a set B, denoted f: A → B.
T/F: The negation of “P ∧ Q” is “¬P ∨ ¬Q”.
True. The negation of “P ∧ Q” is “¬(P ∧ Q)”, which is equivalent to “¬P ∨ ¬Q” by De Morgan’s Law.
T/F: (P∧Q) ⇒ R is equivalent to ¬(P∧Q) ⇒ ¬R.
False. It is equivalent to ¬R ⇒ ¬(P∧Q) by the contrapositive proposition.