[Título del documento]

[Subtítulo del documento]

Descripción breve
[Dibujar su lector con un resumen de la participación. Normalmente es un breve resumen del
documento.
Cuando esté listo para agregar contenido, haga clic aquí y empiece a escribir.]

Lenovo
[Dirección de correo electrónico]
 TRABAJO COLABORATIVO

XXXXXXXXXXXXXX
CODIGO:XXXXXXXXXX
XXXXXXXXXXXXXXX
CODIGO:XXXXXXXXXXXXX

LOGICA MATEMATICA
GRUPO COLABORATIVO ##GRUPO

TUTOR
XXXXXXXXXXXXXXXXXXXXXXXX

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD).

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERA
INGENIERIA SISTEMAS
SANTA MARTA
2017
Contenido
Introducción ........................................................................................................................ 3
Objetivo General..................................................................................................................... 4
Objetivos Específicos ......................................................................................................... 4
Desarrollo de la actividad ....................................................................................................... 5
Conclusión ........................................................................................................................ 28
Referencias ....................................................................................................................... 29
Introducción

El presente trabajo tiene como finalidad estudiar los conceptos de Proposiciones, tablas de

verdad, tablas de inferencia, método ponen ponens, tollen tollens y demás conceptos; que

serán aplicados a la resolución de unas series de ejercicios planteados en la temática del

curso, el reconocimiento de los conceptos son esenciales para la resolución de los problemas

planteados, además de cualquier ejercicio que involucre dichos conceptos. En este caso

mostraremos la resolución de los ejercicios escogidos por algunos participantes del curso

Lógica Matemática.
Objetivo General

 Desarrollar problemas matemáticos utilizando Tabla de Verdad y tablas de

inferencias. Además de inducción a resolución de problemas de la vida real.

Objetivos Específicos

 Solucionar problemas por medio de tablas de verdad.

 Solucionar problemas por medios de tablas de inferencias.

 Implementar tablas de verdad para la resolución de problemas.

Desarrollo de la actividad

ANEXO 1

SITUACIONES PROBLÉMICAS DE LA OPERATIVIDAD ENTRE

CONJUNTOS

En los numerales (1), (2), (3), (4) y (5) aplicar las propiedades y las operaciones con
conjuntos y validar los procesos con el uso de Diagramas de Venn para la solución de cada
problema:

1. Se preguntó a 50 docentes de la ECBTI sobre los deportes que practicaban,

obteniéndose los siguientes resultados: 20 practican solo futbol, 12 practican
futbol y natación y 10 no practican ninguno de estos deportes. Con estos datos
averigua el número de docentes que practican natación, el número de ellos que
solo practican natación y el de los que practican alguno de dichos deportes.

Solución
Sea U = “Al número de docentes de la ECBTI encuestados” = 50

A = “docentes que practican solo futbol” = 20

B = “docentes que practican futbol y natación” = 12

C = “docentes que no practican ningún deporte” = 10

X = “docentes que practican natación” = x

Nos dicen que 10 no practican ninguna de las dos cosas entonces U - C = “docente
que practican algún deporte”. Luego los que practican algún deporte son 50 - 10 =
40

Entonces tendremos

A ∪ X = 40

Pero sabemos que el cardinal de la unión de dos conjuntos es:

A ∪ X = A + X – A ∩ X = 40
 Y nos dicen que los docentes que practican solo futbol A = 20, eso significa que
A - A ∩ X = 20 (1)
Sustituyendo en (1)
20 + X = 40
X = 20
Además que los docente que practican fútbol y natación B = 12, luego
A ∩ X = 12
Los docentes que practican solo natación son:
Sea Y = “docentes que solo practican nación” = ??
|X| - |F∩X| = 20 - 12 = Y = 8

Los docentes que practican solo nación son: Y = 8

Diagrama de Venn

2. En una encuesta a 200 estudiantes unadistas se encontró que 68 habían tomado

cursos de Lógica, 138 habían tomado cursos de Inglés y 160 cursos de Álgebra;
120, cursos de Inglés y de Álgebra; 20 cursos de Lógica pero no de Inglés; 13
cursos de Lógica pero no de Álgebra; 15 cursos de Lógica y de Álgebra pero no
de Inglés. ¿Cuántos de los entrevistados no tomaron cursos de Lógica ni de
Álgebra ni de Inglés?
Solución

