Scribd
Cargar
199 vistas3 páginas

Ejercicios Matematicas

Este documento presenta ejercicios resueltos sobre lógica proposicional para estudiantes de sexto grado. Explica cómo simbolizar proposiciones utilizando símbolos lógicos como ¬, ˄, ˅, , etc. Luego, muestra cómo formalizar proposiciones dadas y construir tablas de verdad para fórmulas lógicas complejas. El objetivo es enseñar a los estudiantes los conceptos básicos de la lógica proposicional.

Cargado por

Jaime Ramirez
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
199 vistas3 páginas

Ejercicios Matematicas

Este documento presenta ejercicios resueltos sobre lógica proposicional para estudiantes de sexto grado. Explica cómo simbolizar proposiciones utilizando símbolos lógicos como ¬, ˄, ˅, , etc. Luego, muestra cómo formalizar proposiciones dadas y construir tablas de verdad para fórmulas lógicas complejas. El objetivo es enseñar a los estudiantes los conceptos básicos de la lógica proposicional.

Cargado por

Jaime Ramirez
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

INSTITUCION EDUCATIVA

COLEGIO BENEDICTINO DE SANTA MARIA


Nombre del Ejercicios Resueltos: Lógica Proposicional
documento
Fecha de actualización: 25/07/2016 Versión : 1 Código: A5-F-013

AREA: Matemáticas

DOCENTE: César Obando GRADO: Sexto

Lógica Proposicional.

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)
d. Vi la película, aunque no leí la novela: p ˄ ¬q
e. No me gusta trasnochar ni madrugar: ¬p ˄ ¬q
f. O tú estás equivocado o es falsa la noticia que has leído: p ˅ q
g. Si no estuvieras loco, no habrías venido aquí: ¬p  ¬q
h. Llueve y o bien nieva o sopla el viento: p ˄ (q ˅ r)
i. O está lloviendo y nevando o está soplando el viento: (p ˄ q) ˅ r
j. Si hay verdadera democracia, entonces no hay detenciones arbitrarias ni otras
violaciones de los derechos civiles: p  (¬q ˄ ¬r)

2. 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 ˅ ¬q
e. Si p y q, entonces no-r o s: (p ˄ q)  (¬r ˅ s)

Fecha de aprobación: 30/05/06


Página 1 de 3
Vigente
INSTITUCION EDUCATIVA
COLEGIO BENEDICTINO DE SANTA MARIA
Nombre del Ejercicios Resueltos: Lógica Proposicional
documento
Fecha de actualización: 25/07/2016 Versión : 1 Código: A5-F-013

f. Si p, entonces q, y si q, entonces p: (p  q) ˄ (q  p)

3. Formaliza las siguientes proposiciones:

a. No es cierto que no me guste bailar: ¬(¬p)


p: me gusta bailar.
b. Me gusta bailar y leer libros de ciencia ficción: p ˄ q
p: me gusta bailar.
q: me gusta leer libros de ciencia ficción.
c. Si y sólo si viera un marciano con mis propios ojos, creería que
hay vida extraterrestre: p ↔ q
p: ver un marciano con mis propios ojos.
q: creer en los extraterrestres.
d. Una de dos: o salgo a dar un paseo, o me pongo a estudiar como un
energúmeno: p ˅ q
p: salir a dar un paseo.
q: estudiar como un energúmeno.

4. Construye las tablas de verdad de:

a. ¬p ˄ q

p q ¬p ¬p ˄ q
V V F F
V F F F
F V V V
F F V F

Fecha de aprobación: 30/05/06


Página 2 de 3
Vigente
INSTITUCION EDUCATIVA
COLEGIO BENEDICTINO DE SANTA MARIA
Nombre del Ejercicios Resueltos: Lógica Proposicional
documento
Fecha de actualización: 25/07/2016 Versión : 1 Código: A5-F-013

b. ¬p ˄ ¬q

p q ¬p ¬q ¬p ˄ ¬q
V V F F F
V F F V F
F V V F F
F F V V V

c. (p ˅ ¬q) ˅ p

p q ¬q p ˅ ¬q (p ˅ ¬q) ˅ p
V V F V V
V F V V V
F V F F F
F F V V V

d. (p → q) ˄ p

p q p→q (p → q) ˄ p
V V V V
V F F F
F V V F
F F V F

e. (p ↔ q) ˄ ¬p

p q ¬p p↔q (p ↔ q) ˄ ¬p
V V F V F
V F F F F
F V V F F
F F V V V

Fecha de aprobación: 30/05/06


Página 3 de 3
Vigente

También podría gustarte