Indiquen si las siguientes formas de razonamiento corresponden a Modus ponens, Modus tollens, falacia de afirmación del consecuente, falacia de negación del antecedente o a ninguna de las cuatro formas presentadas. En caso de que corresponda a alguna de las cuatro, indiquen si se trata de una forma válida o inválida. Los primeros dos enunciados se ofrecen resueltos a modo de ejemplo.

1. (p . q) → r ~ r ~ (p . q) - La forma de razonamiento corresponde al Modus tollens: una premisa es un condicional, la otra premisa es la negación del consecuente de ese condicional y la conclusión es la negación de su antecedente. Esta forma es válida.
2. [(p . q) v (r . s)] → t