Logical Operators
This logical operator is only true when both propositions are true.
What is a conjunction?
This is another word for a proposition.
What is a statement?
psupq
:. psup(p*q)
What is Absorption?
When using a shorter truth tale for determining validity you need this many rows.
What is one?
DN is the abbreviation for for this rule of replacement.
What is Double Negation?
This symbol negates a given proposition.
What is the tilde?
If a propositions has true premises and a false conclusion then it is this.
What is invalid?
If I think then I am.
I think.
Therefore I am.
What is Modus Ponens (M.P.)?
To determine validity using a shorter truth table, you assume the conclusion to be this.
What is False?
This helpful rule of replacement makes it easy to change propositions from conditionals to disjunctions.
What is Material Implication (Impl)?
This is the symbol for a disjunction.
What is the vee?
This is a proposition that is always true due to its logical structure.
What is a tautology?
If I call upon the name of the Lord I will be saved.
I am not saved.
Therefore I did not call upon the name of the Lord.
What is Modus Tollens (M.T.)?
Use a shorter truth table to determine the validity of the following proposition:
If S then I, If S then Y, therefore I or Y
What is invalid?
Symbolize the following proposition:
If you study then you will pass the test. If you don't study then you will do something fun. Therefore you will either pass the test or do something fun
What is "( SsupT ), ( ~SsupF ), :. PvvF "
This logical operator is true when neither of the propositions are true.
What is a disjunction?
This is a proposition that is false by logical structure.
What is a self-contradiction?
(psupq)cdot (rsups)
pvvr
:. qvvs
What is a Constructive Delima (C. D.)?
Determine the validity for the following:
p v q ~p :.p-= q
What is invalid (third row)?
This rule of replacement is shown below in these symbolic propositions:
(p v p) ≡ p
(p ⋅ p) ≡ p
What is a tautology?
This logical operator is true with both propositions have the same truth value.
What is a biconditional?
Two propositions which are true at the same time are called this.
What is consistent?
If I study logic then I will do well in Logic Jeopardy.
If I do well in Jeopardy then I will be rewarded richly.
therefore if I study logic then I will be rewarded richly.
What is a Hypothetical Syllogism (H. S.)?
To use a shorter truth table to prove consistency between two premises, you assume both to be this.
What is true?
This special rule allows us to assume the negation of a proposition, deduce a self contradiction, then conclude the proposition.
What is Reductio ad Adsurdum?
This logical operator is only false when the antecedent is true and the conclusion is false.
What is a conditional (hypothetical)?
This is a valid argument form which can be used to justify the steps in a proof.
What is "Rule of Inference"?
[(Fsup~C)vv(Q-=X)]sup(~EvvJ)
[(Fsup~C)vv(Q-=X)]//:.~EvvJ
What is Modus Ponens?
To use a shorter truth table to determine equivalence, you must assume this about the two premises.
What is one is true and the other is false?
This special rule allows us to assume the antecedent of a conditional and, once we deduce the consequent, to conclude the entire conditional.
What is a Conditional Proof?