What's the difference between →, ⊢ and ⊨ ?
→
From my point of view, → is a logic operator, which is defined by a truth table.
E.g. In propositional logic, an entailment operator (→) has a truth table of:
p
q
p→q
T
T
T
T
F
F
F
T
T...
原创
2019-01-07 17:01:02 ·
2211 阅读 ·
0 评论