L ÓGI CA

M ATEM ÁTI CA

Gu ía par a el docen te

Ritha María CedeñoMarín

Erika Elena Uzhca Galarza
 L ÓGI CA
M ATEM ÁTI CA

Gu ía par a el docen te

Autoras:
- Ritha María CedeñoMarín
- Erika Elena Uzhca Galarza

Director:
- Ing. Fabián BravoGuerrero

Universidad de Cuenca
Facultad de Filosofía, Letras y Ciencias de la Educación
Carrera Matemáticas y Física
Lógica Matemática. Guía para el docente
Cedeño, R. Uzhca, E.

Universidad de Cuenca
Cuenca - Ecuador
2017
 Introducción

La presente guía contiene recursos que ayudarán al docente a planificar la

materia de Lógica Matemática, específicamente en los temas: conectores, tablas de
verdad y álgebra proposicional, a través del desarrollo de siete clases. Estas han sido
divididas en tres momentos: anticipación, construcción del conocimiento y
consolidación.

Se incluirá varias actividades constructivistas: trabajo colaborativo y autónomo,

desarrollo de actividades de investigación, contextualización histórica de la
asignatura y aplicación de ejercicios. Además se propone el desarrollo de clases
invertidas, es decir, la anticipación se enviará como trabajo autónomo y en la clase
se construye y consolida el conocimiento.

Las actividades incorporan recursos que permiten disminuir la abstracción de

la asignatura y adaptarse a las inteligencias visual, auditiva y kinestésica. Además, el
diseño de esta guía para el docente, permitirá construir el conocimiento
relacionando el uso de circuitos con la teoría de Lógica proposicional. Los temas se
han planificado para dos horas clase.
 Índice

INTRODUCCIÓN A LA LÓGICA Y PROPOSICIONES .............................................................. 7

VALORES DE VERDAD: Conjunción y Disyunción .................................................................. 15

VALORES DE VERDAD: Negación, Condicional y Bicondicional ............................................ 25

TABLAS DE VERDAD .................................................................................................................... 39

TAUTOLOGÍA, CONTRADICCIÓN Y CONTINGENCIA ....................................................... 49

ÁLGEBRA DE PROPOSICIONES .................................................................................................. 57

CIRCUITOS LÓGICOS .................................................................................................................... 65

 Clase N° 1

I NTRODUCCI ÓN A LA LÓGI CA
Y PROPOSI CI ONES

Objetivo: Reconocer y construir proposicionessimplesy Contenidos:

compuestas. - Enunciadosy proposiciones
Sesión 1. Duración 2 horas - ConectivosLógicos
- Cuantificadores

Gottfried Leibniz fue En 1859, George Boole

uno de los primeros estableció un sistema
inventores de la ordenado y factible para
lógica simbólica. la lógica simbólica.

Planifiquemoslaanticipación:
Actividad en parejas: Contando mi historia

1. De manera individual redactar, en máximo diez oraciones,

datos, experiencias o momentos relevantes de su vida.
2. Compartir lo escrito con su compañero. En base a la
actividad anterior, realizar tres preguntas y anotar las
respuestas que se reciben.

7
Planifiquemoslaconstrucción:
Actividad individual: Prezi

1. Mostrar a los estudiantes las oraciones del

siguiente link, en él se encuentran preguntas que
permitirán obtener el concepto de proposición.

Link: [Link]/owV7mZ

LÓGICAMATEMÁTICA
ES UN MÉTODO DE RAZONAMIENTO QUE INCLUYE AQUELLAS PARTES DE LA LÓGICA QUE
PUEDEN SER ESTUDIADAS Y MODELADAS MATEMÁTICAMENTE.

Lógicaproposicional
Uno de los sistemas lógicos encargados de estudiar el razonamiento en base a proposiciones es la
lógica por posicional. Un sistema formal de lógica de enunciados necesita un lenguaje formal
proposiciones.
Un lenguaje formal se constituye mediante un conjunto de símbolos y reglas para el conjunto de
expresiones o fórmulas.
La lógica proposicional es bivalente, pues solo se admite dos valores de verdad: V o F.

Símbolos o conectores lógicos

El alfabeto proposicional Letras proposicionales o símbolos no lógicos

contiene:

Símbolos auxiliares (paréntesis)

8
Enunciadosoproposiciones
Existen dos tipos de proposiciones:
Una proposición es una oración declarativa que
tiene la posibilidad de ser verdadera o falsa pero L as proposiciones simples o también llamadas
nunca ambas. Se representan mediante letras atómicas son aquellas que no se pueden dividir
minúsculas p, q, r, s. Son ejemplos de en otras proposiciones.
proposiciones las siguientes: Por otro lado, las proposiciones compuestas o
- Julián tiene 20 años. moleculares resultan de la unión de dos o más
- Ayer hubo una tormenta. proposiciones simples.

- Ecuador tiene 24 provincias.

Recuer da:
- 7 + 15 = 14
- Los animales omnívoros se alimentan únicamente
de carne.

CONECTIVOSLÓGICOS
Las preguntas y
Los conectivos lógicos son aquellos que exclamaciones no son
permiten unir dos proposiciones simples para proposiciones debido a que
convertirlas a conpuestas. no pueden identificarse
Son ejemplos de conectivos: no, y, o, si ..., como verdaderas o falsas.
entonces, no es el caso, sí y sólo si, ni, o bien...
CUANTIFICADORES
Suponiendo dos porposiciones simples:
En las matemáticas se utilizan cuantificadores
p: 8 es par y q: ? es irracional. para indicar cantidad de veces que existe una
Usando conectivos se pueden lograr las situación.
siguientes combinaciones:
8 no es par
? es irracional y 8 es par
Si 8 es par entonces ? es irracional
? es irracional o 8 es par
? es racional sí y sólo si 8 es par.

