L6: LOGIC Flashcards
is any declarative sentence that is either TRUE or FALSE but NOT BOTH. We refer to T or F as the truth value of the statement.
STATEMENT
p, denoted by ~p (read as “not p”) is the statement whose truth value is the opposite of the truth value of p.
NEGATION
can be set up to show the truth value for different statements. Usually, each column represents a statement, and the rows below show different truth values possible.
TRUTH TABLE
p^q (read as “p and q”), is the statement that is true if and only if both p and q are true.
CONJUNCTION
p v q (read as “p or q”) is the statement that is true if and only if at least one of p and q is true.
DISCONJUNCTION
Are used to group statements together.
PARENTHESES
read as “If p, then q” is the statement that is true unless p is true and q is false
CONDITIONAL
“If p, then q, and If q then p”
BICONDITIONAL