Usuario:Turok

PONTIFICIA UNIVERSIDAD JAVERIANA

ASIGNATURA: PENSAMIENTO ALGORITMICO

PROFESOR: OFFRAY VLADIMIR LUNA CARDENAS

ALUMNO: PEDRO RENDON GODIN

GRUPO: 7

EJERCICIOS PROPUESTOS

El siguiente ejercicio(1) fue tomado de la pagina: http://weblidi.info.unlp.edu.ar/catedras/organiza/2004/apunte3.htm

Con las propociciones:

p = "está lloviendo"

q = "el sol está brillando"

r = "hay nubes en el cielo"

simbolize las siguientes frases:

a)Está lloviendo y el sol está brillando

b)Si está lloviendo, entonces hay nubes en el cielo

c)Si no está lloviendo, entonces el sol no está brillando y hay nubes en el cielo

d)El sol está brillando si y sólo si no está lloviendo

Ver la respuesta del ejercicio 1 aquí

Los siguientes Ejercicios tomados de GRASSMANN TREMBLAY.Matemática discreta y lógica.Una perspectiva desde la Ciencia de la Computación. Edición Prentice Hall. 1998. problema 1.1:

2.cual de las siguientes afirmaciones son proposiciones:

a) ¿es esto verdadero?

b) juan es un nombre

C) 8 es primo

d) 8 no es primo

Ver la respuesta del ejercicio 2 aquí

3.asigne las constantes logicas V o F a las siguiente proposiciones:

a)7 es par

b)nueva york es una ciudad.

c)canada es una ciudad.

Ver la respuesta del ejercicio 3 aquí

Los siguientes Ejercicios tomados de GRASSMANN TREMBLAY.Matemática discreta y lógica.Una perspectiva desde la Ciencia de la Computación. Edición Prentice Hall. 1998. problema 1.2:

4.identifique todas las proposiciones atomicas en las oraciones siguiente y abrvielas con simbolos tales como: p,q, ó r. luego convierta las oraciones al calculo propocicional.

a)si jaime esta en el granero entonces javier debe de estar en el granero tambien.

b)el coche que escapo era rojo o marron.

c)las noticias no son buenas.

d)estaras a tiempo solo si te apuras.

e)el vendra si tiene tiempo.

f)si ella estaba alli entonces debio haberlo oido.

ver la respuesta del ejercicio 4 aqui

5.de las tablas de verda para: p^p , p v p , p^V , p^F

ver la respuesta del ejercicio 5 aqui

Los siguientes Ejercicios tomados de GRASSMANN TREMBLAY.Matemática discreta y lógica.Una perspectiva desde la Ciencia de la Computación. Edición Prentice Hall. 1998. problema 1.3:

7.cuales de las siguientes no son literales?

a) p

b) ￢￢p

c)￢p2

d) p v q

ver la respuesta del ejercicio 7 aqui

8.supuesto que p y q son verdaderos ,y, r y s son falsos, hallar los valores de verdad de las siguientes expresiones:

a) p v (q ^ r)

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

c) (p ↔ r) ^ (￢q → s)

d) (p v (q → (r ^ ￢p))) ↔ (q v ￢s)

ver la respuesta del ejercicio 8 aqui