Answer by
andrewlpres (10)
This term is used in geometry to describe modus ponens, which is p=>q is true and p is true, then q must be true. This can be easily explained through an example: If a triangle is an equilateral triangle than it is not an isoceles triangle. Triangle A is an equilateral triangle. Therefore, Triangle A cannot be a isoceles triangle.