Chapter 7 Term
What is the second part of the conditional called?
If I have a negated disjunction, what rule should I use?
What is DeMorgans?
When should you use conditional proof?
What is when the conclusion/goal's main operator is a conditional?
How many lines of justification are needed for Addition?
What is 1?
What nation is Dr. Raymond from?
What is Canada
What conditional rule is results in a negated antecedent?
What is Modus Tollens?
What 2 main operators are in Dilemma?
What is conditional and disjunction?
When should you use an indirect proof?
What is when you get stuck?
What is One?
What rule takes both parts of a conjunction and splits it up on 2 lines?
What is Simplification?
If I have a disjunction and the negation of one of the disjuncts, what can I get?
What is the other disjunct?
What do you have to have to solve an indirect proof?
What is a contradiction?
How many lines of justification are needed for Dilemma?
If I have a conjunction as the main operator in one of the premisies, what should I do?
What is simplify?
What is negated p disjunct q
What do you have to have to solve a conditional proof?
What is complete the proof with correct justifications?
How many lines of justification are needed for Conditional Proof?
What is 2?
If I have a negated antecedent and negated consequent in a conditional and the consequent not negated- what do I need to do to it to be able to use Modus Tollens?
What is double negation?
If I have a conjunction of two conditionals and both conditionals have the same p and q, but on opposite sides of the conditional- what rule can I use?
What is Biconditional Exchange?
What part of the conditional goes on the top in a conditional proof?
What is the antecedent?
How many lines of justification are needed for H.S.?
What is 2?