Respuestas
Respuesta:
Método semántico
En el método semántico, se dice que un esquema de argumento es válido cuando es imposible que las premisas sean verdaderas y la conclusión falsa. Para determinar si esto es el caso, se supone la verdad de las premisas, y aplicando las definiciones de verdad, se intenta deducir la verdad de la conclusión. O también, se supone que las premisas son verdaderas y la conclusión falsa, y aplicando las definiciones de verdad, se intenta deducir una contradicción (reducción al absurdo).
En la lógica proposicional, un método alternativo es transformar un argumento en su correspondiente fórmula, y construir una tabla de verdad. Si la fórmula resulta ser una verdad lógica, entonces el argumento es válido. Esto se debe a que vale el teorema de la deducción y su converso, pero también a que la lógica proposicional es decidible, y por lo tanto siempre admite de un procedimiento algorítmico para determinar si una fórmula cualquiera es una verdad lógica o no.
Espero te sirva
Respuesta:
En el método semántico, se dice que un esquema de argumento es válido cuando es imposible que las premisas sean verdaderas y la conclusión falsa. ... Si la fórmula resulta ser una verdad lógica, entonces el argumento es válido.
Explicación:
s