1
Método que se utiliza cuando el argumento tiene más de tres proposiciones simples diferentes no es fácil determinar la validez o invalidez de un argumento mediante tablas de verdad, pues resultaría bastante tedioso hacer dicha tabla de verdad, además de que se puede incurrir en errores involuntarios.
2
Permite eliminar el consecuente de la primera premisa y el antecedente de la segunda premisa, siempre y cuando sean iguales.
3
Permite eliminar una de las dos disyunciones siempre que una de las dos esté negada en la segunda premisa.
4
es un método que se aplica sólo a argumentos que tengan como conclusión una condicional; en otros casos no sería posible utilizarlo, ya que el antecedente de la condicional resulta ser una premisa más, mientras que la conclusión se determina como una nueva conclusión a la cual se debe llegar con una prueba formal de validez.
5
Es un método que también se conoce como prueba por asignación de valores. Está muy relacionado con el método de tablas de verdad, la diferencia consiste en que en lugar de construir la tabla de verdad para el argumento, la demostración de la invalidez se hace de tal modo que se asignan valores de verdad a las proposiciones simples, de modo que las premisas sean verdaderas y la conclusión falsa; es decir, se dan valores a la conclusión tal que su resultado sea falso y luego se trata de utilizar esos valores de verdad en los antecedentes, junto con la combinación de estos, según sea la conveniencia
6
método que también se conoce como prueba de reducción al absurdo. Mediante este, una demostración indirecta de validez para un argumento dado se construye corno premisa adicional a la negación o la contradicción de su conclusión, con lo que se deduce una contradicción explícita del conjunto aumentado de las premisas.
7
Permite eliminar las variables proposicionales que no se necesiten.
8
Método que se utiliza cuando un argumento es una tautología se considera que este es válido, pero si es una contradicción es inválido; lo mismo ocurre con una contingencia
9
Permite eliminar el consecuente siempre y cuando esté negado en la segunda premisa, dando como consecuencia el antecedente negado.
10
Permite eliminar el antecedente siempre que la segunda premisa sea dicho antecedente.
11
Permite unir dos premisas diferentes.
12
Permite agregar las variables proposicionales que se necesiten.
