INFERENCE
INFERENCE
INFERENCE
• 2 KINDS OF INFERENCE
Immediate Inference
Mediate Inference
IMMEDIATE INFERENCE
S S
u u
b b
a a
l l
t t
e e
r r
n n
s s
Rules:
(1) If one proposition is true, the other is false.
(2) If one proposition is false, the other is true.
Examples of Rule 1:
Symbol Truth Value Proposition
Examples of Rule 2:
Symbol Truth Value Proposition
Rules:
(1) If one proposition is true, the other is false.
(2) If one proposition is false, the other is doubtful.
Examples of Rule 1:
Symbol Truth Value Proposition
Examples of Rule 2:
Symbol Truth Value Proposition
Rules:
(1) If one subcontrary is falsee, the other is false.
(2) If one subcontrary is true, the other is doubtful.
Examples of Rule 1:
Symbol Truth Value Proposition
Examples of Rule 2:
Symbol Truth Value Proposition