CPSC 311 - Module 1 Flashcards

What is the Conjunction/AND symbol?

∧

What is the Disjunction/OR symbol?

What is the Negation/NOT symbol?

What is the Implication (If-Then) symbol?

What is the Biconditional (If and Only If) symbol?

What is the Exclusive OR symbol?

What is an Exclusive OR?

Similar to an OR statement, but the truth values can not be the same. For example, if P and Q are both true, then it is False because they are the same.

What is an Implication?

The P is the IF and the Q is the THEN. The result of Q gives a true or false result based on the IF; watch for the THEN and whether it is False. If false, then check to see if the IF is also false. If they are not the same truth value, then the result is false.

What does Biconditional mean?

It matters if P and Q have the same value. If they do, the result is true, if not the result is false.

Establishes logical equivalency between two expressions

What is the THEREFORE symbol?

What does a THEREFORE mean?

It is used in proofs to summarize a collection of steps by the result of the proof. This is typically what the proofs is trying to prove as equal to the base expression

What is a Proposition?

A statement that is either true or false.

What is Tautology?

A statement that is always true.

What is a Contradiction?

Statement that is always false.

What is the converse of P —> Q?

Q —> P

What is the Inverse of P —> Q?

Not P —> Not Q

What is the contrapositive of P—>Q

Not Q —>Not P (logically equivalent to original)

What does Logical Equivalence mean)

Two statements that always have the same truth value.