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?