L: estudiantes que tomaron el corso de lógica

A: estudiantes que tomaron el curso de algebra
I: estudiantes que tomaron el curso de ingles
Q: estudiantes que no tomaron ningún curso

Del conjunto L se tiene: 20+15+13+𝑥=68 →48+𝑥=68→𝑥=20 (1)

Del diagrama 4 y del enunciado se tiene: X+Y=120, reemplazando (1) en esta

Ecuación se obtiene: 20X=120→Y=100 (2)

Del conjunto A se tiene: 15+X+Y+Z=160, reemplazando (1) 𝑦 (2) en esta ecuación

Se obtiene: 15+20+100+Z=160→135+Z=160→Z=25 (3)

Del conjunto I se tiene: 13+X+Y+Z=138, reemplazando (1) 𝑦 (2) en esta ecuación

Se obtiene: 13+20+100+W=138→133+W=138→W=5 (4)

 Q = (𝑈) − (𝐿∪𝐴∪𝐼)→Q=200−(20+15+13+𝑥+𝑤+𝑦+𝑧)→ Q=200−198→Q=2

Se da respuesta al interrogante:
¿Cuántos de los entrevistados no tomaron cursos de Lógica ni de Álgebra ni de
Inglés?

2 estudiantes entrevistados no toman ningún curso.

3. Del total de profesores de la UNAD se ha tomado una muestra de 335 maestros

y se tienen los siguientes datos: 215 son de tiempo completo, 190 hablan el
inglés, 255 tienen por lo menos maestría, 70 son de tiempo completo y hablan
inglés, 110 hablan el inglés y tienen por lo menos una maestría, 145 son de
tiempo completo y tienen por lo menos maestría; y todos tienen al menos una
de las características. Hallar el número de maestros que tengan las tres
características anteriores.
Solución
Del Enunciado podemos expresar
U = 335 maestros
A = Maestros de Tiempo Completo = 215
B = Maestros de Ingles = 190
C = Maestros por lo menos con Maestría = 255
A ∩ B = 70
B ∩ C = 110
A ∩ C = 145

DIAGRAMA DE VENN
Vemos claramente que no hay intercepción entre los conjuntos A, B y C que
corresponde al número de maestros que presenten las tres características anteriores.
Por lo tanto no hay maestros que cumplan las tres características.
 ANEXO 2

SITUACIONES PROBLÉMICAS DE ENUNCIADOS TIPO FALACIA

En los numerales (6), (7), (8), (9) y (10) identificar todas las expresiones que considera son
proposiciones lógicas simples y también las expresiones que no son proposiciones. El
siguiente paso es identificar proposiciones compuestas. Para lograr esta identificación,
conviene reescribir el texto resaltando los conectivos lógicos que no están explícitos en la
expresión. Declarar las proposiciones simples, asignando una de las últimas letras del
alfabeto para identificarlas. Finalmente, expresar en lenguaje simbólico las proposiciones
simples, compuestas identificadas; y construir sus tablas de verdad. Determinar si la tabla de
verdad es tautología, contradicción o contingencia. Además adjuntar pantallazo del uso del
simulador de Tablas de Verdad.

6. Si el perrito, el gato y el caballo, como mascotas son abandonados, entonces son

acogidos por la Protectora. Pero el perrito es abandonado, también el caballo.
Luego, tanto el perrito como el caballo son acogidos por la Protectora.

Solución

Definimos nuestras proposiciones según el problema.

𝑝 = “perrito”
𝑞 = “gato”
𝑟 = “Caballo”
𝑠 = “Abandonados”
𝑡 = “Acogidos por la protectora”

[[(𝑝 ∧ 𝑞 ∧ 𝑟) → 𝑠 ] → 𝑡] ∧ [(𝑝 ∧ 𝑟) → 𝑠] → [(𝑝 ∧ 𝑟) → 𝑡]

