A proposition that is always true due to its logical structure.
What is a TAUTOLOGY?
Assume A and B are true, X and Y are false, and P and Q are unknown. Determine the truth value of the following compound proposition:
~(A X)
What is TRUE?
The truth table for NEGATION.
What is:
_p__~p_
T F
F T
Determine if this pair of propositions is logically equivalent, contradictory or neither.
p ~p
What is CONTRADICTORY?
Use a shorter truth table to determine the validity of this symbolic argument.
p q ~q ~p
What is VALID?
A proposition that is false by logical structure.
What is a SELF-CONTRADICTION?
Assume A and B are true, X and Y are false, and P and Q are unknown. Determine the truth value of the following compound proposition:
(A ~X) ~B
What is FALSE?
The truth table for CONJUNCTION.
What is:
__p__q____p q_
T T T
T F F
F T F
F F F
Determine if this pair of propositions is logically equivalent, contradictory or neither.
b ~~b
What is LOGICALLY EQUIVALENT?
Use a shorter truth table to determine the validity of this symbolic argument.
p q p r q v r
What is INVALID?
Two propositions are ____________ if and only if they have identical truth values in a truth table.
What is LOGICALLY EQUIVALENT?
Assume A and B are true, X and Y are false, and P and Q are unknown. Determine the truth value of the following compound proposition:
~P (P Y)
What is TRUE?
The truth table for DISJUNCTION.
What is:
__p__q_____p v q_
T T T
T F T
F T T
F F F
Determine if this pair of propositions is logically equivalent, contradictory or neither.
(p v q) ~ (p q)
What is NEITHER?
Use a shorter truth table to determine the validity of this symbolic argument.
p q q r ~r ~p
What is VALID?
If the premises are true and the conclusion is true, an argument is _______ .
What is VALID?
Assume A and B are true, X and Y are false, and P and Q are unknown. Determine the truth value of the following compound proposition:
(P v ~P) ~B
What is FALSE?
The truth table for the CONDITIONAL.
What is:
_____p__q_____p q__
T T T
T F F
F T T
F F T
Determine if this pair of propositions is logically equivalent, contradictory or neither.
p ~q ~p v q
What is CONTRADICTORY?
Use a shorter truth table to determine the validity of this symbolic argument.
p v q q r ~r p
What is VALID?
If the premises are true and the conclusion is false, an argument is an argument is _______.
What is INVALID?
Assume A and B are true, X and Y are false, and P and Q are unknown. Determine the truth value of the following compound proposition:
Q (Y Q)
What is UNKNOWN?
Truth table for BICONDITIONAL.
What is:
____p__q____p q__
T T T
T F F
F T F
F F T
Determine if this pair of propositions is logically equivalent, contradictory or neither.
p ~q p q
What is CONTRADICTORY?
Use a shorter truth table to determine the validity of this symbolic argument.
p ~q p r ~(q ~r)
What is INVALID?