1

Actividad Individual
Uso de las Reglas de Inferencia

Diana Mireya Pedraza Quintana

Cdigo 46458142
Numero de grupo 200611_185

Tutor
Enrique Rodrguez Bonilla

Universidad Nacional Abierta y a Distancia UNAD

Programa Psicologa
Pensamiento Lgico y Matemtico 200611A_363
Noviembre de 2017
 2

Objetivos

Objetivo general

Identifique y utilizar en forma clara las reglas de inferencia lgica por induccin y deduccin en
formulaciones y demostraciones de razonamientos vlidos en situaciones especficas.

Objetivos especficos

Interpretar un enunciado tipo argumento de una situacin problmica del mundo real y
demostrar su validez a travs de las tablas de verdad y de las leyes de inferencia.
Aprender a identificar las clases de proposiciones que se puedan encontrar en un enunciado
clasificndolos en premisas y conclusin
Analizar los enunciados para la elaboracin de las tablas de verdad, teniendo en cuenta los
trminos de enlace y de conectores
 3

Introduccin

Inferir es concluir o decidir a partir de algo conocido o asumido; llegar a una conclusin. A su vez,
Razonar es pensar coherente y lgicamente; establecer inferencias o conclusiones a partir de
hechos conocidos o asumidos. El siguiente trabajo comprende el estudio de la situacin problmica
de la lgica proposicional con la representacin de simulador TRUTH, sobre planteamientos y
resolucin de operaciones de enunciados para validar si un enunciado es verdadera o falsa siendo
este el hecho de llegar a una conclusin o inferencia.
Lo que busco obtener en este trabajo es aprender a reconocer cada una de las proposiciones en
declaraciones simples, en declaracin de premisas y conclusin, en declaracin formal del
razonamiento, demostracin por leyes de inferencia lgica y con demostraciones de tablas de
verdad de forma manual que se presentan en un texto y resolverla con el simulador TRUTH
 4

Primera etapa: Demostraciones Directas e Indirectas

En matemticas no se acepta una proposicin como verdadera hasta que se construye su

demostracin formal, aunque la proposicin sea vlida para un nmero finito de casos no significa
quesea vlida para todo el universo, por ejemplo la conjetura de Goldbach (todo nmero par mayor
que puede escribirse como suma de dos nmeros primos) se ha verificado utilizando computadoras
para millones de casos pero a pesar de ello no se acepta como verdadera.

Los mtodos de demostracin directa e indirecta

Cuando quieres probar que la proposicin Si A entonces B es verdadera, lo primero que tienes
que hacer es reconocer quin es la proposicin A y quin es B. Por lo general, todo lo que est
entre las palabras si y entonces constituye la proposicin A, y todo lo que est despus de
entonces, la B.
Otra forma de reconocerlo: todo lo que supones que es cierto, o sea, la hiptesis, es A y todo lo
que tienes que probar que es cierto, o sea, la tesis, es B.
Consideremos el siguiente ejemplo:
z2
Proposicin: Si el tringulo rectngulo XYZ de catetos x e y e hipotenusa z tiene de rea 4 ,
entonces es issceles.
X
y z

Z x Y

En este ejemplo tenemos las proposiciones A El tringulo rectngulo XYZ de catetos x e y e

z2
hipotenusa z tiene de rea 4 y B El tringulo rectngulo XYZ es issceles.
Si recuerdas los ejercicios que has hecho en el captulo 1 en el apartado Algo sobre la proposicin
Si A entonces B, cuando quieres probar que A implica B, puedes suponer que A es verdadera
y usar de alguna forma esta informacin para concluir que B es verdadera.

El mtodo de demostracin indirecta

En el mtodo de demostracin indirecta, debes empezar preguntndote: Cmo, o cundo, debo

concluir que la proposicin B es verdadera? Esta pregunta debes hacerla de forma general. En el
ejemplo anterior, pongamos por caso, la pregunta (general) es: Cmo puedo probar que un
tringulo es issceles?
Esta pregunta, obtenida de la proposicin B, la llamaremos en lo que sigue la pregunta clave. Una
pregunta clave bien planteada no debera contener ni smbolos ni otras notaciones (salvo nmeros)
del problema que se est considerando. La llave para muchas demostraciones es formular
correctamente la tal pregunta clave.
 5

