Cálculo proposicional
* Una proposición es una afirmación que es o bien verdadera o falsa
* Se expresa con una afirmación declarativa y no con una pregunta o instrucción.
* Son bloques de construcción básicos para cualquier teoría lógica.
* Generalmente se las representa con letras minúsculas p,q,r (variables positivas)
Ejemplos :
Son proposiciones:
Ayer llovió
7 es un número primo
*No son proposiciones
¡ Que bonita tarde!
¿Es 4.5 entero?
Es un argumento válido. Quiere decir que es imposible que las premisas sean verdaderas y la conclusión falsa. Esto no quiere decir que la conclusión sea verdadera.
ResponderEliminarejemplo:
Mañana es miércoles o mañana es jueves.
Mañana no es jueves.
Por lo tanto, mañana es miércoles.