PREGUNTAS LOGICA DE PREDICADOS

1.- Traducir a lógica de predicados las siguientes aseveraciones:

a. Les gusta comer aleta de tiburón
b. Todo el mundo tiene un mal rato alguna vez en cuando
c. Los gatos son mamíferos y algunos gatos son cimarrones
d. Todo el mundo tiene alguien que sea su amigo
e. Nadie es loco
f. Alguien es loco

2.- Sea el universo los estudiantes de una carrera específica, designamos a un estudiante particular, Daniel, como d. y
sean las proposiciones abiertas: p(x): x está en su penúltimo año. u(x): x esta en su ultimo año y p(x): x esta inscrito en
una clase de algoritmos. Considere el siguiente argumento: “ningún estudiante de penúltimo o ultimo año esta inscrito en
una clase de algoritmos. Daniel esta inscrito en una clase de algoritmos. Por lo tanto, Daniel no es estudiante de último
año”. Formalizar este argumento y demostrar su validez por derivación formal. doc

3.- Para el universo de los enteros: sean las siguientes proposiciones abiertas:

- p(x): x>0,
- q(x): x es par,
- r(x): x es un cuadrado perfecto,
- s(x): x es (exactamente) divisible entre 4,
- t(x): x es (exactamente) divisible entre 5.
Expresar en palabras cada una de las siguientes expresiones:
a.- x [s(x)  q(x)], b.- x [s(x)  t(x)], c.- x [s(x)  r(x)], d.- x [r(x)  q(x)  s(x)] 116

4.- Para el universo de los cuadriláteros del plano donde: s(x): es un cuadrado y e(x):x es equilátero, demostrar que la
proposición x [s(x)  e(x)] es verdadera y es lógicamente equivalente su contra positiva.

5.- Sea el universo de los alumnos de la Universidad, y sean las siguientes proposiciones: Todos los alumnos de
Informática deben saber algoritmos. Los alumnos de Informática que se gradúan han vencido Talleres, Cerón es alumno
de Informática, pero no ha vencido Talleres. Osmar venció Talleres, pero no sabe algoritmos. Por lo tanto, Cerón no se
gradúo y Osmar no es alumno de Informática. Formalizar este argumento y demostrar su validez por Derivación Formal

6.- Considere el universo de todos los triángulos que hay en un plano, junto con las siguientes proposiciones: p(t): t tiene
dos lados de igual longitud, q(t): t es un triangulo isósceles, r(t) t tiene dos ángulos de igual medida. Sea el triángulo c,
que no tiene dos ángulos de igual longitud y sea el siguiente argumento:

En el triángulo c no tiene dos lados de igual medida. Si un triángulo tiene dos lados de igual longitud, entonces es
isósceles. Si un triangulo es isósceles, entonces tiene dos ángulos de igual medida.
Por lo tanto, el triángulo c no tiene dos lados de igual longitud.
Formalizar este argumento y además verificar su validez dando razones. 125 y doc

7.- Para el universo de los enteros: sean p(x): x>0, q(x): x es par, r(x): x es un cuadrado perfecto, s(x): x es exactamente
divisible entre 4, t(x): x es exactamente divisible entre 5. Formalizar las siguientes proposiciones: a) existe al menos un
entero positivo que es par, b) si x es par, entonces x no es divisible entre 5, c) ningún entero par es divisible entre 5, d) si
x es par y x es un cuadrado perfecto, entonces x es divisible entre 4. 116

8.- verificar el siguiente argumento: puede tomar b como un elemento arbitrario del universo

x [p(x)  (q(x)  r(x))]

x [p(x)  s(x)]
⸫ x [r(x)  s(x)]