Los cuantificadores son la notación que permite saber si se trata de una generalización (cuantificador
universal) o de una especificación (cuantificador existencial). Generalmente se utilizan para funciones
proposicionales y ayudan a formalizar enunciados. Ejemplo:

Todos los números enteros: ?x? Z

Existen algunos números (x) que son naturales: ?x? N

Existe una sóla raíz cúbica entera de -27: ?!x? Z, x=

9
Planifiquemoslaconsolidación:
Actividad individual: Construcción demapasmentales.

1. Elabore un mapa mental que contenga el resumen del concepto de proposición.

1. Elabore un mapa de ideas con lo escencial de la lógica proposicional.

Proposiciones que pueden ser:

Las proposiciones son simples o
compuestas.

Se formalizan y simplifican
mediante letras del abecedario
como: p,q, r,s,t,y u Lógica

Aristóteles

Los principales aportes lo hicieron:

Gottfried Leibniz

Augustus de Morgan George Boole

10
 Ejercicios:

1. . Escriba cuatro ejemplos de proposiciones compuestas:

- Los números enteros no son negativos.

- Tengo siete dólares en mi cartera y no compraré café.

- Hoy es domiendo y está lloviendo.
- Viajamos a Quito o visitamos a los abuelos.

[Link] al estudiante para que los ejemplos se puedan encaminar a situaciones matemáticas:
- 8 no es un número primo.
- Siete más doce no es igual a diez.
- El 2 y 3 son factores primos del número 12.
- La raíz cuadrada de 36 es 6, o -6.

3. Decida si las siguientes proposiciones son verdaderas o falsas.

- Existen números racionales que no son enteros. Falso
- Todos los números naturales son enteros. Verdadero
- Para todos los números reales x, x > 0. Verdadero

Desafío:
Si decimos: x es un ser vivo.
¿Estamos hablando de una proposición?
No lo es, porque x puede ser reemplazada con cualquier sustantivo y
de eso dependerá su valor de verdad. Por ejemplo:
Luisen un ser vivo, si es una proposición porque será verdadera. Pero
si la x se reemplaza por un carroesun ser vivoesta porpposición
llegaría a ser falsa. Esta forma se denomina función proposicional.
11
12
 INTRODUCCIÓNALALÓGICA
YPROPOSICIONES
Nombre: ________________________________
Fecha: ________________________________

1. Escriba al menos cuatro ejemplos de proposiciones compuestas:

2. Escriba proposiciones que se relaciones con las matemáticas:

3. Decida si las siguientes proposiciones son verdaderas o falsas.

- Existen números racionales que no son enteros. __________________
- Todos los números naturales son enteros. __________________
- Para todos los números reales x, x >0. __________________

Desafío:
Si decimos: x es un ser vivo.
¿Estamos hablando de una proposición?
Argumenta tu respuesta.
______________________________________________

13
14
 Clase N° 2

VALORES DE VERDAD
Conjunción y disyunción

Objetivo: Determinar valoresdeverdad para la Contenidos:

conjunción y disyunción, mediantetablasdeverdad.
- Valoresdeverdad
Sesión 1. Duración 2 horas - Disyunción
- Conjunción

Las computadoras utilizan circuitos lógicos, las compuertas

producen señales para satisfacer los requisitos de entrada.

Planifiquemoslaanticipación:
Actividad individual: Video

1. Observar el siguiente video: [Link]

2. Solicitar a los estudiantes que respondan las siguientes preguntas:
- ¿Qué proposiciones existen en la situación del video?
- ¿Cuáles eran las condiciones o restricciones para que el foco se encienda?
- ¿Qué valores tomaban las proposiciones?¿Cómo se representaban?

15
Planifiquemoslaconstrucción:
Actividad grupal: Práctica delaboratorio

1. Organice a los estudiantes en cuatro grupos de trabajo.

2. Reparta las hojas de práctica de forma individual.
3. Entregar a los estudiantes la tabla con los circuitos lógicos. Solicitar que se complete la hoja
referente a la práctica de laboratorio.
Nota: Tener en cuenta queseantodoslosestudianteslosquemanejen loscircuitosdeforma organizada.

VALORESDEVERDAD
EN UNA PROPOSICIÓN EL VALOR DE VERDAD INDICA LA VERACIDAD DE LA MISMA. ES DECIR,
PUEDE SER VERDADERO (1) O FALSA (0). SI LA PROPOSICIÓN ES COMPUESTA, EL VALOR DE
VERDAD DEPENDERÁ DE SUS PROPOSICIONES ATÓMICAS.

Conjunción Disyunción
Es una proposición compuesta que resulta de la Al unir dos proposiciones simples mediante el
combinación de dos proposiciones simples
operador o (que se simboliza con v ), se hablará
mediante el operador y que se simboliza con ?.
de disyunción .
Este conectivo implica la idea de "ambos" y será
Este conectivo implica la idea de "esto o
verdadera únicamente cuando las dos
aquello" y será falsa solamente si las dos
proposiciones que la componen sean verdaderas. proposiciones son falsas de manera simultánea.

Recuer da: Tabla de ver dad Tabla de ver dad

par a la conj unción par a la disyunción

Al combinarse, las
proposiciones no
necesariamente deberán
estar relacionadas.

16
 Planifiquemoslaconsolidación
Actividad individual: Resolución depreguntas

