rule of inference
systematic logical process capable of deriving a conclusion from hypotheses
resolution
in logic, rule of inference
universal generalization
rule in predicate logic
existential generalization
inference rule that infers “there exists an A that is B” from “A is B”
tautology
common rule of replacement in propositional logic
Universal instantiation
Rule of inference in predicate logic
absorption
inference rule where, given P→Q, one deduces P→(P∧Q)
conjunction elimination
inference in propositional logic
material implication
rule of inference
cut rule
inference rule, generalisation of the modus ponens, in sequent calculus
rule of replacement
inference rule that may be applied to only a particular segment of an expression
Conjunction introduction
rule of inference of propositional logic
disjunction introduction
inference introducing a disjunction in logical proofs
contraposition
inference that says that a conditional statement is logically equivalent to its contrapositive
existential instantiation
Rule of inference in predicate logic
Exportation
Rule of replacement in propositional logic
De Morgan's laws
pair of transformation rules that are both valid rules of inference
disjunctive syllogism
inference rule in logics : with "A or B" and "not A" deduce "B"
commutativity of conjunction
rule of inference
constructive dilemma
Rule of inference of propositional logic
disjunction elimination
Rule of inference of propositional logic
negation introduction
logical rule of inference where the conclusion is that a proposition is false
structural rule
inference rule that does not refer to any logical connective, but instead operates on the judgment or sequents directly
destructive dilemma
Rule of inference of propositional logic
contraposition
form of immediate inference in which a proposition is inferred from another