On the circles in this help file the letters SMP are used. In LogicCoach more descriptive letters are used as appropriate. To discover the full meaning of the letter, click on it. The meaning will then appear highlighted in the English argument.
Fill in the diagram for the premises. If, in doing this, a diagram for the conclusion is also drawn, then the argument is valid. Otherwise, the argument is invalid. (The vertical line in the shaded area is an artifact of the help file; it does not belong on your diagrams.)
| The diagram to the right shows that EIO-1 is valid. But if the conclusion were any other form, the argument would be invalid. |
|
|
|
This diagram is for AOI-1. Since the X is on the line, the argument is invalid. |