Think

2019-04-11 从逻辑运算看证实和证伪