What does a countermodel establish?
The Fourth Figure: Productive Conditions, Moods and Proofs
- The premises contradict each other
- The conclusion is not entailed by the premises
- Every other mood is also invalid
- The conclusion can hold only if made particular