Una vez que has planteado la pregunta clave, tu paso siguiente en este mtodo ser responderla.
Volviendo al ejemplo anterior, cmo puedo probar que un tringulo es issceles? Obviamente,
una forma es probando que dos de sus lados tienen la misma longitud. Considerando nuestra figura,
deberas probar que x y. Observa que en la respuesta a la pregunta clave hay dos fases: en primer
lugar, das una respuesta general que no contiene smbolos del problema planteado: demostrar que
un tringulo es issceles, es demostrar que dos de sus lados tienen igual longitud. Luego, aplicas
esta respuesta a la situacin en cuestin: demostrar que dos de sus lados tienen igual longitud,
significa demostrar que x y (no que x z y z).
Con el mtodo de demostracin indirecta, has construido una nueva proposicin, B1, que tiene la
propiedad de que si puedes demostrar que B1, es verdadera, entonces B lo ser. En nuestro ejemplo,
la nueva proposicin es B1: x y.
Si puedes probar que x y, entonces el tringulo XYZ es issceles. Una vez que has planteado la
proposicin B1, todos tus esfuerzos deberan dirigirse a intentar llegar a la conclusin de que B1 es
verdadera, pues entonces seguira que B es verdadera. Cmo puedes demostrar que B1 es
verdadera? Cmo puedes plantear una nueva pregunta clave para B1?
Puesto que x e y son longitudes de dos lados de un tringulo, una pregunta clave razonable podra
ser cmo puedo probar que las longitudes de dos lados de un tringulo son iguales?. Otra,
igualmente razonable, sera cmo puedo probar que dos nmeros reales son iguales? Al fin y
al cabo, x e y son nmeros reales.
Una de las dificultades que pueden surgir en el mtodo de demostracin indirecta es la posibilidad
de ms de una pregunta clave en algn paso. Elegir la correcta tiene ms de arte que de ciencia.
En algunos casos, habr solamente una pregunta clave obvia; en otros casos, debers proceder por
ensayo y error. Aqu es donde tu intuicin, esfuerzo, creatividad, tus diagramas, etc., pueden jugar
un papel importante. Una norma general, es dejar que la informacin que encierra A (que ests
suponiendo cierta) te ayude a elegir la tal pregunta. Al margen de la pregunta clave que finalmente
plantees, el siguiente paso ser responderla, primero en general y luego aplicada a la situacin en
cuestin. Puedes hacer esto para las dos preguntas clave que supuestamente has planteado para
B1? Para la primera, podras demostrar que dos lados de un tringulo tienen igual longitud,
probando que los ngulos opuestos son iguales. En nuestro tringulo significara probar que los
ngulos X e Y son iguales. Un rpido examen de la proposicin A nos hace ver que no aporta mucha
informacin sobre los ngulos del tringulo XYZ. As pues, debemos elegir la otra pregunta clave.
Ahora ests ya frente a la pregunta Cmo puedo probar que dos nmeros reales (a saber, x e y)
son iguales? Una respuesta es probar que su diferencia es cero. Desafortunadamente hay otra
respuesta perfectamente razonable: demostrar que el primer nmero es menor o igual que el
segundo y que el segundo es menor o igual que el primero. As pues, surge una segunda dificultad
en el mtodo de demostracin indirecta: puedes, incluso, elegir bien la pregunta clave pero puede
haber ms de una respuesta para ella. Por otra parte, puedes incluso elegir una respuesta que impida
completar la demostracin. Por ejemplo, para la pregunta clave Cmo puedo demostrar que un
tringulo es issceles? estara la respuesta Demostrando que es equiltero. Como puedes
observar, es imposible demostrar que el tringulo de nuestro ejemplo es equiltero, pues uno de
sus ngulos es recto.
Volviendo a la pregunta clave asociada a B1 Cmo puedo demostrar que dos nmeros reales (a
saber, x e y) son iguales, supn, por razones que seguro ya ests viendo, que eliges la respuesta
de probar que su diferencia es cero? Has vuelto, en el mtodo de demostracin indirecta, a construir
una nueva proposicin B2 con la propiedad de que si puedes probar que B2 es verdadera, as lo ser
B1 y, por tanto, tambin B. Concretamente, la nueva proposicin B2 es
 6

B2: x y 0.
Todos tus esfuerzos deben ahora dirigirse a llegar a la conclusin de que B2 es verdadera. Debers,
en ltimo lugar, hacer uso de la informacin de A pero, de momento, continuemos una vez ms
con el mtodo de demostracin indirecta aplicado a B2.
Una pregunta clave asociada a B2 sera: Cmo puedo probar que la diferencia de dos nmeros
reales es cero? Despus de alguna reflexin, parece que no hay una respuesta razonable a esta
pregunta. Un nuevo problema surge en el mtodo de demostracin indirecta: La pregunta clave
aparentemente no tiene respuesta! No hay que desanimarse; no todo est perdido. Recuerda que
cuando quieres probar A implica B, debes suponer que A es verdadera. Es ahora el momento de
hacer uso de ello.

