formal logic
(subgroup of
logic)
→
CapableOf
→
deal with contradiction
|
0.25 |