1. Llenar las conclusiones de la práctica con apoyo del docente y del grupo.
2. Solicitar al estudiante que responda y plantee proposiciones que contengan las conectivas lógicas
aprendidas: conjunción y disyunción.
3. Responder: Si se sabe que p: Guayaquil está en Perú y q: 11 < 18 . Determinar los valores de verdad
para: a) Guayaquil está en Perú y 11 <18

b) 11 <18 o Guayaquil está en Perú.

Expresar los enunciados en forma simbólica y construya las tablas.

Ejercicioscon
Evaluación: aplicación

[Link] el valor de verdad de las siguientes proposiciones simples, luego determine el valor de
verdad de las proposiciones compuestas que se presentan a continuación:
p: 22 es múltiplo de 4. Falso, porque la división para 4 no es exacta.
q: 17 es número primo. Verdadero, porque solo es divisible para 1 y para sí mismo.
a) p v q. 22 es múltiplo de 4 o 17 es número primo. Es decir, F - V, y como al menos una de las
porposiciones es verdadera; la proposición compuesta es verdadera.
b) p ? q. 22 es múltiplo de 4 y 17 es número primo. Se tiene como valor de verdad F - V, a pesar de
que la segunda proposición es verdadera, para la disyunción ambas proposiciones deben ser
verdaderas.
2. Traduzca la siguiente proposición a lenguaje matemático y determine su valor de verdad.
Indique el por qué de su respuesta..
7 ? 7. La primera proposición será p: siete es menor que siete (F). La segunda será q: siete es igual
a siete (V). Es decir p v q, y al ser verdadera la segunda proposición, es condición suficiente para
que 7 ?7 sea verdadera.

17
18
 VALORESDEVERDAD
CONJUNCIÓNYDISYUNCIÓN

Nombre: ________________________________
Fecha: ________________________________

[Link] el valor de verdad de las siguientes proposiciones simples, explique el porqué de su

respuesta.

p: 22 es múltiplo de 4. ______________________________

q: 17 es número primo. ______________________________

Después halle el valor de verdad de las proposiciones compuestas que se presentan a continuación.
Para responder la segunda parte guíese en las tablas de verdad de la conjunción y disyunción.

a) p v q.

b) p ? q.

2. Traduzca la siguiente proposición a lenguaje matemático y determine su valor de verdad.

Indique el por qué de su respuesta..

7 ? 7.

19
20
PRÁCTICA DELABORATORIO
Conjunción y Disyunción

Nombre: ______________________________________________
Fecha: _______________________________________________

Objetivo: Determinar valores de verdad para la conjunción y disyunción mediante tablas de verdad.
Materiales:
- Circuito
- Transformador
- Extensión

Procedimiento:
1. Utilice el circuito lógico, en las secciones 2 y 3. Los circuitos simulan el resultado lógico de la
conjunción y de la disyunción.
2. Explore el circuito activando y desactivando los interruptores. Trabaje una vez que todos los focos estén
desactivados.
3. Ahora se trabajará con el circuito 2. En él cierre p y q. ¿Qué sucede con la lámpara?
________________________
4. Mantenga cerrado p y abra q. ¿La lámpara se enciende o se apaga?__________________
5. Abra p y cierre q, ¿Qué ocurre?_________________________________
6. Mantenga abierto p y q, ¿qué sucedió con la lámpara?____________________________________

7. Ahora bien, para representar el interruptor abierto

de usará F y cuando el interruptor permanezca Recuerde que cuando el
cerrado se usará V. Además, cuando la lámpara esté cuando se cierre el circuito
encendida se simbolizará con V y si está apagada con el interruptor deberá ir a
F. la izquierda.
21
PRÁCTICA DELABORATORIO
Conjunción y Disyunción

8. A partir de los datos anteriores, complete la siguiente tabla con las cuatro situaciones presentes:

9. Ahora trabajaremos similarmente en el circuito 3. Cierre p y q. ¿Qué sucede con la lámpara?

________________________

10. Luego, cierre q y abra p. ¿La lámpara se mantiene encendida o se apaga?__________________

11. Abra q y cierre p, ¿Qué sucede?_________________________________

12. Se mantiene abierto p y q, ¿qué ocurrió con la lámpara?____________________________________

13. Al igual que en el circuito anterior utilizaremos las

siguientes simbologías, para representar el interruptor
abierto de usará F y cuando el interruptor permanezca
cerrado se usará V. Además, cuando la lámpara esté
encendida se simbolizará con V y si está apagada con F.

22
PRÁCTICA DELABORATORIO
Conjunción y Disyunción

14. A partir de los datos anteriores, complete la siguiente tabla con las cuatro situaciones:

Conclusiones:

1. En el circuito 3, ¿Qué sucede con los resultados de la lámpara?

__________________________________________________________________________________________

__________________________________________________________________________________________

2. En el circuito 4, ¿Qué sucede cuando q está cerrado?

__________________________________________________________________________________________

__________________________________________________________________________________________

23
24
 Clase N° 3
VALORES DE VERDAD
Negación, Condicional y bicondicional

Contenidos:
Objetivo: Determinar valores de verdad para la
negación, condicional y bicondicional. - Valoresdeverdad
- Negación
Sesión 1. Duración 2 horas - Condicional
- Bicondicional

Los lenguajes lógicos formales pueden emplearse para estudiar la consistencia

de conjuntos de creencias pues estas se componen de proposiciones que son
portadoras del valor de verdad.

Planifiquemoslaanticipación:
Actividad grupal: Formasdela negación

1. Organizar a los estudiantes en cuatro grupos.

