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.
~p q p ~q
What is LOGICALLY EQUIVALENT?
Use a shorter truth table to determine the validity of this symbolic argument.
p q q r ~r ~p
What is VALID?
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 p v ~q p q
What is VALID?
If the premises are assumed to be true, the conclusion must also be true.
What is VALIDITY? or What is a VALID ARGUMENT?
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 ~q ~p v 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?
An argument is _______ when the premises are true, and the conclusion is false.
What is INVALID? or What is an INVALID ARGUMENT?
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 LOGICALLY EQUIVALENT?
Use a shorter truth table to determine the validity of this symbolic argument.
p v q p r q ~r p r
What is VALID?
True or False: The negation of any self-contradiction is a tautology.
What is TRUE?
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 (q v r) ~(q r) s p s ~r
What is VALID?