Symbols and Operators
A logical operator that is only true with both propositions are true
What is a conjunction?
What is the science and art of reasoning?
This is a proposition that is always true due to its logical structure.
What is a tautology?
You need this many rows for a propositional argument with four variables
What is 16
This is the symbol for a conjunction
A logical operator that is true when at least one of the propositions is true
What is a disjunction?
This is another word for a proposition
What is a statement?
This is a proposition that is false by logical structure.
What is a self-contradiction?
When using a shorter truth tale for determining validity you need this many rows
What is one?
What is the vee?
A logical operator that is true with both propositions are the same
What is a biconditional?
This represents a single proposition and is typically symbolized with a capital letter
What is a propositional constant?
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?
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 "(If S then P), (If ~S then F), therefore (P v F)"
This symbol negates a given proposition
What is the tilde?
What is a propositional variable?
Identify this symbolic proposition: p v ~p
What is a tautology?
Determine the validity for the following:
p v q ~p therefore p if and only if q
What is invalid (third row)
What is 8?
A logical operator that is only false when the antecedent is true and the conclusion is false
What is a conditional (hypothetical)?
The biconditional cab be placed between two propositions in order to check for these three things
What are Logical Equivalence, non-equivalence, and contradiction?
Name the problem with this proposition: ~(p v ~p)
What is a contradiction?
What is true?
Develop a truth table for the compound proposition ~p v q
Show on board