El mtodo de demostracin directa

El mtodo de demostracin directa parte de la proposicin A, que supones verdadera, y deducir de

ella una nueva proposicin A1 que puedas ver que es verdadera como resultado de que A lo es. Es
importante resaltar que las proposiciones deducidas de A no deben ser hechas de cualquier modo,
deben estar enfocadas hacia la ltima proposicin obtenida en el mtodo indirecto. Volviendo a
nuestro ejemplo, recordemos que la ltima proposicin obtenida en el mtodo indirecto era B2 : x
y 0.
En este ejemplo, la proposicin A es El tringulo rectngulo XYZ de catetos de longitud x e y e
z2
hipotenusa de longitud z, tiene por rea 4 .
Como bien sabes, de A deducimos
xy z 2

A1: 2 4
Otra proposicin til deducida de A es
A2: x2 y2 z2.
Naturalmente que podemos combinar A1 y A2 y construir ms proposiciones verdaderas. As, en
nuestro caso, tendramos
xy x 2 y 2

A3: 2 4 .
Uno de los problemas de este mtodo es que es tambin posible construir algunas proposiciones
carentes de utilidad, por ejemplo: El ngulo X es menor de 90.
Como no hay normas especficas para construir nuevas proposiciones, tengamos presente que, en
nuestro caso, el mtodo de demostracin directa est dirigido a probar la proposicin B2: x y
0, que fue la ltima que dedujimos en el mtodo de demostracin indirecta. El hecho de que B2 no
contenga el nmero z es la razn por la que hemos eliminado z2 de A1 y A2 para construir A3.
Continuando con el mtodo de demostracin directa, debes intentar volver a escribir A3 para que
se parezca ms a B2. Por ejemplo
A4: x2 2xy y2 0, que factorizndola da A5: (x y)2 0.
Es interesante hacer notar que el mtodo de demostracin directa nos ha dado una respuesta a la
pregunta clave que habamos asociado con B2: Cmo puedo demostrar que la diferencia de dos
nmeros reales es cero?, que, en este caso, sera demostrando que el cuadrado de su diferencia es
cero.
 7

Como ves, normalmente mezclamos los dos mtodos vistos. Un resumen de nuestra demostracin
podra ser:
Proposiciones Justificaciones
2
z
Dado
A: rea de XYZ es 4
xy z 2 base altura

A1: 2 4 rea 2
A2: x2 y2 z2 Teorema de Pitgoras
xy x y2 2
De A2 y A1
A3: 2 4
A4: x2 2xy y2 0 De A3
A5: (x y) 0
2
Factorizando A4
B2: x y 0. De A5
B1 : x y De B2
B: XYZ es issceles De B1

Como te habrs dado cuenta, no es normal escribir todos estos pasos en una demostracin; suelen
aparecer versiones mucho ms condensadas. Por ejemplo, en nuestro caso, aparecera algo as
como
Demostracin. La hiptesis, junto al teorema de Pitgoras, nos lleva a x2 y2 2xy, de donde (x
y)2 0 y el tringulo es issceles como queramos probar.

EJEMPLOS DEMOSTRACIN DIRECTA

Ejemplo 1.
Cuando A es congruente con B y B es congruente con C, tambin es verdadero que A
es congruente con C.

PRUEBA
Paso 1. Si A es congruente con B y B es congruente con C, entonces A es congruente
con C.
 8

Paso 2. La grfica o diagrama.

Paso 3. Hiptesis:

AByBC

Tesis:

AC

Paso 4. Idese el plan,

Si se consideran los datos como proposiciones sobre medicin de ngulos, entonces se puede usar
la propiedad transitiva de los nmeros. Y por la definicin de los ngulos congruentes se sabe que
estos tienen igual medida.
Paso 5.

Ejemplo 2.
Si los puntos A, B, C y D estn sobre una recta de manera que B es el punto medio del segmento
AC y C es el punto medio del segmento BD, entonces
PRUEBA
Paso 1. El primer paso est contenido en la proposicin del teorema.
Paso 2.

Paso 3. Hiptesis: B es el punto medio del segmento AC

