What is Logic?
假设有个问题,没有人知道全部的答案,每个人都只观察到部分讯息,这时就可以引入逻辑思考,将部分观测拼出完整的地图。
Observation(sentences)−→−−−−EntailedConclusion−→−−−−ProofedExplanation
O
b
s
e
r
v
a
t
i
o
n
(
s
e
n
t
e
n
c
e
s
)
→
E
n
t
a
i
l
e
d
C
o
n
c
l
u
s
i
o
n
→
P
r
o
o
f
e
d
E
x
p
l
a
n
a
t
i
o
n