0% encontró este documento útil (0 votos)
18 vistas7 páginas

Simbolización y Formalización en Lógica

El documento presenta un laboratorio de lógica que incluye la simbolización de proposiciones, la formalización de enunciados y la clasificación de proposiciones como atómicas o moleculares. También se evalúa si ciertos enunciados son proposiciones y se determina el valor de verdad de algunos enunciados. Se abordan conceptos fundamentales de lógica en el contexto de la ingeniería en sistemas de información.
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd
0% encontró este documento útil (0 votos)
18 vistas7 páginas

Simbolización y Formalización en Lógica

El documento presenta un laboratorio de lógica que incluye la simbolización de proposiciones, la formalización de enunciados y la clasificación de proposiciones como atómicas o moleculares. También se evalúa si ciertos enunciados son proposiciones y se determina el valor de verdad de algunos enunciados. Se abordan conceptos fundamentales de lógica en el contexto de la ingeniería en sistemas de información.
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOCX, PDF, TXT o lee en línea desde Scribd

UNIVERSIDAD MARIANO GÁLVEZ DE GUATEMALA

FACULTAD DE INGENIERÍA EN SISTEMAS DE INFORMACIÓN


LOGICA DE SISTEMAS - VILLANUEVA

LABORATORIO # 1
Simboliza las siguientes proposiciones:
a. No vi la película, pero leí la novela
¬p ∧ ¬q
b. Ni vi la película ni leí la novela
¬p ∧ ¬q
c. No es cierto que viese la película y leyese la novela
¬p ∧ ¬q

∧q
d. Vi la película, aunque no leí la novela
¬p
e. No me gusta trasnochar ni madrugar
¬p ∧ ¬q
f. O tú estás equivocado o es falsa la noticia que has leído
pVq
g. Si no estuvieras loca, no habrías venido aquí
¬p V ¬q
h. Llueve y o bien nieva o sopla el viento
P∧qVa
i. Si hay verdadera democracia, entonces no hay detenciones arbitrarias ni otras violaciones
de los derechos civiles
p => ¬q ∧ ¬a
j. Roberto hará el doctorado cuando y solamente obtenga la licenciatura

p <=> q

Simboliza
a. Si p, entonces q
p => q
b. No es el caso que p y q
p∧q
c. P solamente si q y no r
P <=> q ∧ ¬ r

d. P o no q
P v ¬q
e. Si p y q, entonces no r o s
(P ∧ q) => (¬ r V s)
f. Si p, entonces q, y si q, entonces p

(P => q) ∧ (q => p)

Formaliza las siguientes proposiciones


a. No es cierto que no me guste bailar

p: me guste bailar.

b. Me gusta bailar y leer libros de ciencia ficción

p: Me gusta bailar.

q: Leer libros de ciencia ficción.

c. Si los gatos de mi hermana no soltaran tanto pelo me gustaría acariciarlos

p: Los gatos de mi hermana no soltaran tanto pelo.

q: me gustaría acarícialos.

d. Si y sólo si viera un marciano con mis propios ojos, creería que hay vida

p: Viera un marciano con mis propios ojos.

q: Creería que hay vida.

e. Una de dos: o salgo a dar un paseo, o me pongo a estudiar como un energúmeno

p: Salgo a dar un paseo.

q: me pongo a estudiar como un energúmeno.

Señalar con una letra “A” cada proposición atómica y con una “M” cada
proposición Molecular
1. La comida será hoy a las tres en punto.

A.

2. El gran oso negro andaba perezosamente por el camino de abajo.

A.
3. La música es muy suave o la puerta está cerrada.

M.

4. A este perro grande le gusta cazar gatos.

A.

5. Él pregunta por su pipa y pregunta por su escudilla.

M.

6. Luis es un buen jugador o es muy afortunado.

M.

7. Si Luis es un buen jugador, entonces participará en el partido del colegio.

M.

8. California está al oeste de Nevada y Nevada al oeste de Utah.

M.

9. Muchos estudiantes estudian Lógica en el primer año de carrera.

A.

10. Los gatitos no acostumbran a llevar mitones.

A.

11. Si los gatitos llevan mitones, entonces los gatos pueden llevar sombreros.

M.

12. Se puede encontrar a Juana en casa de Susana.

A.

13. A las focas no les crece el pelo.

A.

14. Si María canta, entonces es feliz.

