LOGICA PROPOSICIONAL, PREPOSICION SIMPLE Y

COMPUESTA Y CALCULO DE PREDICADOS

LÓGICA COMPUTACIONAL
PROGRAMA DE INGENIERÍA CIVIL
II SEMESTRE (TERCER CORTE)
PRESENTADO POR: JUAN DAVID RAMIREZ H.
Lógica Proposición
La lógica es un lenguaje preciso, claro y Toda expresión lingüística que se afirma
formal, que estudia a las proposiciones. si es Verdadera(V) o Falsa(F) y se
representan por las Letras: p, q, r, s y t
Su objetivo es interpretar, desarrollar
razonamientos correctos y distinguirlos
de los incorrectos
Ejemplos
Proposiciones: No son proposiciones:
•P: Hoy es martes = V o F Exclamaciones, Interrogativas, desiderativas e
imperativas, como:
•Q: Los futbolistas son deportistas = V
•¡Que lindo día!
•R: Los perros vuelan = F
•¿Pensaste en que carrera estudiar?
•S: 5+4 = 12 F
•¡Cuánto daría por tenerlo!
•T: 3x6 = 18 V
•Te prohíbo que me engañes

Valor de verdad de la Proposición puede ser V o F

Conectivos Lógicos
Son símbolos que sirven para unir dos o mas proposiciones, las mas comunes son:
Las Proposiciones se clasifican en:
Proposición Simple o Atómica:
Tienen un solo significado y carece de
conectivos lógicos:, por ejemplo:
•La matemática es una ciencia.
•El gallo pone huevos.
•Walter es pintor.
•8 es par.
•15 es mayor que 10
•21 es divisible por 7
Proposiciones Compuestas o molecular:
Tienen dos o mas significados y contienen al
menos un conector lógico, por ejemplo:
•María sabe hablar ingles y francés.
•David se casa o termina su noviazgo.
•Todo numero es par si y solo si es divisible por
2
•No es cierto que el perro ladra
Tabla de la verdad de los conectores
lógicos
“o” “y” “si, entonces” “si y solo si” “o…o”
Pq p˅q P^q P q P q P q
VV V V V V F
VF V F F F V
FV V F V F V
FF F F V V F
CALCULO DE PREDICADOS
En calculo de predicados el valor de verdad
depende de los componentes que forman el
predicado. Por ejemplo: “juan es pare de
pedro” es una expresión en calculo de
predicados, que en general podría sr: x es
padre de y, o simplemente P(X,Y).
“es padre de”
P (X,Y)
Variables o dominio
En general podemos decir que un predicado
pude tener una o mas variables y que las
variables pueden tomar valores de un
conjunto especifico llamado DOMINIO.
Así por ejemplo las dos expresiones
mencionadas anteriormente son de la forma
donde P representa “ es padre de” y el
dominio es el conjunto de las personas
Un predicado es un enunciado que contiene una o mas variable, no es una proposición, pero se
vuelve una proposición cuando se sustituyen esas variables por constantes.
Ejemplos:
•El libro es azul = AZ(x), AZ es el predicado: es de color azul, en el dominio de objetos.

•Armando y Leandro son hermanos = H(x,y) es el predicado: es hermano de, el dominio el

conjunto de las personas.

•Jesús es alumno del tecnológico = T(x), T es el predicado: es alumno del tecnológico, el dominio
el conjunto de los estudiantes.

•Elías tiene mas años que rene en el trabajo = T(x,y), T es el predicado: tiene menos tiempo
trabajando que, el dominio de las personas
Gracias por su atención….