Diferencia entre revisiones de «Lógica proposicional»

Contenido eliminado Contenido añadido
xx
Deshecha la edición 35185463 de 190.234.6.168 (disc.)
Línea 9:
# Por lo tanto, mañana es miércoles.
 
Este es un argumento [[Validez lógica|válido]]. Quiere decir que es imposible que no sirve las [[premisa]]s sean verdaderas y la [[conclusión]] falsa. Esto no quiere decir que la conclusión sea verdadera. Si las premisas son falsas, entonces la conclusión también podría serlo. Pero si las premisas son verdaderas, entonces la conclusión también lo es. La validez de este argumento no se debe al significado de las expresiones "mañana es miércoles" y "mañana es jueves", porque éstas podrían lokooo cambiarse por otras y el argumento permanecer válido. Por ejemplo:
 
# Está soleado o está nublado.