Search
Browse
Create
Log in
Sign up
Log in
Sign up
Upgrade to remove ads
Only $2.99/month
Symbolic Logic 8 Basic Inference Rules
STUDY
Flashcards
Learn
Write
Spell
Test
PLAY
Match
Gravity
Terms in this set (8)
Modus Ponens (M.P)
Given a conditional and the antecedent of that conditional, you are permitted to infer the consequent of the conditional.
Modus Tollens (M.T)
Given a conditional and the negation of the consequent of the conditional, you are permitted to infer the negation of the antecedent of that conditional.
Hypothetical syllogism (H.S.)
Given two conditionals in which the consequent of the first is identical to the antecedent of the second, you may infer the conditional whose antecedent and consequent is the second consequent.
Simplification (Simp.)
From a conjunction as a premise, we may infer either of the conducts separately as a conclusion.
Conjunction (Conj.)
Given any two statements, we may infer their conjunction.
Disjunctive Syllogism (D.S)
Given a disjunction and the negation of one of the disjuncts, you may infer the other disjunct.
Addition (Add.)
Given any statement, you may infer any disjunction that statement as one of the disjuncts.
Dilemma (Dil.)
Given two conditionals and the disjunction of the antecedents of those conditionals, we may infer the disjunction of the consequences of the conditionals.
THIS SET IS OFTEN IN FOLDERS WITH...
Unit 2 Vocab
5 terms
Symbols for Sentential Operators
5 terms
Unit 3 Vocab
2 terms
Truth- Tables
20 terms
YOU MIGHT ALSO LIKE...
PHIL 240 TAMU Exam 1
58 terms
Two Column Proof- Geometry
27 terms
Two Column Proof
27 terms
Two Column Proof
27 terms
OTHER SETS BY THIS CREATOR
Yugoslavia Map
8 terms
AH 3102
2 terms
Rules of Replacement
10 terms
Microeconomics Exam 1 Terms and Concepts
43 terms