𝑝 𝑞 𝑟 𝑠 𝑡 (𝑝 (𝑝 ∧ 𝑞 [[(𝑝 ∧ 𝑞 (𝑝 [(𝑝 [(𝑝 ∧ 𝑟) [[(𝑝 ∧ 𝑞 ∧ 𝑟)

∧𝑞 ∧ 𝑟) ∧ 𝑟) ∧ 𝑟) (𝑝 ∧ 𝑟) → 𝑠] → 𝑠 ] → 𝑡]
∧ 𝑟) →𝑠 →𝑠] ∧ 𝑟) → 𝑡] → [(𝑝 ∧ [(𝑝 ∧ 𝑟) → 𝑠]
→ 𝑡] →𝑠 ∧ 𝑟) → [(𝑝 ∧ 𝑟) → 𝑡]
→ 𝑡]
T T T T T T T T T T T T T
T T T T F T T F T T F F T
T T T F T T F T T T T T T
T T T F F T F T T F F T T
T T F T T F T T T F T T T
T T F T F F T F T F F T T
T T F F T F T T T F T T T
T T F F F F T F T F F T T
T F T T T F T T F T T T T
T F T T F F T F F T T T T
T F T F T F T T F T T T T
T F T F F F T F F T T T T
T F F T T F T T F T T T T
T F F T F F T F F T T T T
T F F F T F T T F T T T T
T F F F F F T F F T T T T
F T T T T F T T F T T T T
F T T T F F T F F T T T T
F T T F T F T T F T T T T
F T T F F F T F F T T T T
F T F T T F T T F T T T T
F T F T F F T F F T T T T
F T F F T F T T F T T T T
F T F F F F T F F T T T T
F F T T T F T T F T T T T
F F T T F F T F F T T T T
F F T F T F T T F T T T T
F F T F F F T F F T T T T
F F F T T F T T F T T T T
F F F T F F T F F T T T T
F F F F T F T T F T T T T
F F F F F F T F F T T T T
TAUTOLOGIA
7. Un número es divisible por 2 si la última cifra de dicho número es múltiplo de 2.
Un número es divisible por 3 si la suma de las cifras de dicho número es múltiplo
de 3. Pero dicho número no es divisible por 2 o no lo es por 3. Por tanto, la suma
de las cifras de un número no es un múltiplo de 3 si la última cifra de un número
es múltiplo de 2.

Solución

Definimos nuestras proposiciones según el problema.

𝑝 = “divisible por 2”
𝑞 = “múltiplo de 2”
𝑟 = “divisible por 3”
𝑠 = “múltiplo de 3”

Por tanto nuestra expresión quedaría:

(𝑝 ∧ 𝑞) ∧ (𝑟 ∧ 𝑠) ∧ (∼ 𝑞 ∨∼ 𝑟) → (∼ 𝑟 ∧ 𝑞)
𝑝 𝑞 𝑟 𝑠 (𝑝 ∧ 𝑞) (𝑟 (𝑝 ∧ 𝑞) ∧ (𝑟 ∧ 𝑠) (𝑝 ∧ 𝑞) ∧ (𝑟 ∧ 𝑠) ∧ (∼ 𝑞 ∨∼ 𝑟)
∧ 𝑠) ∧ (∼ 𝑞 ∨∼ 𝑟) → (∼ 𝑟 ∧ 𝑞)

T T T T T T F T
T T T F T F F T
T T F T T F F T
T T F F T F F T
T F T T F T F T
T F T F F F F T
T F F T F F F T
T F F F F F F T
F T T T F T F T
F T T F F F F T
F T F T F F F T
F T F F F F F T
F F T T F T F T
F F T F F F F T
F F F T F F F T
TAUTOLOGIA

10. “Si el incremento en las penas de prisión fuera suficiente para disminuir los
niveles de delincuencia, el índice de secuestros iría en disminución. Pero es un
hecho que, en lugar de disminuir, el número de secuestros va en aumento.”.

Solución
Definimos nuestras proposiciones según el problema.
𝑝 = “Si el incremento en las penas de prisión fuera suficiente para disminuir los
niveles de delincuencia”
𝑞 = “El índice de secuestros iría en disminución.”
(𝑝 → 𝑞 ) ∧ ∼ 𝑞
𝑝 𝑞 p→q ∼𝑞 𝑝 →𝑞 ∧∼𝑞
V V V F F
V F F V F
F V V F F
F F V V V
CONTIGENCIA
 ANEXO 3

SITUACIONES PROBLÉMICAS DE LA LÓGICA PROPOSICIONAL

