Primer parcial de Matemáticas Discretas grupo de B de Primer semestre. Prof.

Eduard Puerto. Dpto. de Sistemas e informática , UFPS.

Nota: Inicia el juego, puedes elegir un compañero para resolver todos los
problemas o realizarlo sólo. Única regla:
∀ x ∀ y ∀ z ∀ w( parcial ( x ) ∧ parcial ( y ) ∧ grupo ( z ) ∧ grupo ( w ) ∧desarrolla ( z , x ) ∧ desarrolla ( w , y ) ∧ig
;).

Nombre:______________________________Cod:_________________________
Nombre:______________________________Cod:_________________________

1. Trasforme la siguientes sentencias a) y b) a lógica de predicados en dos maneras

diferentes usando los dominios establecidos y completando los que falten. Use
cuantificadores y predicados con una o con dos variables para crear su fórmula.

Q(x): este es un ejemplo de predicado con una variable y puede ser usado para
describir una propiedad como que x ha estudiado filosofía.

Q(x,y): este es un ejemplo de predicado con dos variables x , y. el cual puede ser
usado para describir una relación o acción o evento como que x ha estudiado y.

a) Sentencia a: Todos los estudiantes de la clase de Discretas han estudiado

algebra y geografía.

Dominio1={ los estudiantes de la clase }

Defina los Predicados que usará en la Fórmula.

Formula1:

Dominio2={ los estudiantes de la clase de Discretas}

Defina los Predicados que usará en la Fórmula.
Formula2:

b) Sentencia b: Alguien de la clase ha visitado la Casa de Santander

Dominio1={ acá defina un dominio }

Defina los Predicados que usará en la Fórmula.
Formula1:

Dominio2={ Persona}
Defina los Predicados que usará en la Fórmula.
Formula2:
2. Encuentre un contraejemplo de ser posible, para las siguientes sentencias
cuantificadas universalmente, donde el dominio son los Reales.

a) ∀ x( x2 ≠ x ) b) ∀ x( x2 ≠ 2)

Contraejemplo para a:
Contraejemplo para b:

3. Cual es el estado del valor de x, si x=2 antes de pasar por lo sentencia

If P(x) then x:=1, donde P(x): “x>1”.

4. Muestre que la siguiente fórmula es una tautología por las leyes de equivalencia
lógica y compruebe su resultado a través de una tablas de verdad.

[ ( p ∨q ) ∧ ( p → r ) ∧ ( q →r ) ] → r
5. Exprese en Lógica Proposicional la siguiente sentencia. Defina las variables
proposicionales y use conectivas lógicas menos la doble implicación (↔).

Una condición suficiente y necesaria para programar es desarrollar la lógica.

6. Opcional: Cree un único pdf de máximo tres hojas con evidencias de sus estudios
para este previo, pueden unir evidencias entre los dos (vale por un punto no
realizado o que este mal de los 5 anteriores).