2. Dar a cada grupo una ficha con una proposición.

3. Solicitar a los estudiantes que a partir de los enunciados se

encuentren varias formas de expresar la misma idea y en el cuadro
superior escribir la formalización proposicional correspondiente.

4. Un jefe del grupo leerá las ideas que se obtienen y se debatirá la validez de las mismas.

25
 Planifiquemoslaconstrucción:
Actividad grupal. Práctica delaboratorio.

1. Organice a los estudiantes en cuatro grupos de trabajo.

2. Reparta las hojas de práctica de forma individual.
3. Entregar a los estudiantes la tabla con los circuitos lógicos. Solicitar que se complete la hoja
referente a la práctica de laboratorio.

VALORESDEVERDAD
Negación Condicional
Es un operador que se aplica a un solo valor de Es un operador que se aplica a dos valores de
verdad. La respuesta será el valor contrario a la verdad, en donde, las proposiciones p y q serán
proposición inicial. La característica denominadas antecedente y consecuente
fundamental de la negación es que el valor de respectivamente. Cuando el antecedente es
verdad es contrario al de la proposición inicial. Verdadero y el consecuente es Falso, la
proposicion es Falsa.
p: El Sol es la estrella más grande del Universo.
~p: El Sol no es la estrella más grande del
Recuer da:
Tabla de ver dad par a la
negación

La negación se lee como no p.

Existen dos símbolos para indicar la
negación de una proposición.
Bicondicional
Se conoce como bicondicional al conectivo que
es verdadero cuando ambos valores de p y q son
¬ ~
verdaderos, caso contrario son falsos. Está p: Estoy en Alemania
equivalencia se da porque p? q y q ? p, y se q: El día está frío.
p? q se traducirá como:
escribe como p? q. Se lee p es condición
necesaria y suficiente para que q. Estoy en Alemania si, y sólosi el día está frío

26
 Tabla de ver dad par a el Tabla de ver dad par a el
condicional bicondicional

Sepuedepensar enel condicional comounapromesa,cuandoel antecedenteesverdaderoyel consecuentees

falso,la"promesa"nosecumple.
Para ejemplificar el condicional usaremos una historia de una fiesta. Un padre de familia le dice a
la hija: Si obtienes buenas notas, irás a la fiesta. Lo mencionado se puede representar mediante
dos proposiciones:
p: Obtienes buenas notas

q: Irás a la fiesta.

Nótese que el condicional está implícito.

Se llenará la tabla de verdad considerando las cuatro situaciones:

1. En el primer caso la joven obtiene buenas notas (V) , entonces su padre le da el permiso para ir a
la fiesta (V). Él dijo la verdad, se deberá colocar una V como respuesta porque él cumplió su
promesa.
2. En el segundo caso, la joven sacó buenas calificaciones (V) y su padre no le dió el permiso (F).
La joven se encuentra muy molesta puesto que su padre mintió (F).
3. En el tercer caso, la estudiante no obtuvo buenas notas (F) pero su padre le envió a la fiesta (V),
puesto que no especificó qué sucedía en caso de no obtenerlas. La joven se siente feliz y el padre no
mintió (V).
4. El último caso, la muchacha no obtuvo buenas calificaciones (F) entonces el padre no le otorgó
el permiso (F), dado que él prometió enviarla si tenía buenas notas no miente en este caso y la hija
entiende que el trato fue justo (V).

Desafío: Plantee en base al ejemplo anterior, o a algún otro, los cuatro casos para
llenar una tabla del bicondicional.

27
 Planifiquemoslaconsolidación
Actividad individual: Software. Calculadora Lógica FREE

[Link] alos estudiantes instalar en los celulares la aplicación: Calculadora Lógica FREE
[Link] la sección: Tablas de verdad introducir las proposiciones y el símbolo del condiconal y la
negación. Comprobar los resultados de las tablas de verdad.
[Link] un ejemplo cotidiano con las expresiones resultantes. Recordemos que Tr (True) es igual
que Verdadero; y Fa (False es falso).
Puede utilizar las siguientes
proposiciones para hallar valores
de verdad que sean compatibles
con la realidad. Irán en función del
momento en que se lean.

p: Son lasdiez dela mañana.

q: El día escaluroso.
r: Edgar Allan Poefueescritor.
s: Estamosen la Universidad de
Cuenca

1. Explique detalladamente por qué la proposición compuesta:

Ejercicios: "Si 14 =18, entonces 94 ?94" es verdadera.
Ejercicioscon Puesto que se sabe que 14 no es igual a 18, es decir la primera proposición
aplicación es falsa. Y que 94 si es igual a 94, otra proposición falsa, el resultado
deberá ser verdadero.

2. Dadas las proposiciones: p: "Juego ajedrez", q: "Aprobé matemáticas" y r: "El Sol es una estrella". Exprese
cada proposición compuesta en palabras:
a) ~ q ? ( ~r) Si no aprobé matemáticas, entonces el Sol no es una estrella.

b) r ? (p ? q) Si el Sol es una estrella, entonces juego ajedrez y aprobé matemáticas.

c) (~p v ~r) ? q Si no juego ajedrez o el Sol no es una estrella, entonces aprobé matemáticas.

Paralasiguienteclase:
Leer el documento del siguiente enlace y presentar tres ideas fundamentales escritas.
Berríos, F. (2017). Tablas de Verdad. (2017). Universidad Tecnológica Metropolitana. Recuperado de:
[Link] 28
 VALORESDEVERDAD
NEGACIÓN,CONDICIONALYBICONDICIONAL

