Text: A System of Logic
Entailment: The system is logical.
Contradiction: The system is illogical.