En los numerales (11), (12), (13), (14) y (15) identificar (del texto dado), los razonamientos
lógicos inductivos y deductivos, y en ellos el tipo de razonamiento. A partir de los
razonamientos propuestos para el texto, responder la pregunta: ¿Se verifica la conclusión
propuesta? Y presentar argumentos que permitan respaldar veracidad a la respuesta dada. Es
decir, a partir de las tablas de verdad y las leyes de inferencia demostrar la validez o no del
razonamiento. Además adjuntar pantallazo del uso del simulador de Tablas de Verdad.

11. En una actividad lúdica para los estudiantes de un colegio, realizan la búsqueda
de un tesoro, la idea es que el estudiante que participe descubra una nota escrita
por el profesor, quien por su sentido creativo estructura los acertijos lógicos
para la prueba. En la nota dice que ha escondido un tesoro en algún lugar de la
casa campestre donde se encuentran. El profesor enumera cinco enunciados
todos ellos verdaderos y reta a los estudiantes a que descubras dónde está el
tesoro. He aquí los enunciados:

a. Si la casa está cerca de una piscina, el tesoro no está en la cocina.

b. Si el árbol de la entrada es un pino, el tesoro está en la cocina.
c. La casa está cerca de una piscina.
d. El árbol de la entrada es un pino o el tesoro está enterrado debajo de la bandera.
e. Si el árbol de la entrada es un eucalipto, el tesoro está en el garaje.

Solución
Definimos nuestras proposiciones según el problema.

𝑝 = “La casa está cerca de una piscina, el tesoro no está en la cocina”

𝑞 = “El tesoro no está en la cocina”
𝑟 = “El árbol de la entrada es un pino”
𝑠 = “El tesoro está enterrado debajo de la bandera”
𝑡 = “El árbol de la entrada es un eucalipto”
𝑢 = “el tesoro está en el garaje”
a) 𝑝 →∼𝑞
b) 𝑟→ 𝑞
c) 𝑝
d) 𝑟 ∨𝑠
e) 𝑡→ 𝑢

Utilizando el MODOS PONENDO PONENS entre a) y c) resulta:

f) ∼ 𝑞

Luego aplicamos el MODUS TOLLENDO TOLENS entre b) y f) resultado

g) ∼ 𝑓

Finalmente aplicamos el MODUS TOLLENDO PONENS entre d) y g) resultando:

h) S
S = “El tesoro está enterrado debajo de la bandera”
Si tiene veracidad el ejercicio y si se puede presentar la situación.

12. Si el Rector no pudo dar el discurso o los diplomas no llegasen a tiempo, entonces
la fiesta de graduación tendría que cancelarse y los estudiantes se enojarían. Si
la fiesta se cancelara, habría que devolver el dinero. No se devolvió el dinero.
Por lo tanto, el Rector pudo dar el discurso.

Solución
Definimos nuestras proposiciones según el problema.

𝑝 = “El rector pudo dar el discurso”

𝑞 = “Los diplomas llegan a tiempos”
𝑟 = “La fiesta se cancelaría”
𝑠 = “Estudiantes se enojarían”
 𝑡 = “devolver el dinero”

{[(~p∨~q) →(r∧s)]∧[(r →t)∧~t]} →p

1) (~p v ~q) → (r ^ s)
2) r →t
3) ~t
C) p
Donde C) es la conclusión
Se cumple ~t, entonces por tollendo tollens sobre 2) tenemos ~r.
Entonces el consecuente de 1) (r ^s) es falso, luego por tollendo tollens sobre 1 se
cumple
~(~p v ~q)
Por las leyes de Morgan
~ (~p) ^ ~(~q)
Por la doble negación
p^q
Por simplificación
p
Luego el argumento está bien, se verifica la conclusión.

p q r s T (~p∨~q) (r∧s) [(~p∨~q) →(r∧s)] (r [(r [(~p∨~q) →(r∧s)]∧[(r {[(~p∨~q) →(r∧s)]∧[(r

→t) →t)∧~t] →t)∧~t] →t)∧~t]} →p