Proposición: Proposición:
El gobiernonoesdemocrático. Losnúmerosnaturalesnosson enteros.
______________________________________________ ______________________________________________
______________________________________________ ______________________________________________
______________________________________________ ______________________________________________
______________________________________________ ______________________________________________
______________________________________________ ______________________________________________
______________________________________________ ______________________________________________
______________________________________________ ______________________________________________
______________________________________________ ______________________________________________
______________________________________________ ______________________________________________

Proposición: Proposición:
Si ordenastuhabitación irása la fiesta. Si cortasun árbol, morirán losanimales.
______________________________________________ ______________________________________________
______________________________________________ ______________________________________________
______________________________________________ ______________________________________________
______________________________________________ ______________________________________________
______________________________________________ ______________________________________________
______________________________________________ ______________________________________________
______________________________________________ ______________________________________________
______________________________________________ ______________________________________________
______________________________________________ ______________________________________________

29
30
 VALORESDEVERDAD
NEGACIÓN,CONDICIONALYBICONDICIONAL
Posiblessoluciones

Proposición: Proposición:
~p ~p
El gobiernonoesdemocrático. Losnúmerosnaturalesnosson enteros.
- Noesciertoqueel gobiernosea democrático - Noesciertoquelosnúmerosnaturalessean enteros.
- Esfalsoqueel gobiernosea democrático. - Esfalsoquelosnúmerosnaturalessean enteros.
- Noesverdadqueel gobiernosea democrático - Noesverdadquelosnúmerosnaturalessean números
- El gobiernonoesnada democrático. enteros.

- Esfalsoqueel gobiernosea democrático. - Noesel casodequelosnúmerosnaturalessean

númerosenteros.
- El gobiernoesantidemocrático.

Proposición: Proposición:
p >q p >q
Si ordenastuhabitación irása la fiesta. Si cortasun árbol, morirán losanimales.
- Si ordenasla habitación, irása la fiesta. - Si cortasun árbol, entoncesmorirán losanimales.
- Irása la fiesta si ordenastuhabitación. - Que cortes un árbol trae consigo que mueran los
- Queordenestuhabitación implica queirása la fiesta. animales.

- Irása la fiesta a condición de que ordenes tu - Morirán losanimales, supuestoquecortasel árbol.

habitación. - Supuestoquecortasel árbol, morirán losanimales.
- Irása la fiesta siemprequeordenestuhabitación. - Morirán losanimalessiemprequecortesel árbol.
- Irás a la fiesta en casodequeordenestuhabitación. - Morirán losanimalesporquecortasel árbol.
- Irása la fiesta, supuestoqueordenestuhabitación. - Quecortesel árbol implca quemueran losanimales.

31
32
 VALORESDEVERDAD
NEGACIÓN,CONDICIONALYBICONDICIONAL

Nombre: ..................................................
Fecha: ......................................................
Ejercicios:
Ejercicioscon
aplicación

1. Explique detalladamente por qué la proposición compuesta:

"Si 14 =18, entonces 94 ? 94" es verdadera.

2. Dadas las proposiciones: p: "Juego ajedrez", q: "Aprobé matemáticas" y r: "El Sol es una estrella".
Exprese cada proposición compuesta en palabras:
a) ~ q ? ( ~r)

b) r ? (p ? q)

c) (~p v ~r) ? q

33
34
PRÁCTICA DELABORATORIO
Negación, Condicional y Bicondicional

Nombre: ______________________________________________
Fecha: _______________________________________________

Objetivo: Determinar valores de verdad para la negación, condicional y bicondicional mediante tablas de
verdad.
Materiales:
- Circuito
- Transformador
- Extensión

Procedimiento:

1. Utilice el circuito lógico, en las secciones 1, 4 y 5. Los circuitos simulan el resultado lógico de la
negación, condicional y bicondicional.
2. Explore el circuito activando y desactivando los interruptores.
3. Ahora se trabajará con el circuito 1. En él cierre p. ¿Qué sucede con la lámpara?

________________________

4. Abra p , ¿Qué ocurre?_________________________________

5. Ahora bien, para representar el

interruptor abierto de usará F y cuando
el interruptor permanezca cerrado se
usará V. Además, cuando la lámpara
esté encendida se simbolizará con V y si
está apagada con F.

35
 PRÁCTICA DELABORATORIO
Negación, Condicional y Bicondicional

6. A partir de los datos anteriores, complete la siguiente tabla con las dos situaciones anteriores:

7. Ahora se trabajará similarmente en el circuito 4. Cierre ? p y q. ¿Qué sucede con la lámpara?

________________________

8. Luego, cierre q y abra ? p. ¿La lámpara se mantiene encendida o se apaga?______________________

9. Abra q y cierre ? p, ¿Qué sucede?_________________________________

10. Mantenemos abierto ? p y q, ¿qué ocurrió con la lámpara?__________________________________

11. Ahora, para representar el interruptor abierto se usará F y cuando el interruptor permanezca cerrado se
usará V. Es necesario recalcar que en el circuito usamos ? p "negación de p", por lo que este valor de
verdad irá invertido. Es decir, si p está cerrado (v) se escribirá (F) . Cuando la lámpara esté encendida se
simbolizará con V y si está apagada con F.

36
PRÁCTICA DELABORATORIO
Negación, Condicional y Bicondicional
12. A partir de los datos anteriores, complete la siguiente tabla con las cuatro situaciones anteriores:

