Está en la página 1de 2
Ca
Ca

Universidad Nacional Experimental de Guayana Coordinación de Pregrado Componente de Matemática Proyecto Ingeniería en Informática Asignatura: Lógica Ing. Ronald Pérez

Guía I Cálculo de Proposiciones

PARTE A:

a) Escriba un ejemplo de expresión que sea una fórmula proposicional . Justifica tu

respuesta.

b) Escriba un ejemplo de una fórmula bien formada de cálculo de proposiciones . explicando el porqué.

c) Escribe las reglas de omisión de paréntesis de formulas.

d) Reescribir la siguiente fórmula con el menor número de paréntesis utilizando las reglas de omisión de paréntesis:

((q v (r p)) ↔ s)

e) ¿Cuál es la interpretación de una variable?

PARTE B:

Ahora, te proponemos los siguientes ejercicios para que practiques:

1.- Dada la siguiente lista de expresiones:

I. ((p a) vr)

II. ((p ↔ q) & s).

III. ((┐p → q) → vt)

IV. ((┐┐p → q) ↔ r)

Encierre en un círculo la letra correspondiente a la alternativa correcta (solo hay una):

a) I es una fórmula pero II no lo es.

b) I y II son fórmulas.

c) Sólo II es una fórmula.

d) III y IV son fórmulas.

e) II y IV son fórmulas.

Decir cuales de las siguientes expresiones son fórmulas y cuáles no. Justifica tu respuesta.

a) (┐(p q)) c) ((p ┐r) t)

b) ((┐p q) v r ) + p d) ((x r) ↔ s)

e) ((( p r) t))

3. A continuación se da una lista de fórmulas, algunas de ellas difieren entre sí, solamente en que se han omitido paréntesis. Decir cuales son equivalentes y cual es la regla de omisión de paréntesis que se ha aplicado en cada caso.

a) ((( p ↔ q) r) v s)

e) (( p ↔ q) r v s)

b) ((p q) (r v s))

f)

(p q) r v s

c) (p (q (r v s)))

g)

p (q r v s)

d) (( p q) r )v s

4. A continuación se dan dos listas, una de oraciones en castellano y otras de fórmulas. Decir cuales se corresponde.

Ca
Ca

Universidad Nacional Experimental de Guayana Coordinación de Pregrado Componente de Matemática Proyecto Ingeniería en Informática Asignatura: Lógica Ing. Ronald Pérez

a) el Táchira le ganara a los Mineros, si y sólo si se compra un manual de fútbol y se lee completo.

b) Si un programa no está bien estructurado entonces no será legible.

c) Si fuera cierto que (a + b) n = a n + b n entonces también lo sería (2 + 3) 2 = 2 2 +

3 2 y concluiríamos que 25 =13

d) Para ver el directorio de archivos utilizo el comando DIR y para mostrar el contenido especifico de un archivo utilizo el comando TYPE y no el comando ERASE.

e) El coyote atrapará al corre camino, si y solo si aprueba el curso de lógica computacional ó aprueba el curso de algoritmos y programación I.

1)

(p (q v r))

2) (p 1 p 2 ) & s

3) (s 2 & t) & ┐p 2

4)

(┐p 3 → ┐p 4 )

5) (q ↔ (t & s))

PARTE C:

1. Reescribir las siguientes fórmulas utilizando la menor cantidad de paréntesis posible. Justifica cada eliminación de paréntesis.

a) ((( p & q ) ( r v s) ) ↔ t ) c) (( p & q ) ↔ ( ┐r v s ))

b) (p & ( (q v r ) ( t v s))) d) (┐( p & q) ↔ (┐r v ┐s))

2. Para cada una de las siguientes oraciones en castellano, asigna los símbolos y escribe las fórmulas Ss correspondiente.

a. Si un triangulo es isósceles y tiene un ángulo que mide

3

puede ser un triángulo rectángulo.

entonces no

b. Si el dominio de una función incluye los reales negativos entonces esa función no es la función raíz cuadrada y no es la función logaritmo.

3. Para cada una de las siguientes fórmulas, escribir una interpretación en castellano, mostrando el significado de cada símbolo.

a. (┐p ↔ q) v ( q s)

b. ┐(( p ↔ q ) & ( t s ))

c.

┐( p v q )

t

& s