ejercicio logica matematica

INSTITUTO TECNOLOGICO DE ZACATEPEC INGENIERIA EN SISTEMAS COMPUTACIONALES
MATEMATICAS DISCRETAS
ALEJANDRA C. SANTA OLALLA SALGADO
UNIDAD 3. LOGICA FECHA: _________ GRUPO:_____ NOMBRES: _________________________________
___________________________________________________________________________________________
ACTIVIDAD 1: Simboliza cada una de las proposiciones siguientee indica con X si es una proposición atómica o si es
molecular.

Proposición

1. La comida será hoy a las tres en punto

2. La luna no está hecha de queso

3. El terreno es muy rico y hay suficiente lluvia

4. El viento sopla muy fuerte

5. Si estamos en diciembre entonces llegará pronto la navidad.

6. El viento arrastrará las nubes o lloverá hoy con seguridad.

7. Six>0 entonces y>1

8. La asignatura preferida de Juan es matemáticas

9. No ocurre que 6 = 7

10. Si z>10 entonces x+z>10 y y+z>10

11. Ha llegado el invierno y los días son más cortos

12. El sol calentaba y el agua estaba muy agradable

13. x+y = y+x

14. Si los deseos fueran caballos entonces los mendigos cabalgarían.

15. Aprobaré matemáticas si y solo si estudio losuficiente

16. Si Pedro está en casa o Juan está en el patio, entonces José es
inocente
17. No ocurre que si x+0 = 10 entonces x=5

18. O María está aquí o Juan se ha ido

19. Si la clase de Matemáticas ya ha empezado entonces llego tarde.

20. Hace mucho calor

Escribe la
Simbolización

Proposición
Atómica

Proposición
Molecular


INSTITUTO TECNOLOGICO DEZACATEPEC INGENIERIA EN SISTEMAS COMPUTACIONALES
MATEMATICAS DISCRETAS
ALEJANDRA C. SANTA OLALLA SALGADO
UNIDAD 3. LOGICA FECHA: _________ GRUPO:_____ NOMBRES: _________________________________
___________________________________________________________________________________________
Actividad 2. Realiza las siguientes tablas de verdad
(P  Q
)









(P  Q)  P(P  Q)  R











[P  (Q  R)]  P









  
[ (P Q)










P] [(









  
P Q) Q]

INSTITUTO TECNOLOGICO DE ZACATEPEC INGENIERIA EN SISTEMAS COMPUTACIONALES
MATEMATICAS DISCRETAS
ALEJANDRA C. SANTA OLALLA SALGADO
UNIDAD 3. LOGICA FECHA: _________ GRUPO:_____ NOMBRES:_________________________________
___________________________________________________________________________________________
ACTIVIDAD 3. INFERENCIA LOGICA
Simbolizar y validar los siguientes argumentos. Obtener las conclusiones necesarias.
ARGUMENTO
1. El átomo es divisible o el átomo es indivisible
2. Si el átomo es divisible, entonces el átomo no es la parte más pequeña de la materia
3. No es ciertoque el átomo es indivisible
Luego
4. El átomo es divisible
5. el átomo no es la parte más pequeña de la materia

1. Si 4 es impar, entonces 4 es divisible entre 3
2. Si 4 no es impar, entonces 4 es par
3. 4 no es divisible entre 3
Luego
4. 4 no es impar
5. 4 es par
1. El delfín es mamífero y el delfín es domesticable
2. Si el delfín es mamífero, entonces el delfíntiene respiración pulmonar
Luego
3. El delfín es mamífero
4. El delfín tiene respiración pulmonar

1. Si el hombre tiene conciencia y el hombre tiene libertad, entonces el hombre es responsable de sus actos.
2. El hombre tiene conciencia
3. El hombre tiene libertad
Luego
4. El hombre tiene conciencia y el hombre tiene libertad
5. El hombre es responsable de sus actos
1.El argón es un elemento y el argón es un gas, y también, el argón tiene valencia 0
2. Si el argón es un gas, y el argón tiene valencia 0, entonces el argón tiene completa su última órbita de electrones
Luego
3. El argón es un elemento y, por otra parte, el argón es un gas y el argón tiene valencia 0
4. El argón es un gas y el argón tiene valencia 0
5. El argón tiene completa su...