13. En el circuito 5, se trabajará de manera similar. Cierre p y q. Se observa que en la parte inferior se
encuentra ~p y ~q, es decir, vamos a hacer lo contrario a la orden. Permanecerán abiertos ~p y~q. ¿Qué
sucede con la lámpara?________________________
14. Ahora, p permanece cerrado y abrimos q. La negación de q estará cerrado. ¿La lámpara se mantiene
encendida o se apaga?______________________
15. Abra p y cierre q, haciendo lo contrario con las negaciones. ¿Qué sucede? ________________________
________________________________________________
16. Al final abrimos los dos interruptores p y q, ¿qué ocurrió con la lámpara?_________________________

17. Ahora, para representar el interruptor abierto se

usará F y cuando el interruptor permanezca cerrado se
usará V. Es necesario recalcar que en el circuito usamos
? p "negación de p", por lo que este valor de verdad irá
invertido. Es decir, si p está cerrado (v) se escribirá (F) .
Cuando la lámpara esté encendida se simbolizará con V
y si está apagada con F.

37
 PRÁCTICA DELABORATORIO
Negación, Condicional y Bicondicional

Conclusiones:

1. En el circuito 4, ¿Qué sucede con los resultados de la lámpara?

__________________________________________________________________________________________

__________________________________________________________________________________________

2. En el circuito 5, ¿Qué sucede cuando q está cerrado?

__________________________________________________________________________________________

__________________________________________________________________________________________

38
 Clase N° 4
Clase invertida

TABLAS DE VERDAD

Objetivo: Determinar valoresdeverdad para la tablasde Contenidos:

verdad con proposicionescompuestas. - Valoresdeverdad
Sesión 1. Duración 2 horas - Tablasdeverdad
- Prioridad deconectivoslógicos

Las tablas de verdad permiten la recuperación de datos que

utilizan motores de búsqueda, tales como el Internet o el fichero
de una biblioteca.

Planifiquemoslaanticipación:
Actividad individual: Lectura de cómic

1. Solicitar a los estudiantes que lean el comic referente a la historia de las tablas de verdad:
2. Después se procederá a realizar las siguientes preguntas:
- ¿De qué otra forma podrían estar organizados los valores de verdad?
- ¿Es fácil determinar la respuesta en una tabla de verdad?
- El cómicseencuentra en la diapositiva dePower Point adjuntoen el CD.

3. La tarea anterior de los estudiantes era leer y presentar tres ideas fundamentales del artículo
Berríos, F. (2017). Tablas de Verdad. (2017). Universidad Tecnológica Metropolitana. Recuperado de:
[Link]

39
Planifiquemoslaconstrucción:
Actividad individual: Mapa deideas

2. A partir de las ideas que los estudiantes presentaron en clase y con ayuda de la teoría del texto,
elaborar dos mapas de ideas, uno del procedimiento para resolver tablas de verdad y otro para la
prioridad de los conectores lógicos.

Recuer da:

Los valores que verdad que

se asignan a cada
proposición se deberá
hacer de forma ordenada
para garantizar que existan
en la tabla todas las
combinaciones posibles.

40
TABLASDEVERDAD
Una tabla de verdad es un esquema que permite determinar si una proposición compuesta es
verdadera,falsaovariada.
Para construir una tabla de verdad de una proposición compuesta, primero se traduce en lenguaje
matemático las situaciones iniciales dadas. Después, se debe enunciar todas las posibles
combinaciones de los valores de verdad para p, q, r, s o t. De ser necesario escriba los valores
negativos de las proposiciones. Se agregarán las columnas necesarias dependiendo de cómo
resolvemos el ejercicio. Al final, y dependiendo del orden de los operadores lógicos comparamos con
los conectores anteriores (disyunción, conjunción, negación, condicional y bicondicional) y se halla
el valor de verdad de la última columna.
Recordemos las primeras tablas de verdad que conocimos:

Analizar los siguientes ejemplos:

(r ? s) v ~ s

