This book concentrates on using logic as a tool: making and using formal proofs and disproofs of particular logical claims.
这本书专心于使用逻辑作为一件工具︰做和使用特别的合乎逻辑的索赔的正式的证据和反证物。
2
It becomes much easier then for each of us to aim every day at conclusive disproofs - at strong inference - without either reluctance or combativeness.