MATH255 - Mid Term Exam Flashcards
(126 cards)
What is a statement
An expression that is either true or false, without ambiguity.Example: “I am a man”
What is a True Statement
Definition: A logically valid statement that is true.Example: “3 + 4 = 7”
What is a Not Statement
Definition: A statement negated using the “~” symbol.Example: “~(3 + 4 = 7)”
What is Ambiguity
Definition: Lack of clarity or uncertainty in a statement.Example: “x > 2” (ambiguous because it depends on the value of x)
What is There exists
Definition: Indicates the existence of at least one element satisfying a condition.Example: “There exists x such that x < 2”
What is a False Statement
Definition: A logically invalid statement that is false.Example: “If x^2 = 9, then x = 1 or x = -1”
What is a Conjunction
Definition: A logical operation that combines two statements into a single statement, true only if both original statements are true.Example: “It is raining outside” ^ “I am wearing a raincoat”p ^ q “and”
What is a Disjunction
Definition: A logical operation that combines two statements into a single statement, true if at least one of the original statements is true.Example: “I take the bus to school” v “I take the train to school”p v q “or”
What is a Conditional
Definition: A statement that implies that if one condition is met, another condition must also be met.Example: “If I work hard, then I do well.”p > q “implies”
What is a Tautology
Definition: A compound statement that is always true, regardless of the truth values of its components.Example: “p v ~p”
What is a Fallacy
Definition: A compound statement that is always false, regardless of the truth values of its components.Example: “p ^ ~p”
What is a Biconditional
Definition: A statement that implies two conditions are equivalent.Example: “x^3 = -8” <-> “x = -2”p <-> q “p implies q, but also q implies p”
What is Equivalence Laws
Definition: A set of logical laws that describe how logical operators interact with each other.Example: Commutative, Associative, Distributive, etc.
What is a Contingency
Definition: A statement that is sometimes true and sometimes false, neither a tautology nor a fallacy.Example: “p ^ q”
What is Equivalence
Definition: Two statements are logically equivalent if they have identical truth table values.Example: “p ≡ ~(~p)”
What is Substitution Rule
Definition: If in a tautology all instances of a variable are replaced by the same statement, it remains a tautology.Example: p^~p turns into q^~q
What is Distributive Laws
Definition: Laws stating how one operation distributes over another.Example: p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
What is Associative Laws
Definition: Laws stating that the grouping of operands does not change the result.Example: (p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
What is Commutative Laws
Definition: Laws stating that the order of operands does not change the result.Example: p ∨ q ≡ q ∨ p
What is Double Negation Law
Definition: The negation of a negated statement.Example: ∼∼ p ≡ p
What is De Morgan’s Laws
Definition: Laws describing how negation distributes over logical operators.Example: ∼(p ∨ q) ≡ ∼p ∧ ∼q
What is Implication Laws
Definition: Laws relating to conditional statements.Example: p ↔ q ≡ (p → q) ∧ (q → p)
What is Main Connective
Definition: The primary logical operator in a compound statement that binds it together.Example: In (p ∨ q) → (r ∧ s), “→” is the main connective.
What is Universal Quantifier
Definition: Symbolized as ∀, it means “For all.” Used in predicate logic to denote that a statement applies to all elements in a given domain.Example: ∀x ∈ D, p(x) means “For all x in the domain D, p(x) is true.”