41
 [(p ? ( ~ q)] ? q

Ejercicioscon
aplicación

Existen algunas aplicaciones a las tablas de verdad, y como ya se ha mencionado, la principal es

determinar si las proposiciones compuestas son verdaderas o falsas. Existen problemas que se plantean y
se puede traducir a lenguaje formal:
Un día mientras cuatro amigos jugaban póker, intentaban formar
una escalera real y cada uno de ellos afirmó lo siguiente:

- Rodrigo dijo: "si notengouna carta decorazones, entonceslloverá"

- Roberto dijo: "si notengouna carta decorazones, entoncesnolloverá"
- Santiago afirmó: "si tengouna carta decorazones, entoncesnolloverá"
Todos tienen la misma posibilidad de tener las cartas para formal la escalera real y terminado el juego
comienza a llover. El último amigo que los escuchaba, David dijo: "uno de ustedes ha hecho una
afirmación falsa" . ¿Quién de los tres amigos mintió?
Rodrigo Roberto

Santiago

Como todos podían tener una carta de

corazones (V), y lluvió (V). Se analizan las
proposiciones y se determina que Santiago
mintió, porque la respuesta de la tabla de verdad
es Falsa.

42
Planifiquemoslaconsolidación:
Actividad grupal: Resolución deejercicios

[Link] a los estudiantes que resuelvan en grupo los siguientes ejercicios de tablas de verdad:
Resolver:
1. {p ? [ q v (~ p)] }v r 3. (p ? q) ? [(p ? ( ~ q)]
2. {p ? [ q v (~ p)] } v [ p ? ( ~ q)] 4. ( p v q) ? [p v (~ p ? q)]

Soluciones:

43
 Desafío: En un barrio, un miembro de una pandilla acaba de asaltar una tienda.
Entonces el jefe decide hablar con los muchachos.
Pedro dijo: "Fue Ramiro o Sebastián"
Ramiro dijo: "Ni Ulises ni yo lo hicimos"
Sebastián expresó: "Ustedes dos están mintiendo"
Tito expresó: "No, uno de ellos está mintiendo; el otro está diciendo la verdad"
Ulises dijo: "No, Tito, eso no es cierto"
Ahora bien, el jefe sabía que tres de los asaltantes siempre decían la verdad, pero que dos siempre
mentían. ¿Puede descubrir el jefe quién realizó el asalto a la tienda?
Traduzca las proposiciones a la f orma simbólica y resuelva las tablas de verdad para hallar la solución. Utilice la
aplicación: Calculadora Logical FREE

Pr obl em a r ecu per ado de Sim th , K. (1991). I ntoducción a la Lógica. M éxico: Iber oam er ican a

Solución:
Se debe expresar los enuncados de forma simbólica, para lo cual se utilizará proposiciones:
Sean: p: Pedrolohizo
r: Ramirolohizo
s: Sebastián lohizo
t: Titolohizo
u: Uliseslohizo
44
Ahora vamos a traducir las expresiones:
Pedro dijo: r vs
Ejercicioscon
Ramiro dijo: ~u ? (~r) aplicación
Sebastián expresó: [~(r v s)] ? ~[ ~(u v r)]
Tito expresó: [(r v s) ? (u v r)] v {~(r v s) ? [ ~(u v r)]}
Ulises dijo: ~( [(r v s) ? (u v r)] v {~(r v s) ? [ ~(u v r)]} )

Para determinar la solución se elaborarán las tablas de verdad:

Se analizan todas las proposiciones suponiendo que p es verdadera, luego que r,s,t y u. Sólo en un caso se
presentan tres que dicen la verdad y dos que mienten. Así que Sebastián realizó el asalto a la tienda.

Paralasiguienteclase:
Revisar el nombre que reciben las repuestas de los ejercicios 2, 3 y 4.
Consultar el artículo: [Link]/RL4zSh Pág. 7

45
46
 TABLASDEVERDAD
Nombre: ________________________________
Fecha: ________________________________
Resolver: las siguientes tablas de verdad:

1. {p ? [ q v (~ p)] }v r

2. {p ? [ q v (~ p)] } v [ p ? ( ~ q)]

3. (p ? q) ? [(p ? ( ~ q)]

47
4. ( p v q) ? [p v (~ p ? q)]

Desafío: En un barrio, un miembro de una pandilla acaba de asaltar una tienda.

Entonces el jefe decide hablar con los muchachos.
Pedro dijo: "Fue Ramiro o Sebastián"
Ramiro dijo: "Ni Ulises ni yo lo hicimos"
Sebastián expresó: "Ustedes dos están mintiendo"
Tito expresó: "No, uno de ellos está mintiendo; el otro está diciendo la verdad"
Ulises dijo: "No, Tito, eso no es cierto"
Ahora bien, el jefe sabía que tres de los asaltantes siempre decían la verdad, pero que dos siempre
mentían. ¿Puede descubrir el jefe quién realizó el asalto a la tienda?

Traduzca las proposiciones a la f orma simbólica y resuelva las tablas de verdad

para hallar la solución. Utilice la aplicación: Calculadora Logical FREE

Pr obl em a r ecu per ado de Sim th , K. (1991). I ntoducción a la Lógica. M éxico: Iber oam er ican a

Escriba las conclusiones:

____________________________________________________________________________________________
____________________________________________________________________________________________
____________________________________________________________________________________________
____________________________________________________________________________________________
____________________________________________________________________________________________
____________________________________________________________________________________________
____________________________________________________________________________________________
____________________________________________________________________________________________
El asaltante f ue: ____________________

48
 Clase N° 5
Clase invertida

TAUTOLOGÍ A,
CONTRADI CCI ÓN Y CONTI NGENCI A
Objetivo: Definir y reconocer tautologías, contradicciones Contenidos:
y contingenciascomoresultadodelastablasdeverdad. - Valor deverdad
Sesión 1. Duración 2 horas
- Tautología y contradicción
- Contingencia
- Falaciaslógicas

Cuando se quiere combatir una falacia, como las presentadas en

estas imágenes, debe reconstruirlo y exponer las contradicciones
que existen.

Planifiquemoslaanticipación:
Actividad individual: Análisis de imágenes

1. Los estudiantes como tarea anterior debían revisar el nombre que reciben las repuestas de los ejercicios
2, 3 y 4. Consultando el artículo: [Link]/RL4zSh Pág. 7

- Si en el ejercicio 2, los resultados eran VVFF.

¿Qué nombre recibe este resultado? Contingencia

- Si todos los valores de verdad de una tabla corresponden a Verdadero, ¿Qué nombre tiene este
resultado? Tautología

- ¿Y si los valores son falsos? Contradicción

49
2. Observar el siguiente documento de Prezi. En él están incluidas imágenes que corresponden a
falacias . Para cada imagen el estudiante deberá indicar una contradicción por la que no es real la
imagen. [Link]

Planifiquemoslaconstrucción:
Actividad individual: Elaboración dediagrama

1. Con ayuda del docente, el estudiante elaborará un diagrama con los conceptos de tautología,
contradicción y contingencia.

Para determinar si es
una tautología,
contradicción y
contingencia se debe
construir la tabla de
verdad y se comprueba
en la última columna de
la tabla.

50
TAUTOLOGÍA,CONTRADICCIÓNYCONTINGENCIA
En el contexto de la lógica proposicional, existen estructuras básicas que se llaman proposiciones
atómicas. Sinembargo, el interésdelalógicanoesverificar si unaproposiciónsimpleesonoverdad. El
objetivo que la lógica proposicional persigue es determinar si el conjunto de las proposiciones es
verdaderoono.
Cuando una proposición compuesta es verdadera sin importar la combinación de sus valores de
verdad , se denomina tautología .

Respecto a las tablas de verdad, existen varias proposiciones

compuestas que tienen como resultado tautologías: Ejemplo: "p
o no p"

Tautología Recuer da:

Una contr adicción existen cuando una proposición compuesta es
falsa, sin importar el valor de las proposiciones que la componen.
Ejemplos de contradicciones son las siguientes:
- El pastel es dulce, no es dulce.
Una tautología siempre es
- El hielo calienta. verdadera, entonces la
- El número -3 es imaginario y es real. negación de una tautología
siempre va a ser falsa.
- 1,3838 es números natural y racional.
De igual forma con la
contradicción, como
Si una proposición no es ni verdadera ni falsa independientemente de siempre es falsa; la
los valores de verdad de las proposiciones simples que la componen, negación de una
contradicción en una
esta se denomina contingencia.
tautología.

Una fórmula es contingente si al menos uno de sus casos posibles resulta verdadero y falso por lo
menos en otro. Es importante mencionar que cuando la respuesta es una contingencia, no basta con
el análisis de la tabla de verdad, se debe examinar las proposiciones atómicas y el mundo empírico
para demostrar la falsedad.

51
 Planifiquemoslaconsolidación:
Actividad individual: Ejercicios de relación

Relaciona cada una de las siguientes tautologías con el argumento que le corresponde.
Tautologías Argumentos

a) p ? ¬p c x <3 y x <?1 ? x <?1

e n es divisible por 3 ? n es divisible por 2 o n es
b) p ? q ? p
divisible por 3
c) p ? q ? q f Si x 3 =y 3 , entonces x =y ? Si x 6=y, entonces x 3
d) p ? (p ? q) 6=y 3
c Ricardo aprobó Matemáticas y Química ? Ricardo
e) q ? (p ? q)
aprobó Química
f ) (p ? q) ? (¬q ? ¬p) a x >1 o x ?1
f Si n es divisible por 5, entonces ?n es divisible por
Ejercicioscon 5 ? Si ?n no es divisible por 5, entonces n no es divisible
por 5
aplicación
d x >1 ? x >1 o x <?1

