Why does “Not a triangle; therefore a square” fail for exclusion of conjunction?
Exceptive Syllogism: Valid Inferences from Connected and Disjunctive Conditionals
- The shape could be a circle
- Every triangle is a square
- Every square is a triangle
- Triangles and squares always coincide