C es el punto medio del segmento BD
Tesis:
Paso 4. Idese el plan,
 9

Se interpretar cada una de las proposiciones de los datos como una proposicion sobre la
congruencia de segmentos y se utilizar la propiedad transitiva.

Paso 5.

Ejemplo 3.

En un tringulo issceles, el segmento que va del ngulo diferente al punto medio del lado opuesto
forma un par de tringulos congruentes.
PRUEBA.
Paso 1.

Paso 2.

Paso 3.
 10

Paso 4.
Idese un plan.
Se usar la informacin proporcionada, la definicin de punto medio, la propiedad reflexiva y el
postulado LLL de la congruencia.

Paso 5.

EJEMPLOS DEMOSTRACIN INDIRETA

EJEMPLO 1

Demostrar que si 3n+2 es impar, entonces n es impar

p: 3n+2 es impar.
q: n es impar.

Suponemos la ~ q es decir que n es par, entonces n = 2k para algn entero k y demostramos ~ p

es decir que 3n+2 es par.

Ahora se sigue que 3n+2 = 3(2k)+ 2 = 2(3k)+2 = 2 |(3k{+z 1)}

y 3n+2 es de la forma 2l

Por tanto 3n+2 es par, es decir ~ p

EJEMPLO 2

Demostrar que hay infinitos nmeros primos (resultado de Euclides).

Supongamos que los nmeros primos no son infinitos. Entonces, seran finitos:
2, 3, 5, 7,... P
Siendo P el mayor de todos los nmeros primos.
Consideramos ahora el nmero H = (2357 ...P) + 1
H no es primo, pues es mayor que P. Entonces H debe tener algn divisor primo.
Pero si dividimos H por cualquiera de los nmeros primos, obtendremos resto 1, por la forma en
que se ha definido H.
hemos llegado a una contradiccin. Luego la afirmacin inicial es cierta.
 11

En el anterior ejemplo, hemos demostrado un teorema combinando los dos mtodos:

demostracin indirecta y reduccin al absurdo. En efecto, para demostrar el teorema hemos
refutado su contrario. Y para refutar ste, de l hemos deducido una contradiccin.

Segunda etapa: Silogismos Hipottico y Silogismos Disyuntivo

SILOGISMO HIPOTETICO:

En lgica, el silogismo hipottico es una forma de argumento vlido que consiste en un silogismo
con una sentencia condicional para una o ambas de sus premisas. En la lgica proposicional, el
silogismo hipottico es una regla de inferencia vlida (llamado tambin argumento cadena, regla
de cadena, o el principio de transitividad de la implicacin, y a veces abreviado SH).
Esta ley habla de la reaccin a un posible suceso. y es un argumento que se expresa simblicamente
as:

(p q) (q r) ( p r )

p q Se lee: si p entonces q
q r Se lee: si q entonces r
\ p r Se lee: de donde
si p entonces r

Premisa 1. Si el agua se hiela, entonces sus molculas forman cristales.

Premisa 2. Si las molculas forman cristales, entonces el agua aumenta de
volumen.
Conclusin. Si el agua se hiela, entonces el agua aumenta de volumen.

Simblicamente:
p: El agua se hiela
q: Sus molculas forman cristales
r: El agua aumenta de volumen

EJEMPLO 1

Analicemos el siguiente razonamiento con estas proposiciones condicionales como premisas:

- Si se satisfacen las necesidades bsicas, entonces el estado recauda como corresponde.
 12

- Si el estado recauda como corresponde, entonces el ciudadano est consciente del pago de sus
tributos.

Podemos concluir:- Si se satisfacen las necesidades bsicas, entonces el ciudadano es consciente

del pago de sus tributos.
* La ley aplicada a estas condicionales como premisas se denomina Ley del silogismo hipottico
(S.H.)
Silogismo hipottico: se compone de dos premisas condicionales.
La primera es una condicional y la segunda tiene como antecedente al consecuente de la primera
premisa y la conclusin se forma con el antecedente de la segunda premisa.

1 premisa: P -----> Q
2 premisa: Q ----> R
Conclusin: P---> R.

Claramente se percibe que la conclusin es una proposicin condicional y que las dos premisas
tambin son condicionales.

EJEMPLO 2
Premisa 1: Si hace calor, entonces Juana va a nadar
Premisa 2: Si Juana va a nadar, entonces arregla la casa despus de comer
Se puede concluir:
Si hace calor, entonces arregla la casa despus de comer
Para simbolizar el razonamiento ser:
D Hace calor
S Juana va a nadar
H Arregla la casa despus de comer
Entonces:
DS
SH
DH (Conclusin)