Evaluación:

1. Comprobar por tablas de verdad si la siguiente es o no tautológica: (p ? q ? ¬q) ? ¬p

Estautológica, ya queresulta V en todaslasinterpretaciones.

2. Determinar si la siguiente tabla es una tautología, una contradicción o contingencia: p v (p ? q ? r)

Noescontingentenii contradicción, ya queresulta V en todaslasinterpretacione, esuna tautología 52

3. Comprobar por tablas de verdad si la siguiente es o no tautológica: (p ? ¬q) v (q ? ¬r)

Noestautológica, ya queresulta F en dosinterpretaciones.

Desafío:
4. Comprobar por tablas de verdad las siguientes afirmaciones:
15 es un número compuesto o es martes, y si no es martes entonces 15 es un número compuesto.
Formalizandola proposición compuesta tendríamos: (pvq) ? (¬q? p) .
Asumiendoquep: 15esun númerocompuesto q: Hoy esmartes,
Al resolver la tabla deverdadseobtiene:

(p ? q) ? (¬q ? p) Es una proposición compuesta con valor de verdad contingente, pues tiene
valores de V y F. Para afirmar el valor de verdad se debe determinar si en verdad el día de hoy es

Paralasiguienteclase:
Del siguiente texto leer las páginas 12 y 13, y realizar un organizador gráfico que
resuma el concepto de proposiciones quivalentes, y cómo estás se relacionan con las
tautologías.
Zill, D.G.; Dewar, J.M. (2012). Algebra, trigonometria y geometria analitica.3. ed. Mexico: McGraw
Hill.
Podrá encontrar el texto en el siguiente enlace: [Link]/ VbyyzR
53
54
 TAUTOLOGÍA,CONTRADICCIÓN
YCONTINGENCIA

Nombre: ________________________________
Fecha: ________________________________

1. Relaciona cada una de las siguientes tautologías con el argumento que le corresponde.
Tautologías Argumentos

a) p ? ¬p x <3 y x <?1 ? x <?1

n es divisible por 3 ? n es divisible por 2 o n es
b) p ? q ? p
divisible por 3
c) p ? q ? q Si x 3 =y 3 , entonces x =y ? Si x 6=y, entonces x 3
d) p ? (p ? q) 6=y 3
Ricardo aprobó Matemáticas y Química ? Ricardo
e) q ? (p ? q)
aprobó Química
f ) (p ? q) ? (¬q ? ¬p) x >1 o x ?1
Si n es divisible por 5, entonces ?n es divisible por
5 ? Si ?n no es divisible por 5, entonces n no es divisible
por 5
x >1 ? x >1 o x <?1

2. Comprobar por tablas de verdad si la siguiente es o no tautológica: (p ? q ? ¬q) ? ¬p

3. Determinar si la siguiente tabla es una tautología, una contradicción o contingencia: p v (p ? q ? r)

55
4. Comprobar por tablas de verdad si la siguiente es o no tautológica: (p ? ¬q) v (q ? ¬r)

Desafío:
5. Comprobar por tablas de verdad las siguientes afirmaciones:
15esun númerocompuestooesmartes, y si noesmartesentonces15esun númerocompuesto.

56