If A, then B If B, then C So if A, then C
Modus Ponens
Modus Tollens
Hypothetical Syllogism
Constructive Dilemma
If A, then B A So, B
Disjunction
Conditional Statement
Either A or B Not A So B
Disjunctive Syllogism
Antecedent
Either A or B If A then C If B then D So either C or D
Negation
Either A or B Not B So A
If A, then B Not B So, Not A
The denial of a statement is a .
An is an if-then statement.
A consequent is a statement.
The "inclusive OR" is...
A
B
or both
The "exclusive OR" is...
A disjunction is...
"Either A or B"
"A or B or both"
"Only A or only B"
Disjuncts are...
Variables in a disjunction
Variables in a statement
Formally valid arguments are valid because ONLY because of the form, not the contents within the argument.
Valid Argument Form: every substation instance is a valid argument
An argument form is
Famous
A pattern of reasoning
The set of variables in an argument
An unsound argument can have 2 true premises
In a sound argument, all the premises are true
An invalid argument is made when:
The conclusion is true while the premises are false.
The conclusion is false while the premises are true.
If the premises are true then the conclusion is true. This is a argument.
The premises make the conclusion plausible. This is Inductive Deductive( Inductive, Deductive ) Reasoning.
The premises guarantee the conclusion. This is Deductive Inductive( Deductive, Inductive ) reasoning.
A statement is:
A declarative statement that is either true or false.
A declarative statement without truth value.
Something that must have truth value.
An argument is made up of:
Statements that support the conclusion.
Statements.
2 false premises and a true conclusion.