Symbols and Operators
A logical operator that is only true with both propositions are true
What is a conjunction?
This is another word for a proposition
What is a statement?
A logical operator that is only false when the antecedent is true and the conclusion is false
What is a conditional (hypothetical)?
This symbol negates a given proposition
What is the tilde?
What is the vee?
A logical operator that is true when at least one of the propositions is true
What is a disjunction?
A logical operator that is true with both propositions are the same
What is a biconditional?
p
:. pvvq
What is a addition? (Add)
When using a shorter truth tale for determining validity you need this many rows
What is one?
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 is a proposition that is false by logical structure.
What is a self-contradiction?
Identify this symbolic proposition: p v ~p
What is a tautology?
If a propositions has true premises and a false conclusion then it is this.
What is invalid?
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?
This is a proposition that is always true due to its logical structure.
What is a tautology?
pvvq
~p
:.q
What is a disjunctive Syllogism (D.S.)
(psupq)cdot (rsups)
pvvr
:. qvvs
What is a Constructive Delima (C. D.)
Name the problem with this proposition: ~(p v ~p)
What is a contradiction?
Determine the validity for the following:
p v q ~p :.p-= q
What is invalid (third row)
psupq
:. psup(p*q)
What is Absorption
If I think then I am
I think
Therefore I am
What is Modus Ponens (M.P.)
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.)
What is this an example of?
1. F sup W
2. ~F sup R
3. F v ~F // :.W v (~FcdotR)
What is a formal proof.
[(Fsup~C)vv(Q-=X)]sup(~EvvJ)
[(Fsup~C)vv(Q-=X)]//:.~EvvJ
What is Modus Ponens?
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.)