El propósito de utilizar el método abreviado (MA) es....
¿Qué distingue una contradicción de una incoherencia o un impase?
Nada, se refieren a lo mismo.
La primera es una propiedad de argumentos; las segundas son propiedades de valores de verdad.
Una contradicción es una fbf o forma lógica que es falsa en todas las filas; una incoherencia o impase puede no serlo en algunas.
La primera describe a un tipo de fbf o forma lógica; las segundas, a asignar ciertos tipos de valores en una misma fila.
¿Qué estoy intentando reconstruir con el MA?
(Una) fila(s) de la tabla
La tabla de verdad entera
El valor de verdad del operador principal de una fbf, o del de cada premisa y la conclusión de un argumento
Si (i) me preguntan si φ es una tautología, (ii) encuentro una fila en la que es falsa sin incoherencias, (iii) pero tuve que abrir otro piso que aún no completo, entonces....
puedo concluir que no es una tautología.
puedo concluir que es una contingencia.
puedo concluir que es una tautología.
puedo concluir que es una contradicción.
¿Qué hipótesis me conviene asumir para descubrir si un argumento es válido?
Que las premisas son falsas y la conclusión verdadera.
Que las premisas son verdaderas y la conclusión verdadera, para ver si es válido.
Que las premisas son verdaderas y la conclusión verdadera, para ver si puede ser válido.
Que las premisas son verdaderas y la conclusión falsa.
¿Cuándo puedo dejar un piso sin terminar?
Siempre
Nunca
Cuando los pisos que ya trabajé basten para demostrar mi hipótesis
Solo si ese piso es el último.
Si mi hipótesis de que un argumento puede tener V bajo el operador principal de cada premisa y F bajo el de su conclusión resulta en una incoherencia, y no se abren más pisos, entonces...