T T T T T F T T T F F T
T T T T F F T T F T T T
T T T F T F F T T F F T
T T T F F F F T F T T T
T T F T T F F T T F F T
T T F T F F F T T T T T
T T F F T F F T T T T T
T T F F F F F T T F F T
T F T T T T T T T F F T
T F T T F T T T F T T T
T F T F T T F F T F T T
T F T F F T F F F T T T
T F F T T T F F T F T T
T F F T F T F F T T T T
T F F F T T F F T F T T
T F F F F T F F T T T T
F T T T T T T T T F T T
F T T T F T T T F T T T
F T T F T T F F T F T T
F T T F F T F F F T T T
F T F T T T F F T F T T
F T F T F T F F T T T T
F T F F T T F F T F T T
F T F F F T F F T T T T
F F T T T T T T T F F T
F F T T F T T T F T T T
F F T F T T F F T F T T
F F T F F T F F F T T T
F F F T T T F F T F T T
F F F T F T F F T T T T
F F F F T T F F T F T T
F F F F F T F F T T T T
TAUTOLOGIA
13. “El alza en los precios del petróleo es imparable. Esto obligará a disminuir los
niveles de consumo mundial de petróleo o a incrementar la producción de
biocombustibles. Todo indica, sin embargo, que el mundo no está dispuesto a
disminuir los niveles de consumo de petróleo. La otra cara de la moneda es que
el incremento en la producción de biocombustibles obliga a dedicar cada vez
más tierras a cultivos aprovechables para producción de biocombustibles. Esto
traerá como consecuencia alzas exageradas en los precios de alimentos básicos
para consumo humano. Lo anterior muestra que el mundo experimentará
alzas exageradas en los precios de los alimentos básicos para la especie
humana”.

Solución
 Definimos nuestras proposiciones según el problema.

p: “El alza en los precios del petróleo es imparable”

q: “Disminución de los niveles de consumo mundial de petróleo”
r: “incremento de la producción de biocombustibles”
s: “dedicar cada vez más tierras a cultivos aprovechables para producción de
biocombustibles”.
t: “Esto traerá como consecuencia alzas exageradas en los precios de alimentos básicos
para consumo humano”.

1. p → (q ∨ r)
2. ∼q
3. (r → s) → t

De (1) podemos concluir (p ∧ -q) -> r tenemos (4)

De (4) y (3) obtenemos (p ∧ -q) -> t (5)
De (5) podemos expresar -q --> r (6)
De (6) y (2) obtenemos = r. (7)
De (7) y (3) t = (8)

Conclusión habrá alzas exageradas en los precios de alimentos básicos para consumo
humano.
 ANEXO 4

SITUACIONES PROBLÉMICAS DE SILOGISMOS CATEGÓRICOS

En los numerales (16), (17), (18), (19) y (20) seleccionar uno de los siguientes enunciados e
identificar en dicho silogismo las diferentes proposiciones categóricas, y proponer una
representación mediante Diagramas de Venn de las diferentes relaciones entre las clases
implicadas, según las proposiciones categóricas:

16. Ningún héroe es cobarde.

Algunos soldados son cobardes.
Por lo tanto algunos soldados no son héroes.

Solución

Ningún héroe es cobarde.

S = “Héroe”
P = “Cobarde”

Algunos soldados son cobardes.

S = “Soldados”
P = “Cobarde”
 Por lo tanto algunos soldados no son héroes.
S = “Soldados”
P = “Cobarde”

𝑝 = “El héroe es cobarde”

∼ 𝑝 = “Ningún héroe es cobarde”
𝑞 = “soldados son cobardes”
𝑟 = “soldados son héroes”

(∼ 𝑝 ∧ 𝑞 ) → ∼ 𝑟

17. Todos los grandes científicos son graduados universitarios.

Algunos grandes atletas son graduados universitarios.
Por lo tanto, algunos grandes atletas son grandes científicos.

Solución
Forma Del Silogismo
Todos los grandes científicos son graduados universitarios.
S = “grandes científicos”
P = “graduados universitarios.”

Algunos grandes atletas son graduados universitarios.

S = “atletas”
P = “graduados universitarios.”

Por lo tanto, algunos grandes atletas son grandes científicos.

S = “atletas”
 P = “grandes científicos”

[(𝑝 ∧ 𝑞 ) ∧ (𝑟 ∧ 𝑞)] → (𝑟 ∧ 𝑝 )