M.

15. Los alumnos mayores no están en la lista antes que los jóvenes.

M.
16. La asignatura preferida de Jaime es Matemáticas.

A.

17. Si aquellas nubes se mueven en esa dirección, entonces tendremos lluvia.

M.

18. Si los deseos fueran caballos, entonces los mendigos cabalgarían.

M.

19. Esta proposición es atómica o es molecular.

M.

20. El sol calentaba y el agua estaba muy agradable.

M.

21. Si * = 0 entonces *+>>=l.

M.

22. x+y>2.

A.

23. x=\ o y + z = 2.

M.

24. y = 2 y 2= 10.
M.

Indicar si la proposición es simple o compuesta

1. El 9 y el 27 son factores del 81.


Simple.
2. Esa caja es de madera.
Simple.
3. Nada es para siempre.
Simple.
4. La música clásica es la más antigua del mundo.
Simple.
5. Los números pares son divisibles por dos.
Simple.
6. La capital de Rusia es Moscú.
Simple.
7. Esa chica es mi amiga.
Simple.
8. Son las tres de la tarde con veintiséis minutos.
Simple.
9. Los animales carnívoros se alimentan de plantas. (Proposición falsa)
Simple.
10. Mi nombre es Fabián.
Simple.
11. Está lloviendo.
Simple.
12. El número 1 es un número natural.
Simple.
13. En este país, el verano es muy caluroso.
Simple.
14. Mañana será miércoles.
Simple.
15. Si la información no es completa para oferentes y demandantes, hay una falla de
mercado.
Compuesta.
16. Está lloviendo y hace calor.
Compuesta.
17. Nuestra bandera es blanca y celeste.
Compuesta.
18. El 9 es divisor del 45, y el 3 es divisor del 9 y del 45.
Compuesta.
19. Marcos se dedica a la natación o al alpinismo.
Compuesta.
20. El número 6 es mayor que el 3 y menor que el 7.
Compuestas.
21. He pasado todas mis vacaciones en Grecia y Marruecos.
Compuesta.
22. El número 6 es menor al número 17.
Simple.
23. Hoy es 7 de octubre.
Simple.
24. Su gato es marrón.
Simple.
25. Mi hermano vende pastas.
Simple.
26. La tierra es plana.
Simple.
27. Mario Vargas Llosa es un importante escritor.
Simple.
28. Puedo manejar un auto si tiene dirección hidráulica.
Compuesta.
29. Gabriel García Márquez fue un gran escritor y bailarín.
Compuesta.
30. Las células son procariotas o eucariotas.
Compuesta.
31. La raíz cuadrada de 25 es 5, o -5.
Compuesta.
32. No todos los números primos son impares.
Compuesta.
33. Mi cuñado es arquitecto e ingeniero.
Compuesta.
34. Los aparatos tecnológicos son negros, blancos o grises.
Compuesta.
35. Si tengo hambre pues cocino.
Compuesta.
36. Turquía es un país que se encuentra en Asia y Europa.
Compuesta.
37. La suma de los cuadrados de ambos catetos es igual al cuadrado de la hipotenusa, si
se trata de un triángulo rectángulo.
Compuesta.
38. Una ballena no es roja.
Compuesta.
39. El número más grande no es 1000000.
Compuesta.
40. Si el ovino come pasto, es herbívoro.
Compuesta.

Indicar cuál de los siguientes enunciados es una proposición:

a. ¿Qué estás haciendo?


No es proposición.
b. 3–x=7
No es proposición.
c. ¡Márchate!
No es proposición.
d. 3+x>7
Noes proposición.
e. Neil Armstrong caminó sobre la luna.
Si es proposición.

Indique cuál de los siguientes enunciados es una proposición:

a. El sabor del color azul es dulce.


Si es proposición.
b. 314159 es un número primo.
Si es proposición.
c. x^2 + 2x + 1 = 0
No es proposición.
d. Disparen al ladrón.
Si es proposición.
e. La edad del universo es de unos 15 mil millones de años.
Si es proposición.

Dado los siguientes enunciados indicar el valor de Verdad:

I: Disminuya la velocidad.
V(p)=V.
II: 10 – 8 = 1
V(p)=F.
III: Mi banca es gris.
V(p)=V.
IV: Hola, ¿cómo estás?
No es una proposición que se pueda simbolizar.

También podría gustarte