Calculo predicado sentregado, Ejercicios de Computación Distribuida

¡Descarga Calculo predicado sentregado y más Ejercicios en PDF de Computación Distribuida solo en Docsity!

ENTREGA SEMAN 7 CALCULO DE PREDICADOS

JAIME PELAEZ VALENCIA

POLITECNICO GRAN COLOMBIANO

MODULO HERRAMIENTA DE LOGICA COMPUTACIONAL

INGENIERIA DE SOFTWARE

MEDELLIN

Actividad: Presentar una aplicación, en el área de conocimiento del estudiante, del álgebra lineal, cálculo o asignaturas afines a su carrera, de las proposiciones cuantificadas. Se sugiere investigar cómo se usan los cuantificadores en teoremas o proposiciones propias de esas asignaturas. Traducir un teorema a lenguaje formal (Expresiones cuantificadas) y comentar qué estrategia se usa para su demostración desde el punto de vista del cálculo de predicados. ¿Que una proposición? Es un enunciado el cual puede ser verdadero o falso sin presentar alguna ambigüedad; ejemplo  María tiene el pelo largo  El 8 es número primo  X + 5 = 8 (se debe tener el valor de “X” para este caso sería predicado) ¿Qué es un predicado? Es una sentencia abierta que contiene valores variables. Dependiendo del valor que se le de a esas variables, el predicado será falso o verdadero. Una vez asignado sus valores un predicado se convierte en proposición En los diferentes lenguajes de programación orientado a objetos y procesos podemos usarlos con los operativos “if” haciendo la consulta acorde a los valores y dictara la sentencia verdadero o falso Universo del discurso Se llama así al conjunto de variables de un predicado que pueden tomar valores, también se le puede llamar universo o conjunto universal, se denota por una “U” Cuantificadores Tiene la función de cerrar una proposición o predicado abierta. Así de esta forma un predicado de lo especificado será verdadero o falso, despendiendo de los especifico por el cuantificador. Existen dos tipos de cuantificadores, universal y existencial  Cuantificador universal; si se busca especificar que una función p(x) es verdadera para cualquier valor de x, entonces se usa el cuantificador universal ( ∀ ) el cual se lee “para toda X”  Cuantificador existencial: si se busca especificar que una función p(x) es verdadera para algun valor de x entonces se usa el cuantificador universal ( ∃ ) el cual se lee “para algún X”

r (La, Lb, Lc) : la^2 = (Lb^2 + Lc^2) ∨ Lb^2 = (La^2 + Lc^2) ∨ Lc^2 = (La^2 + Lb^2) donde (La,Lb,Lc) ∃La, ∃Lb, ∃Lc , r (La, Lb, Lc) def Pitagoras (la,lb,lc): if la** 2 == lb** 2 + lc** 2 or lb** 2 == la** 2 + lc** 2 or lc** 2 == la** 2 + lb** 2 : print ("Es un Triangulo Rectángulo")  código Python desarrollado para la actividad def Estriangulo (la,lb,lc): if la > abs((lb-lc)) and lb > abs((la-lc)) and lc > abs((la-lb)) : print("Las longitudes ingresadas pertenecen a un triángulo ") else: print ("Las longitudes ingresadas No cumplen para ser un triángulo ") def TipoTriangulo (la,lb,lc): if la == lb == lc : print("Es un triangulo equilatero") elif la != lb != lc: print("Es un triangulo Escaleno") else: print ("Es un Triangulo Isósceles") def Pitagoras (la,lb,lc): if la** 2 == lb** 2 + lc** 2 or lb** 2 == la** 2 + lc** 2 or lc** 2 == la** 2 + lb** 2 : print ("Es un Triangulo Rectangulo") la = float (input("Ingrese valor lado A: ")) lb = float (input("Ingrese valor lado B: ")) lc = float (input("Ingrese valor lado C: ")) Estriangulo (la,lb,lc) TipoTriangulo (la,lb,lc) Pitagoras (la,lb,lc)  Ejemplo

Ingrese valor lado A: 5 Ingrese valor lado B: 5 Ingrese valor lado C: 5 Las longitudes ingresadas pertenecen a un triángulo Es un triangulo equilatero Ingrese valor lado A: 6 Ingrese valor lado B: 6 Ingrese valor lado C: 4 Las longitudes ingresadas pertenecen a un triángulo Es un Triangulo Isósceles Ingrese valor lado A: 6 Ingrese valor lado B: 8 Ingrese valor lado C: 10 Las longitudes ingresadas pertenecen a un triángulo Es un triangulo Escaleno Es un Triangulo Rectangulo