0% encontró este documento útil (0 votos)
17 vistas2 páginas

Ejercicios de Lógica para 1o Bachillerato

Este documento presenta una guía de ejercicios sobre lógica proposicional. Incluye cinco secciones con ejercicios para practicar conceptos básicos como la traducción de enunciados a su forma simbólica, determinar el valor de verdad de proposiciones, identificar si una proposición es tautología, contingencia o contradicción usando tablas de verdad, y demostrar equivalencias lógicas usando propiedades formales. Adicionalmente, propone agregar una línea de tiempo sobre la historia de la ló

Cargado por

Samuel Perdomo
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 PDF, TXT o lee en línea desde Scribd
0% encontró este documento útil (0 votos)
17 vistas2 páginas

Ejercicios de Lógica para 1o Bachillerato

Este documento presenta una guía de ejercicios sobre lógica proposicional. Incluye cinco secciones con ejercicios para practicar conceptos básicos como la traducción de enunciados a su forma simbólica, determinar el valor de verdad de proposiciones, identificar si una proposición es tautología, contingencia o contradicción usando tablas de verdad, y demostrar equivalencias lógicas usando propiedades formales. Adicionalmente, propone agregar una línea de tiempo sobre la historia de la ló

Cargado por

Samuel Perdomo
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 PDF, TXT o lee en línea desde Scribd

RECTORÍA TOLIMA Y MAGDALENA MEDIO

CENTRO REGIONAL IBAGUÉ - NORTE DEL TOLIMA Y MAGDALENA


MEDIO

Guía de Ejercicios Lógica

I.- Ejercitación Básica y General

1.- Escriba en forma simbólica los siguientes enunciados

a) Si las exportaciones disminuyen entonces bajarán las utilidades


b) Los precios son altos si y sólo sí los costos aumentan
c) Si la producción aumenta entonces bajarán los precios
d) Si aumenta la demanda esto implica que aumenta la oferta y viceversa
e) Si la contaminación aumenta entonces existirá restricción vehicular
adicional

2.- Si p y r son proposiciones verdaderas y q es falsa, determine el valor de verdad de :

a) [ ( p   q ) v  r ]  q
b) [ ( r v q )  ( r v  p) ]   r
c) [ ( p  q )   r ] v [  q r ]

3.- ¿Qué condiciones debe satisfacer p y q para que la siguiente proposición sea :

a) [ ( q  p )   q ]  ( p   q ) Falsa
b) [ ( p  q )  r ] v [  q  r ] Falsa
c) { ~p  ( p v q ) }  [ p  q ] Verdadera

4.- Sean p, q, r, tres proposiciones tales que r es falsa, p   q y q  r son verdaderas,


deducir el valor de verdad de p.

5.- Cuál de las siguientes expresiones son lógicamente equivalentes a


( p v  q )  r
a) p  (  q  r )
b) ( p  q )  r
c) ( p   q )  r ) p  ( q v r )

6.- Sean las proposiciones:


p: la computación es fácil
q: los ingenieros deben saber computación
Entonces, traduzca a lenguaje verbal las proposiciones siguientes y
¿Cuál(es) a su juicio representa(n) una expresión aceptable en el sentido cotidiano?

a) p q
b)  (p v q)
c)  (q v p)
d)  (p v q)
e) p  q
II.- Tautología, Contingencia o Contradicción
Demuestre por medio de tablas de verdad si las siguientes proposiciones son Tautología (T)
Contingencia (k) o Contradicción (C)

a.- [(p  q)  ~p] ~q


RECTORÍA TOLIMA Y MAGDALENA MEDIO
CENTRO REGIONAL IBAGUÉ - NORTE DEL TOLIMA Y MAGDALENA
MEDIO

b.- [(p v q) r]  [(p  q) v r ]

c.-  {[p  (q v p)]  q}

d.- [(p  q)  (q r)]  (p  r)

III.- Esquemas Equivalentes


Se dice que son esquemas equivalentes cuando los valores de ambas tablas son iguales. Determine si
las siguientes proposiciones son equivalentes o no.

a.- [(p  q) v  (q  p)] con [(p  q)(q  p) ]

b.- (p  q) con (p  q)

c.- [p  (q v r)] con [(p q) v (q r)]

IV.- Uso de Propiedades o Teoremas Lógicos


Demuestre las siguientes equivalencias utilizando las propiedades o teoremas de
lógica.

a.- [(p  q)  (p  q)]  q

b.- [(p  q)  (p  r)] ]  [p  (q  r)]

V.- Actividad adicional

Agregar al trabajo una línea temporal sobre la historia de la lógica

También podría gustarte