CORPORACIÓN UNIVERSITARIA DEL HUILA - CORHUILA

Programación Lógica y Funcional

Taller Deducción Natural y Lógica de predicados de primer orden

Estudiante: Raúl Andrés Farfán Naveros

Código: 9016117214

A. Usando las reglas básicas de deducción natural demostrar:

1. Demostrar P
1) ~P Q ∧ R Premisa
2) ~Q Premisa
3)

2. Demostrar P QVR
1) Q Premisa
2) P
3) R
4) Q V R I.D 1,3
5) P Q V R I.C 2,4

3. Demostrar R

1) P V (Q V R) Premisa
2) P (Q ∧ R) Premisa
3) QVR E.D 1
4) Q∧ R M.P 2
5) Q ∧RVQVR I.D 3,4
6) (Q ∧ R V Q) V R E.D 6
B. Lógica de predicados de primer orden.

1. Formalizar el siguiente argumento

Sólo hay un tenista que enseña cobrando, y éste es Julián. Julián

argumenta mejor que ningún otro tenista. Ana argumenta mejor que algún
tenista que enseña cobrando. Si una persona argumenta mejor que otra
segunda, entonces la segunda no argumenta mejor que la primera. Por
consiguiente, Ana no es un tenista.

2. Formalizar el siguiente argumento

“Los que están alegres rinden por debajo de sus posibilidades. Hay quienes
no están alegres y que tienen dificultades. Trueno no está alegre, pero rinde
por debajo de sus posibilidades. Entonces es que Trueno tiene dificultades.”
Como dominio, consideraremos un conjunto cualquiera no vacío, que
contiene un elemento singular (Trueno). Lo que hace que sea singular es
que nos referimos a él por el nombre. Asignaremos los significados a los
predicados atómicos siguientes: T(x): “x está alegre”; R(x): “x rinde por
debajo de sus posibilidades”; D(x): “x tiene dificultades”.

Para designar a Trueno se utilizará una constante, a: “Trueno”.

La formalización del razonamiento será:

3. Formalizar el siguiente argumento

“Las casas campestres nuevas y las que no han sido remodeladas, ni

están pintadas correctamente ni tienen buen mantenimiento” con O(x): “x es
una casa”; V(x): “x es nueva”; A(x): “x ha sido remodeladas”; “F(x): “x
pintadas correctamente”; M(x): x tienen buen mantenimiento”:
• Sentido: universal.
• Selección: elementos del dominio que son casas campestres nuevas o
que son casas que no han sido remodeladas.
• Propiedades de la selección: los elementos seleccionados ni están
pintadas correctamente y no tienen buen mantenimiento: