Esquemas de inferencias
1) Si lo primero, entonces lo segundo; pero lo primero; por tanto, lo segundo.
2) Si lo primero, entonces lo segundo; pero no lo segundo; por tanto no lo primero.
3) No es el caso que lo primero y lo segundo; pero lo primero; por tanto no lo segundo.
4) O lo primero o lo segundo; pero no lo primero; por tanto no lo segundo.
5) O lo primero o lo segundo; pero no lo segundo; por tanto lo primero.
| Según A.N. Prior, Historia de la lógica, Tecnos, Madrid 1976, p. 35. |