Professional Documents
Culture Documents
CÁLCULO DE
PREDICADOS.
• EL ÁLGEBRA DE PROPOSICIONES.
• En lógica una oración declarativa es una
proposición, la cual se le llama atómica si es
simple lo que asevera y, compuesta o
molecular si no lo es. Las proposiciones
compuestas se construyen usando un
conjunto fijo de palabras que conectan
proposiciones tanto atómicas como
compuestas.
Conectivos lógicos.
Ejemplos.-
Son implicaciones lógicas las siguientes:
• PQP
• PPQ
• En el estudio de la estructura interna de muchas
proposiciones no es suficiente el cálculo de
proposiciones estudiado hasta ahora, y se
requiere introducir algún lenguaje que lo
permita. Por ejemplo: todos los números reales
que son menores que 1 son menores que 2.
¿Cómo, aceptando la veracidad de la proposición
anterior, se puede hacer una demostración formal
lógica para probar que al ser 0<1 entonces 0<2?
• Una oración como “𝑛 es un número primo”, en la cual
el sujeto no está especificado, es llamada un predicado
en lógica. La letra “𝑛”, la cual establece el sujeto de la
oración, es llamada un objeto variable.