Trabajo Práctico 2 Lógica de Predicado Ejercicios resueltos

Ejercicio 6:
Dadas las siguientes frases:
a) Escriba fbfs que las representen.
b) Niegue las fbfs escritas en a).
c) Escriba frases que representen las fbfs escritas en b).
1. Si aumenta la inflación y quiebran algunas empresas, entonces aumentará la criminalidad.
a)
A= Aumenta la inflación
B= Quiebran algunas empresas.
C= Aumentará la criminalidad.
((A ˄ B) => C)
b)
~ ((A ˄ B) => C) 1≡ ~ (~ (A ˄ B) ˅ C) 2≡ ~ ((~A ˅ ~B) ˅ C)) 2≡ ~ (~A˅ ~B) ˄ ~C 2≡ ((A ˄ B) ˄ ~C)
Equivalencias y leyes utilizadas:
1- equivalencia por definición del condicional (P => R) ≡ (~P ˅ R)
2- DeMorgan ~ (P ˄ R) ≡ (~P ˅ ~R)

c) Aumenta la inflación y quiebran algunas empresas pero no aumentará la criminalidad.

2. No es verdad que Jim y Tom sean ambos estrellas de rock.

a)
A= Jim es estrella de rock
B= Tom es estrella de rock
Observar las proposiciones compuestas,
~ (A ˄ B)
analizar la condición suficiente y la
b) ~ (~ (A ˄ B)) 1≡ ~ (~A ˅~B) 1≡ (A ˄ B) necesaria. Ver manual de Lógica Parte I
página 26
Equivalencias y leyes utilizadas:
1- DeMorgan ~ (P ˄ R) ≡ (~P ˅ ~R)

c) Jim y Tom son ambos estrellas de rock

3. Las interfaces permiten la interacción usuario-sistema sólo si son inteligentes.

a)
Las Proposiciones Simples o Elementales:
A= Las interfaces permiten la interacción usuario-sistema
 Deben estar completas, correctamente
B= Las Interfaces son inteligentes. escritas e identificadas.
(A=>B)  Son afirmativas, el NO es un conectivo
b)  Todas las palabras que correspondan con un
conectivo NO FORMAN parte de las PS
~(A=>B) 1≡ ~ (~ A ˅ B) 2≡ (A ˄ ~B)
Equivalencias y leyes utilizadas:
1- equivalencia por definición del condicional (P => R) ≡ (~P ˅ R)
2- DeMorgan ~ (P ˄ R) ≡ (~P ˅ ~R)

c) Las interfaces permiten la interacción usuario-sistema pero no son inteligentes.

 Trabajo Práctico 2 Lógica de Predicado Ejercicios resueltos

Ejercicio 9:
Para cada una de las fórmulas bien formadas que siguen, escriba otra lógicamente equivalente:

1. ¬(P ∨ Q) 2≡ (¬P ˄ ¬Q)

Se deben justificar todas las
2. ((P ∨ Q) ⇒ R ) 1≡ (¬(P ˅ Q) ˅ R) equivalencias aplicadas
3. ¬(R ⇒ Q) 1≡ ¬(¬R ˅Q ) 2≡ (R ˄ ¬ Q)

Equivalencias y leyes utilizadas:

1- equivalencia por definición del condicional (P => R) ≡ (~P ˅ R)
2- DeMorgan ~ (P ˄ R) ≡ (~P ˅ ~R)

Ejercicio 12:
Sabiendo que v( P →Q) = V, ¿qué puede decir del valor de verdad de las siguientes fórmulas, conociendo

el comportamiento de cada conectivo?

1. ( P ∨ R ) → ( Q ∨ R )

Si v( P →Q) = V entonces:

Evaluamos los casos (de la tabla de verdad 1) donde se tenga valor de verdad verdadero:

Tabla 1

Si v(R) = V
Evaluamos los casos (de la tabla de verdad 2) donde y vemos qué se puede decir la expresión:
v(R) = V

Tabla 2

Si v(R) = F
Evaluamos los casos (de la tabla de verdad 2) donde y vemos qué se puede decir la expresión:
v(R) = F

Tabla 2
Luego de analizar la tabla de verdad 2 se concluye que independientemente del valor de verdad de R, se puede
concluir que el valor de verdad de la expresión será Verdadera.
 Trabajo Práctico 2 Lógica de Predicado Ejercicios resueltos

2. ( P ˄ R )  (Q ˄ R) (otra forma de resolver este ejercicio)

Si v( P →Q) = V, entonces se pueden distinguir tres casos:

a) v( P) = V y v( Q) = V, pero tanto para v (P ˄ R) como para v (Q ˄ R) no se puede decir nada sobre

su valor de verdad, dado que es necesario saber la v(R). Sin embargo es posible determinar la valuación de
la fórmula completa ((P ˄ R)  ( Q ˄ R)), ya que independientemente de si R es falso o verdadero, la
valuación de la fórmula es verdadera (cuando v(R) = F, antecedente y consecuente falsos; cuando v(R) = F,
antecedente y consecuente verdaderos).

b) v( P) = F y v( Q) = V, entonces v (P ˄ R) = F y de v (Q ˄ R) no se puede decir nada. Sin embargo,

al ser el antecedente FALSO, entonces v (((P ˄ R)  (Q ˄ R))) = V.

c) v( P) = F y v( Q) = F, entonces v (P ˄ R) = F y v (Q ˄ R) = F. Luego v (((P ˄ R)  (Q ˄ R))) = V.

Por lo evaluado en cada caso se puede concluir que independientemente del valor de verdad de R, el valor de
verdad de la expresión será Verdadera.

Ejercicio 16:

a. Pruebe que los conectivos de negación y disyunción forman un conjunto adecuado de conectivos.
Es decir, que se puede expresar el resto de los conectivos sólo usando el conjunto {¬, ∨ }.
Para probar que el conjunto de conectivos es un conjunto adecuado de conectivas se deben poder representar
cada uno de los restantes conectivos con dicho conjunto:

a) (A=>B) 1≡ ( ¬A ˅ B)

b) (A ˄ B) 3≡ ¬ ¬ (A ˄ B) 2≡ ¬(¬A˅¬B)

c) (A<=>B) 4≡ ( (A=> B) ˄ (B=>A)) 1≡ ( (¬A ˅ B) ˄ (¬B ˅ A)) 3≡ ¬ ¬((¬A ˅ B) ˄ (¬B ˅ A)) 2≡

¬ (¬ (¬A ˅ B) ˅ ¬ (¬B ˅ A)))

d) (A v B) 5≡ ¬ (A<=>B) 4≡ ¬ ( (A=> B) ˄ (B=>A)) 1≡ ¬ ((¬A ˅ B) ˄ (¬B ˅ A)) 2≡

( ¬ (¬A ˅ B) ˅ ¬ (¬B ˅ A))

Equivalencias y leyes utilizadas:

1- equivalencia por definición del condicional (P => R) ≡ (~P ˅ R)
2- DeMorgan ¬ (P ˄ R) ≡ (¬P ˅ ¬R)
3- Doble negación P ≡ ¬ ¬ P
4- equivalencia por definición del bicondicional (P <=> R) ≡ ((P => R) ˄ (R => P))
5- equivalencia por definición del o-exclusivo (A v B) ≡ ¬ (P <=> R)