EJEMPLO 3

Si te colocas el despertador a las seis de la maana, te despertara a las seis de la maana.

Si despiertas a las seis de la maana, entonces puedes llegar temprano al trabajo.

-Por lo tanto, si colocas el despertador a las seis de la maana, entonces puedes llegar temprano al
trabajo.

SILOGISMO DISYUNTIVO:

Si una disyuncin es verdadera y una de sus proposiciones simples es falsa, entonces

necesariamente la otra proposicin ser verdadera.
 13

su expresin simblica es: ( p q ) p qo ( p q ) q p

pq
~p
\q

Premisa 1: O la energa interna de un tomo puede cambiar con continuidad o

cambia slo a saltos.
Premisa 2: La energa interna de un tomo no puede cambiar con continuidad
Conclusin: La energa interna de un tomo cambia slo a saltos.
Simblicamente:

p: La energa de un tomo puede cambiar con continuidad

q: La energa de un tomo slo cambia a saltos

Premisa 1: p v q
Premisa 2: ~ p
Conclusin: p

Conclusin de la ley:
En los silogismos disyuntivos llamados propios, en que los dos miembros de la disyuncin no
pueden ser ambos verdaderos ni ambos falsos, vale esta ley: DE UNA PREMISA MENOR
AFIRMATIVA SE SIGUE UNA CONCLUSIN NEGATIVA; DE UNA PREMISA MENOR
NEGATIVA SE SIGUE UNA CONCLUSIN AFIRMATIVA. La razn de ello es porque el
silogismo disyuntivo se basa en la ley de la discrepancia.

EJEMPLO 1

La ley del silogismo disyuntivo, abreviado DS, empieza con una disyuncin y dos condicionales,
como se muestra en el siguiente ejemplo
O llueve o el campo est seco
Si llueve, entonces jugaremos dentro
Si el campo est seco, entonces jugaremos baloncesto
Qu conclusin se puede sacar de estas proposiciones? La conclusin es que o jugaremos dentro
o jugaremos baloncesto. La conclusin es otra disyuncin.

A continuacin, se simboliza el razonamiento anterior para obtener un esquema claro de la forma

de un silogismo disyuntivo
Sea:
R Llueve
D El campo est seco
P Jugaremos dentro
 14

B Jugaremos baloncesto
Este razonamiento se simboliza:
(1) R D
(2) R P
(3) DB
(4) PB (Conclusin)

EJEMPLO 2

O est durmiendo o se est baando.

Si est durmiendo no vendr a la fiesta.
Si se est baando, llegar tarde.
________________________________
No vendr a la fiesta o llegar tarde

Igualmente se pudo concluir:

Llegar tarde o no vendr a la fiesta.

Lo anterior se simboliza:

(1) A V B
(2) A C
(1) B D
(2) C V D DS 1, 2, 3.

O bien:

(4) D V C DS 1, 2, 3.

"DS" simboliza a la ley del Silogismo Disyuntivo y los nmeros a su lado derecho
muestran de que premisas se vali la regla.

EJEMPLO 3

Dadas tres premisas, dos de ellas implicaciones, y la tercera una disyuncin cuyos miembros sean
los antecedentes de los condicionales, podemos concluir en una nueva premisa en forma de
disyuncin, cuyos miembros seran los consecuentes de las dos implicaciones.

Lgicamente, si planteamos una eleccin entre dos causas, podemos plantear una eleccin
igualmente entre sus dos posibles efectos, que es el sentido de esta regla.
p q Si llueve, entonces las calles se mojan
r s Si la tierra tiembla, los edificios se caen
p V r Llueve o la tierra tiembla
 15

____________________________________________________
q V s Las calles se mojan o los edificios se caen

Tercera etapa: 3.

Este ao 2017 se ha generado un gran caos por el paro de los docentes del Magisterio a nivel
nacional. Afortunadamente ya se llegaron a negociaciones muy positivas para la educacin de
todos nuestros nios y jvenes. Un estudiante de grado once de cierto colegio hace la siguiente
reflexin: Si los acuerdos se cumplen, entonces, se termina el paro de docentes. Si se termina el
paro de docentes, el nivel de educacin incrementa su calidad. Las discusiones terminan y los
acuerdos se cumplen. Si los problemas sociales de la juventud se agravan, el nivel de educacin
no incrementa su calidad. Si los problemas sociales no se agravan, entonces, la excelencia
acadmica se alcanza. Por lo tanto, las discusiones terminan y la excelencia acadmica se alcanza.
Determinar con el uso de las dos formas de la tabla de verdad la validez del razonamiento y hacerlo
tambin con el uso de las leyes o reglas de inferencia.

