¿Se puede realizar un procedimiento de prueba de un argumento inválido?
Sí, solo que este nos lleva a la negación de la conclusión.
No, solo es posible realizar un procedimiento de prueba para un argumento en el cual no solo las premisas sean verdaderas, sino también la conclusión.
No, solo es posible realizar un procedimiento de prueba para un argumento para el cual hayamos realizado un procedimiento decisorio.
No, solo es posible realizar un procedimiento de prueba para un argumento tal que no tiene contraejemplos.
Una forma de ver una regla de inferencia es como un/a (i) _________ que toma premisas como input y, dependiendo de sus estructuras (ii)____________, les asigna una única conclusión como output.
(i) función, (ii) semánticas
(i) función, (ii) sintácticas
(i) argumento, (ii) semánticas
(i) argumento, (ii) sintácticas
Determina la conclusión del siguiente argumento de acuerdo a la regla de inferencia indicada entre paréntesis.
(A∧B)⊃(B∧C)
(B∧C)⊃(A∧C)
(A∧B)∨(B∧C)
/∴_____________ (Dil)
(B∧C)∧(A∧C)
(B∧C)∨(A∧C)
(A∧B)⊃(A∧C)
(A∧B)∨(A∧C)
Nombra la fbf que es el resultado de aplicar la regla de inferencia SH en la siguiente prueba incompleta (OJO: en esta prueba incompleta no se señala las filas que dan lugar al SH):
1. (C∧D)⊃(D∧E) Pr.
2. (D∧E)⊃(C∧E) Pr.
3. (C∧D)∨(D∧E) Pr.
4. _____________ SH
(D∧E)∧(C∧E)
(D∧E)∨(C∧E)
(C∧D)⊃(C∧E)
(C∧D)∨(D∧E)
Nombra la regla de inferencia aplicada en la siguiente prueba: