logic

Logical inference from accepted truths leads to consistent reasoning. If two parties disagree then there is an error in their