Here is an interesting article by Paul Helm on the importance of making good distinctions, which is something especially needed when studying, reading and thinking theology.
Helm first shows that there is a difference between consistency, inconsistency and entailment, such that each of these propositions are different.
- Propositions p and q are consistent.
- Propositions p and q (~p) are inconsistent because they are self-contradictory.
- Proposition p entails proposition q, such that if p is true, q must necessary be true
You can read more about it and other distinctions here.