FACULTAD CIENCIAS ADMINISTRATIVAS, ECONÓMICAS Y CONTABLES

TALLER LÓGICA MATEMÁTICA

TEMAS: Principios de Lógica, Conectivos lógicos, Operaciones lógicas

Docente: Juan A. Mercado D.

Desde que Bertrand Russell y Alfred North Whitehead, en 1910,

codificaron la Lógica Simbólica, ha sido indiscutible el avance del
lenguaje informático y con él, el desarrollo de la tecnología de los
computadores. Pero además de la utilidad de la Lógica al servicio de la
ciencia informática, también ella hace su aporte al ser humano, como
quiera que contribuye al ordenamiento de los procesos lógicos en las
actividades que se emprenda; es decir, ayuda a establecer prioridades
en los pasos que conducen al logro de un propósito. Por otro lado, la
Lógica ha sido clave en la relación entre el lenguaje gramatical y las
matemáticas, porque se representan por variables aquellas expresiones
gramaticales comúnmente conocidas con el nombre de proposiciones.
En síntesis, la importancia de la Lógica se puede dimensionar desde tres
ángulos diferentes: el aporte a la ciencia informática, al ser humano y a
la relación entre la Gramática y la Matemática.

Palabras o expresiones claves: Variable lógica, conectores lógicos,

operaciones lógicas, tablas de verdad.

Objetivos:

 Distinguir las proposiciones lógicas y los elementos que en ella

intervienen.

 Relacionar las expresiones matemáticas con las proposiciones lógicas.

 Resolver tablas de verdad aplicando las relaciones existentes entre
los conectores lógicos presentes y las variables proposicionales.

Ejercicios

1. Señalar cada proposición atómica con una A y cada proposición

molecular con una M. Escribir junto a cada proposición molecular el
término de enlace utilizado:

a) El triángulo isósceles tiene tres lados iguales.

b) Bucaramanga está situada en el Norte de Colombia.

c) Cuatro es un número impar.

d) Bogotá es la capital de Antioquia y Tunja está en el occidente de

Colombia.

e) Si estudio Matemáticas entonces apruebo la asignatura.

f) x = -2 si y sólo si y + 2z = 10.

g) María tiene los ojos verdes o azules.

h) Juan está casado con Sandra y Carlos con Josefina.

2. Escribir primero cinco proposiciones atómicas y formar después cinco

proposiciones moleculares, empleando distintos términos de enlaces.

3. Sintetice en una expresión simbólica las siguientes proposiciones

compuestas:
a) Si a es un número primo y b es un número par, entonces, c es un
múltiplo de 5, pero, b no es par si y solo si a es un primo y c no es
múltiplo de 5.

b) Con el salario que devengo pago mi semestre y veo por mis

obligaciones personales. Ahora bien, si pago mi matrícula entonces no
puedo divertirme, por lo que me obliga a divertirme o no cancelar mis
obligaciones personales.

c) La inseguridad ciudadana es un hecho social que se puede “sentir”.

Para controlarlo, la Policía presta la vigilancia y, así, la inseguridad
ciudadana disminuye sensiblemente; sin embargo, si la Policía no presta
la debida vigilancia, entonces, Bogotá no será la ciudad más segura de
Colombia.

4. Dadas las proposiciones p=”x es divisor de 8”, q=”x es mayor que 2”

en el conjunto referencial U={0,1,2,3,4,5,6,7,8,9,10}, determine:

a) Los elementos de U que satisfacen la proposición p

b) Los elementos de U que satisfacen la proposición q.

c) Los elementos de U que satisfacen la conjunción p  q.

5. Con el conjunto referencial y las proposiciones del numeral anterior,

determine los elementos de U que satisfacen cada una de las siguientes
conjunciones:

a) ~(p  q); b) (~p)  q; c) p  (~q); d) (~p)  (~q)

6. Construya tablas de verdad para las conjunciones del numeral

anterior y, mediante la selección de un elemento de U, demuestre que
los valores de verdad en cada una de las tablas se cumple para el
elemento seleccionado.

7. Dadas las proposiciones p = “x es divisor de 6”, q = “x es menor que

6”, en el conjunto referencial U = {0,1,2,3,4,5,6}, determine:

a) Los elementos de U que satisfacen la proposición p.

b) Los elementos de U que satisfacen la proposición q.

c) Los elementos de U que satisfacen la disyunción p v q.

8. Con el conjunto referencial y las proposiciones del numeral anterior,

determine los elementos de U que satisfacen cada una de las siguientes
disyunciones:

a) ~(p v q); b) (~p) v q; c) p v (~q); d) (~p) v (~q)

9. Construya tablas de verdad para las disyunciones del numeral

anterior y, mediante la selección de un elemento de U, demuestre que
los valores de verdad en cada una de las tablas se cumple para el
elemento seleccionado.

10. Construir tablas de verdad para el siguiente conjunto de

proposiciones compuestas.

a) ~[(~p  ~q)  (p  r)]

b) ~q  [p  (p  ~q)]

c) ~(p  q)  (~p  ~q)

12. Demuestre que (p  q)  ~p  q

Preguntas generadoras

1) Cómo se modifican los resultados en los literales a), b) y c) del

numeral 4, si la proposición p cambia a: p=”x es divisor de 10” y la
proposición q se mantiene? El cambio es significativo en el nuevo
resultado? Qué tanta es la diferencia? Explique cada respuesta.

2) Qué ocurre en los resultados de los literales a), b) y c) del numeral 4,

si la proposición p se mantiene y q cambia a q=”x es mayor que 4”? El
cambio es significativo en el nuevo resultado? Qué tanta es la
diferencia? Explique cada respuesta.

3) Qué ocurre en los resultados de los literales a), b) y c) del numeral 4,

si las dos proposiciones p y q cambian simultáneamente a p=”x es
divisor de 10” q=”x es mayor que 4”? El cambio es significativo en el
nuevo resultado? Qué tanta es la diferencia? Explique cada respuesta.

4) Cómo varían los resultados de la primera pregunta en relación con los

de la segunda? Cómo varían los resultados de la primera pregunta en
relación con los de la tercera? Cómo varían los resultados de la segunda
pregunta en relación con los de la tercera? Cuál cambio es más
significativo? Por qué?