Actividad 5. Manejo de predicados

Nombre del alumno: Andrea Díaz Ortiz

Nombre del trabajo: Actividad 5. Manejo de predicados

Fecha: 23 de mayo de 2021

Escuela: Conalep

Materia: Matemáticas discretas

Grupo: 207

Carrera: Informática

Actividad 5. Manejo de predicados

Realizar lo que se te indica a continuación:

A) En el dominio de todas las películas, sea R(x) el predicado “x es romántica”. Exprese las siguientes proposiciones utilizando predicados y cuantificadores. 

R(x): Cuantificadores           

P: Predicados 

1) Algunas películas son románticas.  

P-> R(x)                          Ɐx-> R(x)                          

2) Algunas películas no son románticas. 

P-> R(x)                          Ɐx-> R(x)     
3) Ninguna película es romántica. Es equivalente a decir que Todas las películas no son románticas. 

4) Todas las películas son románticas. 

(Ɐx(P-> R(x))                          

B) En el dominio de todos los libros, considere los siguientes predicados:

P(x) = es pesado C(x) = ese confuso  

(Ɐx)(Px->C(x)): Es pesado y es confuso

(Ǝx(C(x) ˄ P(x)): Es pesado y no es confuso

(Ɐx)(C(x) VP(x)): Es confuso y es pesado

(Ǝx)(P(x) ˄~C(x)): ES pesado o es confuso

...