Estructuras y Programacion

3.1.7 Argumentos válidos y no válidos

Argumento: Conjunto de fórmulas para el razonamiento lógico.

Argumento Válido: Un argumento es válido si se cumple:

·         Un argumento puede ser válido con premisas y conclusión verdaderas.

·         Pero también puede ser válido con premisas falsas y conclusión verdadera, o incluso con premisas y conclusión falsas.

Ejemplos de argumentos válidos:

·         Todos los hombres son mortales.

·         Sócrates es un hombre.

·         Por tanto, Sócrates es mortal.

·         Este líquido es un ácido o una base.

·         Si fuera un ácido, volvería rojo el papel tornasol.

·         Pero no ha vuelto rojo el papel tornasol.

·         Así que este líquido es una base.

·         Si está soleado, entonces es de día.

·         Está soleado.

·         Por lo tanto, es de día.