18. Todos los artistas son ególatras.

Algunos artistas son indigentes.
Por lo tanto, algunos indigentes son ególatras.

Solución

𝑝 = “Artistas ególatras”
𝑞 = “Artistas indigentes”
𝑟 = “indigentes son artistas”

Todos los artistas son ególatras.

S = “Artistas”
P = “Ególatras”
 Algunos artistas son indigentes.
S = “Artistas”
P = “Indigentes”

Por lo tanto, algunos indigentes son ególatras.

S = “Indigentes”
P = “Ególatras”
 ANEXO 5

SITUACIONES PROBLÉMICAS DE LA VALIDEZ DE

RAZONAMIENTOS LÓGICOS

Dados los numerales (21), (22), (23), (24) y (25), identificar, clasificar y explicar las diversas
falacias de lenguaje contenidas en las siguientes expresiones y el tipo de razonamiento que
se utiliza.

21. El profesor de guardia sorprende a Silvia fumando un cigarro, y la pide que lo

tire, puesto que no se puede fumar en el instituto. Silvia contesta indignada, que
no hay derecho a obligarla a apagar el cigarro, ya que muchos profesores fuman.
¿Está justificada la indignación de Silvia? ¿Está razonando falazmente? Si es
así, indica en qué tipo de falacia se basa su indignación.

Solución
¿Está justificada la indignación de Silvia?
No, puesto que sí algunos profesores fuman, esto no permite que todos puedan fumar.
Está mal que los profesores fumen por lo tanto esto permite que Silvia quiera fumar;
pero que los profesores lo hagan no es razón para que ella lo haga también.

¿Está razonando falazmente?

Si. Una falacia lógica; que la hace pensar que si alguien fuma en el instituto, Silvia
también lo puede hacer.

22. “El tutor, informado por el profesor de guardia, intenta convencer a Silvia de
que fumar daña su salud, su imagen, y que supone un gasto inútil. Silvia le
responde molesta, que a ella la gusta fumar, y que basta de monsergas. En el
fondo, Silvia sabe que el tutor tiene razón, pero no quiere dejar de fumar, para
no engordar. ¿Qué falacia justifica la adicción al tabaco de Silvia?

¿Qué falacia justifica la adicción al tabaco de Silvia?

Falacia por ignorancia de causa. Pues es falso que el tabaco adelgace, o que dejar de
fumar conlleve necesariamente engordar
23. Juan ha prometido a su novia, que no va a beber alcohol, para no meterse en
líos. Sus amigos le dicen que beba, para no aburrirse, insistiendo en que se lo
monta muy bien, cuando bebe. ¿Qué tipo de falacia están usando los amigos de
Juan, para convencerle de que beba?

La falacia del antecedente.

Conclusión

Se aprendieron y se pusieron en práctica los conceptos estudiados, reconociendo la

importancia de aplicar teorías matemáticas para la resolución de problemas para la vida

cotidiana; a partir de ahora comenzaremos a poner en marcha las temáticas estudiadas; ya

que nos pueden ayudar en el desarrollo y aprendizaje de toda nuestra vida académica.

Además que la lógica matemática nos ayuda a desarrollar los procesos de pensamiento

encontrando sentido a lo que normalmente realizamos. Muchas veces utilizamos en

nuestros razonamientos oraciones y frases que suelen estudiarse en esta materia. Las

inferencia lógicas también cotidianas y las hacemos sin darnos cuenta.

Referencias

 Villalpando, B. J. F. (2000). Matemáticas discretas: aplicaciones y ejercicios. :

Larousse - Grupo Editorial Patria. Páginas 29 – 38. Recuperado
de: http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=40&docID=
11013570&tm=1492519542738

 Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos

de álgebra lineal. Volumen I: conjuntos numéricos, complementos. Madrid, ES:
Editorial Tébar Flores. Páginas 17-29. Recuperado
de:http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=18&docID=
10995629&tm=1492519731065

 Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos.

Córdoba, AR: El Cid Editor. Páginas 1-22. Recuperado
de:http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=20&docID=
10732485&tm=1492519941380

 Chávez, C. P. (2000). Compendio de lógica. : Larousse - Grupo Editorial Patria.

Páginas 163-166. Recuperado
de:http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=178&docID
=11046000&tm=1492520104862