Paso 3 – Cálculo de predicados

Curso: Lógica Simbólica

Código: 511016_20

Presentado por:
Angela Daniela Chazatar Cód. 1.088.737.808
Ana Alejandra Guaranguay Cód. 1.004.545.834
Yoli Yulieth Latorre Gómez Cód. 1.085.689.178
Daniel Mauricio Narváez Bastidas Cód. 1.004.714.239
Luz Dary Reina Tapia Cód. 27.213.231

Presentado a:
Jorge Fernando Vargas

Universidad Nacional Abierta y a Distancia - UNAD

Escuela de Ciencias de la Educación (ECEDU)
CCAV-PASTO NARIÑO
Noviembre de 2022
 Introducción

En el siguiente trabajo se van a encontrar ejercicios resueltos sobre cálculo de

predicado, en varias situaciones hipotéticas, las cuales podrían sr acertadas o no, todo este

trabajo se realizo de manera colaborativa y participativa.

 Desarrollo

1. Definir los conceptos de término y predicado y con ello identificar en las

siguientes proposiciones atómicas cada uno de ellos:

Término: Es una expresión con la que se nombra o se designa un único objeto,

o es una variable que puede ser sustituida por una expresión que nombre o

designe un objeto único. los términos que identifican cosas se llaman concretos

y los términos deben ser conectados por una relación. Un término describe un

objeto. Se piensa que con esta descripción se basa exactamente que objeto es.

Predicado: es el conjunto de palabras que se agrupan en torno a uno de los dos

núcleos de la oración, el verbo. Es un elemento necesario de la sentencia

gramatical, es decir, es indispensable para que la oración tenga sentido. Es el

resto de la proposición que dice lo que va a hacer o sobre el sujeto. Los

predicados por otra parte, solo describen objetos parcialmente.

 2. Con las proposiciones atómicas anteriores, simbolice de acuerdo con las formas

de representación de predicados:

Proposición atómica Representación Proposición atómica Representación

Predicado Predicado

Luis es docente universitario Ul

La química es una ciencia Cq

El rey de España vive en su palacio V r ,p

Pepe el perro de Nicolás es muy N p, N

noble

Las frutas contienen sacarosa Sf

El edificio está mal construido y Me ۸Ce

caerá

Camila está trabajando como T c ,d

docente

Los docentes cumplen funciones Cd, f

formadoras

Los padres responsables aman a sus Ap,r

hijos

Noviembre es un mes de lluvias M n ,≪¿¿

Juan vive en Bulgaria V j ,b

 3. dadas las siguientes expresiones, representarlas con argumentos variables y

determine su validez.

Proposición atómica Argumentos variables Validez

13 y 19 son números P13 ^ P19 V

primos

X no es un número primo, ¬ Rx → Px V

pero es un número perfecto Si x= 28

2 es un número primo, pero R ₂→ P₂ V

es un número perfecto

m está a una distancia de D ( m−n=250 ) ᴧ D(m− p=100) V

250 km de n y a 100 km de

W viaja hacia el norte si N x ↔ Rx V

solo si y muestra la ruta

Si w es mayor que 3 y 3 es V

mayor que z, entonces w es w >3 ∧3> z → w > z

mayor que z

Si m es menor que 12 y 12

es menor que n, entonces m m<12∧ 12< n →m<n V

es menor que n
 Color (taxi)⋀ precio (taxi) C t ∨ Pt V

Colombiano (Andrés) ∨

argentino (Andrés) Ca∨ Aa V

Calificación (parcial) →

(parcial ≥0,0)∧ (parcial c p → p ≥ 0,0∧ p ≥ 5,0 V

≥ 5,0 ¿

4) Representar en lenguaje natural

Proposición Formula equivalente

Ninguno es egresado de R(X)= egresados

odontología

vx R(x )

Todos son profesionales N(x)= todos

P (x)= profesionales

vx . N (x) → p ( x)

Algunos tienen cedula de T(x)= Tener

ciudadanía C (x)= Cedula ciudadanía

∃ x .T ( x ) ∧C (x)
 B).

vx R ( x )

[vx : R ( x ) ]

∃ x : [ R (x )]

∃ x : [ R (x )]

∃ x :R ( x )

R: Alguno es egresado en odontología. V(R)=V v( R)=F

vx . N (x)→ p ( x)

[vx . N ( x ) → p ( x ) ]

∃ x : [ N (x ) → p ( x )]

∃ x : [ N ( x ) v p ( x )]

∃ x : N ( x ) ∧ p(x)

N= Algunos no son profesionales . v ( N )=f v ( N )=v

∃ x .T ( x ) ∧C ( x )

[ ∃ x .T ( x ) ∧C ( x ) ]
vx : [ T ( x ) ∧ C ( x ) ]

vx : [ T ( x )→ C ( x )]

vx :T ( x ) v C( x )

T: No todos tiene cedula de ciudadanía. V(T)= f V( N) = v

 Conclusiones

 Con el análisis de mis compañeros, desarrollamos ejercicios de cálculo de

predicado, esto gracias a las soluciones en situaciones hipotéticas.

 Gracias al desarrollo de la guía definimos conceptos sobre predicado y

termino, y esto nos llevo a identificar varias proposiciones.

 Con la solución a proposiciones atómicas, se pudo representar

simbológicamente los predicados.

 Referencias

capítulo 4: cálculo de predicados (págs. 174-209) del libro Obeso, F. V.

(2013). Con argumento lógico: Notas de matemáticas aplicadas. Recuperado

de https://elibronet.bibliotecavirtual.unad.edu.co/es/lc/unad/titulos/70056