Solucin:

SITUACION PROBLEMICA
Sea el razonamiento: Si los acuerdos se cumplen, entonces, se termina el paro de docentes. Si se
termina el paro de docentes, el nivel de educacin incrementa su calidad. Las discusiones terminan
y los acuerdos se cumplen. Si los problemas sociales de la juventud se agravan, el nivel de
educacin no incrementa su calidad. Si los problemas sociales no se agravan, entonces, la
excelencia acadmica se alcanza. Por lo tanto, las discusiones terminan y la excelencia acadmica
se alcanza.

a. Declaracin de las proposiciones simples:

P= los acuerdos se cumplen

Q= se termina el paro de docentes
R= nivel de educacin incrementa su calidad
S= Las discusiones terminan
T= los problemas sociales de la juventud se agravan
U= la excelencia acadmica se alcanza.

Declaracin de premisas y conclusin. Lenguaje natural Lenguaje formal

Premisa 1 SI los acuerdos se cumplen ENTONCES se termina el paro de docentes

 16

Premisa 2 SI se termina el paro de docentes, el nivel de educacin incrementa su calidad.

Premisa 3 Las discusiones terminan Y los acuerdos se cumplen.

Premisa 4 SI los problemas sociales de la juventud se agravan, el nivel de educacin NO

incrementa su calidad

Premisa 5 SI los problemas sociales NO se agravan, ENTONCES, la excelencia acadmica se

alcanza.

CONCLUSIN POR LO TANTO, las discusiones terminan Y la excelencia acadmica se

alcanza.

Declaracin formal del razonamiento:

R= el nivel de educacin no incrementa su calidad.

T= los problemas sociales no se agravan,

Premisa 1 (pq)
Premisa 2 (qr)
Prmisa 3 (sp)
Premisa 4 (tr)
Premisa 5 (ut)
Conclusin (su)

Declaracin formal del razonamiento:

[ (pq) (qr) (sp) (tr) (t)u)] (su)

Demostracin con tabla de verdad

Si n es el nmero de proposiciones, n = 6
Si No. de filas para los valores de verdad es 2 n, = 64
Los resultados de la situacin planteada nos muestra que es TAUTOLOGA.
17
 18

COMPROBACIN
 19

Cuarta etapa: 4

LINK PREZI

DEFINICIN Y EJEMPLOS DEL ALGEBRA DE BOOL

http://prezi.com/xdso0tk4kbl0/?utm_campaign=share&utm_medium=copy
 20

Conclusiones

Se pudo Analizar los enunciados para la elaboracin de las tablas de verdad, teniendo en
cuenta los trminos de enlace y de conectores. Argumentando los procedimientos de la
lgica proposicional verificando que la tabla de verdad generada es una tautologa por lo
tanto se pudieron generar reglas de inferencia
Comprend y conoc un poco ms acerca de las demostraciones directas e indirectas y sus
ejemplos.
Interprete que los silogismos tienen ramas como el silogismo hipottico y disyuntivo.
Conoc ms acerca de algebra de Boole, ya que con referencia a ese tema no tena mucho
conocimiento.
 21

Referencias Bibliogrficas

Rodrguez, V. R. (2013). "... El ser humano vive inmerso en la naturaleza". ProQuest

(Ed). Conjuntos numricos, estructuras algebraicas y fundamentos de lgebra lineal. Volumen I:
conjuntos numricos, complementos. (pp. 17-29). Madrid, Espaa: Editorial Tbar
Flores. Recuperado
de:http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=18&docID=10995629
&tm=1489710145734

Zazueta B. L. Clix L. C. (2008). "Qu es una tabla de verdad?" Lgica II. Primera Edicin. (pp.
91 197). Mxico D.F., Mxico: Universidad Autnoma de Sinaloa. Recuperado
de: http://uaprepasemi.uas.edu.mx/libros/1er_SEMESTRE/8_Logica_I.pdf

Villalpando, B. J. F. (2000). "... como observa las proposiciones p y q". En ProQuest

(Ed). Matemticas discretas: aplicaciones y ejercicios. (pp. 29 38). Guadalajara, Mxico:
Larousse - Grupo Editorial Patria. Recuperado
de: http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=11013570&ppg=3
0