TRABAJO COLABORATIVO # 3

PENSAMIENTO LOGICO MATEMATICO

ALBERTO JULIO AMARIS

JONATHAN LOZANO

JOSE ARNULFO VELASQUEZ

Grupo # 351

DORIXY DE ARMAS DUARTE

Tutora

Universidad Nacional Abierta y a Distancia UNAD

Mayo de 2016

Cartagena
 INTRODUCCION

El desarrollo del presente trabajo se direcciono al estudio de las tres unidades y en

especial a la unidad III del curso Pensamiento Lgico y Matemtico, se aplicaron

procesos de la leyes de inferencia, as como las formas de razonamiento inductivo

y deductivo; se identificaron premisas simples, compuestas, uso de conectores

lgicos, lenguaje simblico, realizacin de tablas de verdad y demostracin por

medio del uso del simulador Truth.

De acuerdo a lo anterior se realizaron aplicacin en los ejercicios propuestos en la

gua, aplicando los conceptos aprendidos y evidenciando un verdadero

aprendizaje significativo.
 OBJETIVOS

Identificar y utilizar en forma clara las reglas de inferencia lgica por

induccin y deduccin en formulaciones y demostraciones de

razonamientos vlidos.

interpretar y relacionar expresiones del lenguaje simblico y del lenguaje

natural, para el desarrollo estructural de proposiciones, expresiones

matemticas, argumentaciones y sntesis.

ACTIVIDAD INDIVIDUAL

Alberto Julio Amaris

Primer Aporte: PRINCIPIO DE INDUCCIN MATEMTICA

La induccin matemtica es un mtodo de demostracin que se utiliza cuando se

trata de establecer la veracidad de una lista infinita de proposiciones. El mtodo es
bastante natural para usarse en una variedad de situaciones en la ciencia de la
computacin. Algunas aplicaciones tienen un sabor muy matemtico, tal como
verificar que todo entero positivo satisface cierta frmula. Otra utilizacin frecuente
es la de demostrar que un programa de computacin o que un algoritmo con ciclos
funciona como se espera.

Sea P una propiedad definida en los nmeros naturales ( enteros positivos ) .

Si 1 satisface esa propiedad y adems si a partir de cualquier natural n que
satisface esa propiedad se llega a que n + 1 , tambin la satisface, entonces
cada nmero natural la satisface.

Para probar que una propiedad P se cumple en los nmeros naturales, usando
el principio de induccin matemtica, se siguen los siguientes pasos:

1) Se comprueba para n = 1 (Comprobacin)

2) Se asume que se cumple para n = k (Hiptesis de induccin) .

3) Se predice que se cumple para n = k + 1 (Tesis)

4) Se demuestra que si se cumple para n = k, entonces se cumple

para n = k + 1 (Demostracin) .

Observacin: En algunos casos la propiedad se cumple a partir de un cierto

natural m > 1. Dada esa situacin, en el primer paso se comprueba
para n = m

Ejemplo:

Demuestre por induccin matemtica que:

Si n es un entero positivo, entonces n ( n + 1 ) es divisible por 2 .

a) Sea n = 1 , entonces:

n(n + 1) = 2 ( Verdadero ) .

b) Sea n = k , entonces:
k ( k + 1 ) es divisible por 2 ( Hiptesis de induccin ) .

c) Sea n = k + 1 , entonces:

( k + 1 ) ( k + 2 ) es divisible por 2 ( Tesis ) .

d ) Demostracin:

(k + 1)(k + 2) = k(k + 1) + 2(k + 1)

k ( k + 1 ) es divisible por 2 ( Por hiptesis de induccin ) .

2 ( k + 1 ) es divisible por 2 ( Entero par ) .

Por lo tanto ( k + 1 ) ( k + 2 ) es divisible por 2 .

Segundo Aporte: SILOGISMO HIPOTTICO

En lgica se denomina silogismo hipottico a aquel tipo de silogismo o ms bien

regla de inferencia que en su expresin plantea un caso hipottico, por lo cual
puede tener trminos vlidos o no. En la lgica proposicional un silogismo
hipottico puede expresar una regla de inferencia, mientras que en la historia de la
lgica los silogismos hipotticos han sido una antelacin de la teora de las
consecuencias.

En lgica proposicional

El silogismo hipottico es un argumento vlido si sigue la siguiente forma

argumental:

PQ

Q R.

Entonces, P R.

Ejemplo:

Si no me despierto, entonces no voy a ir a trabajar.

Si no voy a trabajar, entonces no me pagan mi sueldo.

Por lo tanto, si no me despierto, entonces no me van a pagar mi sueldo.

SILOGISMO DISYUNTIVO

El silogismo disyuntivo es aquel cuya premisa mayor establece una disyuncin

exclusiva, de manera que los dos miembros no pueden ser simultneamente
verdaderos, ni simultneamente falsos. Ejemplo: "Todo crculo es una curva o una
recta; es una curva; luego, no es una recta".

Existen dos modos formalmente vlidos de concluir: la premisa menor afirma uno
de los dos predicados, y la conclusin niega el otro (modo ponendo-tollens); o la
menor niega uno de los predicados, y la conclusin afirma el otro (modo tollendo-
ponens: al negar se afirma).

Ejemplos:

O es de da o es de noche
es de da;
luego no es de noche.

O es de da o es de noche;
es de noche;
luego no es de da.

O es de da o es de noche;
no es de da;
luego es de noche.

O es de da o es de noche;
no es de noche;
luego es de da.
Tercer Aporte

Si Bibiana aprueba el periodo acadmico entonces Johanna y Santiago sus

hermanos se enojan con ella. Y si no aprueba el periodo acadmico, pierde los
beneficios de la beca obtenida en la Universidad. Pero, Bibiana aprueba el periodo
acadmico o no lo aprueba. Por lo tanto, Johanna y Santiago sus hermanos se
enojan con ella o pierde los beneficios de la beca obtenida en la Universidad.

Solucin: La estructura del enunciado corresponde a un razonamiento deductivo.

Identificacin de las proposiciones simples:

p: Bibiana aprueba el periodo acadmico.

q: Johanna y Santiago sus hermanos se enojan con ella.
r: Pierde los beneficios de la beca obtenida en la Universidad.

Premisa 1: Si Bibiana aprueba el periodo acadmico entonces Johanna y

Santiago sus hermanos se enojan con ella pq

Premisa 2: Si no aprueba el periodo acadmico, pierde los beneficios de la beca

obtenida en la Universidad ~pr

Premisa 3: Bibiana aprueba el periodo acadmico o no lo aprueba (p v ~p)

Conclusin: Johanna y Santiago sus hermanos se enojan con ella o pierde los
beneficios de la beca obtenida en la Universidad (q v r)

[(pq) ^(~pr) ^(p v ~p)] (q v r)

Demostracin por tabla de la verdad

La tabla anterior permite evidenciar que es una tautologa, por lo cual el

razonamiento es vlido.
ACTIVIDAD INDIVIDUAL

Jonathan Lozano

Primer Aporte: DEMOSTRACIONES DIRECTAS E INDIRECTAS

La demostracin
La demostracin es un razonamiento que prueba la validez de un nuevo
conocimiento; es el enlace entre los conocimientos recin adquiridos y los
conocimientos anteriores. Los procedimientos de demostracin permiten
establecer la conexin lgica entre las proposiciones fundamentales de la teora,
sus consecuencias sucesivas, hasta deducir la conclusin o tesis que as se
demuestra.
Los principales tipos de demostracin son:

La demostracin directa
La demostracin directa de una proposicin t (teorema) es un conjunto de
proposiciones o premisas que son postulados o proposiciones de validez aceptada
y de las cuales se infiere t como consecuencia inmediata.
Ejemplo 1.
Dadas las premisas:
1. p ~q
2. r q

Concluir: t. p ~r
Demostracin: Puesto que r q es equivalente a ~q ~r, por MTT se tiene la
premisa:
3. ~q ~r, ahora, de las premisas 1 y 3 se puede concluir t, es decir, como
p ~q y ~q ~r, entonces, p ~r. Por SH
La demostracin indirecta
Se realiza una demostracin indirecta cuando se establece la validez de una tesis
t probando que las consecuencias de su contraria son falsas.

Ejemplo 1.
Construir la demostracin indirecta de:
Si x2 es par, entonces x es par, (con x entero)
Suponga que existe al menos un entero x tal que x2 es par y x es impar.
Por el ejemplo 2 analizado en la demostracin directa, se sabe que si x es impar,
entonces x2 es impar, luego es imposible que x sea impar y que x2 sea par.
Esta es la contradiccin buscada.
La demostracin por recursin
Cuando la tesis se prueba por medio de induccin matemtica.

Ejemplo 2.
Este tipo de demostraciones se utilizan cuando los enunciados tienen una
proposicin abierta en una variable n, y es necesario demostrar que tal
proposicin se verifica para todos los elementos n que pertenecen a un
subconjunto infinito dado sobre los nmeros enteros, el axioma de la induccin
matemtica es el siguiente:
Dado un conjunto de nmeros enteros A = {n / n a} y una proposicin de la
forma P(n), se puede demostrar la verdad de esta proposicin estableciendo los
siguientes pasos:
I. P(a) es verdadera cuando se sustituye n por a en P(n)
II. Se supone que la proposicin P(n) es verdad para todo k del conjunto A, es
decir, P (k) es verdadera, a esta proposicin, se le llama Hiptesis de Induccin.
III. Se demuestra que para el siguiente trmino al k-simo, o sea k+1, P (k+1) es
verdadera
Segundo Aporte: MODUS PONENDO PONENS

El modus ponendo ponens (en latn, modo que afirmando afirma), tambin llamado
modus ponens y generalmente abreviado MPP o MP, es una regla de inferencia
que tiene la siguiente forma:

Si A, entonces B
A
Por lo tanto, B

Ejemplo:
Si son las 6 AM, entonces ya amaneci.
Son las 6 AM.
Por lo tanto, Ya amaneci

El modus ponens puede establecerse formalmente como:

Donde la regla es que cada vez que una instancia de "P Q" y "P" aparece por s
mismos en lneas de una prueba lgica, Q puede ser colocado vlidamente en una
lnea posterior; adems, la premisa de P y la implicacin "disuelve", su nico rastro
siendo el smbolo Q que se mantiene para su uso posterior, por ejemplo, en una
deduccin ms compleja.
Representacin en tabla de verdad

En los casos de modus ponens se asume como premisa que p q es verdadera

y p es verdadera. Solo una lnea de la tabla de verdad la primera satisface
estas dos condiciones (p y p q). En esta lnea, q tambin es verdad. Por lo
tanto, cada vez que p q sea verdadero y p es verdadero, q debe tambin ser
verdadero.
Modus tollendo tollens

El modus tollendo tollens (en latn, modo que negando niega), tambin llamado
modus tollens y generalmente abreviado MTT o MT, es una regla de inferencia
que tiene la siguiente forma:

si A entonces B
No B
Por lo tanto, no A

EJEMPLO:
Si son las 6 AM, entonces amaneci.
No son las 6 AM.
Por lo tanto, no amaneci.

La regla modus tollens se puede afirmar formalmente como:

Donde significa "P implica Q", significa "no es el caso de que Q" (o
en resumen "no Q"). Entonces, cada vez " "y" " cada una parece por
s mismas como una lnea de una prueba, " " se puede colocar vlidamente en
una lnea posterior. La historia de la regla modus tollens se remonta a la
antigedad

Representacin en tabla de verdad

En los casos de modus tollens asumimos como premisas que p q es verdadero

y q es falso. Solo hay una lnea de la tablala cuarta lneaque satisface estas
dos condiciones verdaderas. En esta lnea, p es falsa. Por lo tanto, en todos los
casos en los que p q es verdadero y q es falso, p tambin debe ser falso.
Tercer Aporte: Seleccionar uno de los siguientes enunciados y a travs de las
dos formas bsicas de uso de las Tablas de Verdad y del uso de las Leyes de
Inferencia demostrar la validez o no validez del argumento dado.

En la Universidad Nacional Abierta y a Distancia UNAD, se posee una

metodologa educativa que realmente forma profesionales competentes, a travs
del Aprendizaje Autnomo, para lo cual se debe ser muy disciplinado con los
hbitos de estudio adquiridos para cumplir con las actividades acadmicas. Milena
se ha esforzado por mantener un slido hbito de estudio, pero hay momentos en
que sus deberes son tantos, que no logra cumplir a cabalidad con las actividades
del periodo acadmico y se le presenta la siguiente situacin: Si el Director de
Curso de Pensamiento Lgico y Matemtico activa la etiqueta del Examen
Nacional, entonces desarrollar las demostraciones con las Leyes de Inferencia.
Si el Director de Curso no activa la etiqueta del Examen Nacional, har el trabajo
final de Qumica General. Y si aprovecho y hago el trabajo final de Qumica
General, me pondr al da con las notas pendientes. Por lo tanto, si no desarrollo
las demostraciones con las Leyes de Inferencia, me pondr al da con las notas
pendientes de Qumica General.

Proposiciones Simples:

p El Director de Curso de Pensamiento Lgico y Matemtico activa la etiqueta del

Examen Nacional
q desarrollar las demostraciones con las Leyes de Inferencia.
r har el trabajo final de Qumica General
s me pondr al da con las notas pendientes de Qumica General

Premisa 1. Si el Director de Curso de Pensamiento Lgico y Matemtico activa la

etiqueta del Examen Nacional (P), entonces desarrollar las demostraciones con
las Leyes de Inferencia (q).

Premisa 2. Si el Director de Curso no activa la etiqueta del Examen Nacional (-q),

har el trabajo final de Qumica General (r).

Premisa 3. Hago el trabajo final de Qumica General (r), me pondr al da con las
notas pendientes (s).

Conclusin: Si no desarrollo las demostraciones con las Leyes de Inferencia, me

pondr al da con las notas pendientes de Qumica General
Premisa 1. Pq
Premisa 2. pr
Premisa 3. rt

Conclusin qr

[(Pq)(-pr)(rt)](-qr)

La tabla anterior es una Tautologia.

ACTIVIDAD INDIVIDUAL

Jose Arnulfo Velasquez

Primer Aporte: DEMOSTRACIN POR EL CONTRA EJEMPLO.

Mtodo por contraejemplo

Este mtodo se aplica de manera muy particular para demostrar la falsedad de
proposiciones cuya hiptesis est construida mediante un "cuantificador
universal". Esto se aplica para demostrar la falsedad de una proposicin que tenga
una conclusin referida para "todos los elementos de un cierto conjunto".

Qu entender por un contraejemplo

Para demostrar la falsedad de proposiciones de este tipo, basta exhibir un
elemento que satisfaga la hiptesis de la proposicin, pero que no satisfaga su
conclusin. A dicho elemento se le conoce con el nombre de contraejemplo.
Este mtodo es muy til cuando uno se encuentra ante una proposicin con
cuantificador universal, de la cual no se sabe si es verdadera o falsa. La primera
idea es buscar un contraejemplo. Si no se encuentra en una primera instancia, se
intentar demostrar su veracidad aplicando los otros mtodos o una combinacin
de ellos.

2 un contraejemplo es una excepcin a una regla general propuesta, es decir,

un caso especfico de la falsedad de una cuantificacin universal (un "para todo").
Por ejemplo, consideremos la proposicin "todos los escritores son inteligentes".
Como esta proposicin dice que una cierta propiedad (inteligencia) es vlida para
todos los escritores, incluso un solo escritor tonto probar su falsedad. En este
caso, un escritor tonto es un contraejemplo a "todos los escritores son
inteligentes".
El nmero 2 es el nico contraejemplo de la proposicin "todos los nmeros
primos son impares". Algunas proposiciones pueden ser negadas con un nmero
mayor, incluso infinito de contraejemplos ("todos los nmeros impares son primos"
tiene infinitos contraejemplos: todos los mltiplos impares de 3, 5, 7, etc).
3 La teora de la argumentacin, o la argumentacin, es el estudio
interdisciplinario de la forma en que se obtienen conclusiones a travs de la lgica,
es decir, mediante premisas. Incluye el arte y la ciencia del debate civil, el dilogo,
la conversacin y la persuasin. Estudia las reglas de la inferencia, la lgica y las
reglas procedimentales, tanto en el mundo real como en sistemas artificiales.
La teora de la argumentacin incluye el debate y la negociacin, los cuales estn
dirigidos a alcanzar conclusiones de mutuo acuerdo aceptables. Tambin incluye
el dilogo erstico, una rama del debate social en el cual la principal motivacin es
la victoria sobre un oponente. Este arte y ciencia es con frecuencia el medio por el
cual algunas personas protegen sus creencias o propios intereses en un dilogo
racional, en simples coloquios o durante el proceso de argumentacin o defensa
de ideas.
La argumentacin es usada en los juicios para probar y o refutar la validez de
ciertos tipos de evidencias. Los estudiosos de la argumentacin estudian las
racionalizaciones post hoc mediante las cuales un individuo puede justificar
decisiones que originalmente pudieron haber sido realizadas de forma irracional.
Por lo tanto con la argumentacin puedo proponer contraejemplos.
Ejemplos:

Verique si la siguiente proposicin es verdadera:

Si un nmero impar es mayor que dos, es primo
Solucin: A partir de esta proposicin se podr suponer, errneamente y en base
a una observacin limitada, que los nmeros
3,5 y7 cumplen esta proposicin. Sin embargo, podemos notar que el nmero 9
representa un contraejemplo para esta proposicin que es falsa. Es ms, no es el
nico, ya que aunque el 11y el 13 vuelven a cumplir tal proposicin, existen otros
contraejemplos, como el 15, 21, 25, 27,33

Verique si la siguiente proposicin es verdadera:

Las ciudades del Ecuador son capitales de provincias.
Solucin: Si leemos rpidamente y sin mayor anlisis la referida proposicin,
podramos concluir que su valor de verdad es verdadero, ya que Guayaquil,
Portoviejo, Machala, Quito, entre otras, son ciudades y capitales de provincias.
Mientras que Quevedo es una ciudad y no es capital de provincia alguna de
nuestro pas, lo mismo ocurre con ciudades como Manta, Atacames y Milagro,
constituyendo por ende contraejemplos para la proposicin objeto de estudio, la
cual denitivamente es falsa.
Todo nmero divisible por 5 lo es tambin por 3 y 2

La suma de dos enteros impares es otro entero impar

Por lo tanto:
Si dices que todo nmero divisible por 5 lo es tambin por 3 y 2, puedes decir que
el 25 es divisible entre 5 y no es divisible entre 3 ni dos.
35, 55, 65, 85, que son divisibles entre 5 y no son divisibles entre tres ni dos.

Si dices que: la suma de dos enteros impares es otro entero impar, puedes sumar
5 y 7= 12 doce y no es impar, entonces 12 es el contraejemplos.
1+3= 4 - 3+5 = 8 - 3+7 = 10 - 3+9 = 12 - 3+11= 14 estas sumas son de impares y
dan resultados pares, entonces son contraejemplos

Segundo aporte. SIMPLIFICACIN Y LEY DE LA CONJUNCIN

En lgica una regla de inferencia es un esquema para construir inferencias

vlidas. Estos esquemas establecen relaciones sintcticas entre un conjunto de
frmulas llamados premisas y una conclusin.

Estas relaciones sintcticas son usadas en el proceso de inferencia, por el que se

llega a nuevas aserciones verdaderas a partir de otras ya conocidas.
ADJUNCIN Y SIMPLIFICACIN
Adjuncin (A): Si disponemos de dos enunciados afirmados como dos premisas
separadas, mediante la adjuncin, podemos unirlos en una sola premisa utilizando
el operador (conjuncin).

p Juan es cocinero

q Pedro es polica
p q Juan es cocinero y Pedro es polica

Simplificacin (S): obviamente, es la operacin inversa. Si disponemos de un

enunciado formado por dos miembros unidos por una conjuncin, podemos hacer
de los dos miembros dos enunciados afirmados por separado.

pq Tengo una manzana y tengo una pera

p Tengo una manzana
q Tengo una pera

REGLA DE SIMPLIFICACION (S)

Regla que se aplica a proposiciones unidas con "&" Como ambas premisas son
ciertas por tanto la conclusin tambin lo ser es por ello que esta regla nos
permite pasar de una conjuncin a cada una de las proposiciones.

P&Q P&Q (P M) & Q (P M) & Q

-------- -------- __________________ -
____________________
.: P .: Q .: (P M) .: Q

EJ: Una sociedad es una coleccin de individuos que buscan una forma de vida y
la cultura es su forma de vida.

S: Una sociedad es una coleccin de individuos que buscan una forma de vida
C: la cultura es su forma de vida.

S&C S&C
__________ ________________
S C

En la primera concluimos que Una sociedad es una coleccion de individuos que

buscan una forma de vida, y en la segunda que en una sociedad la cultura es su
forma de vida.

REGLA DE ADJUNCION (A)

teniendo dos premisas y sabiendo que ambas son ciertas podremos decir que su
conclusin va ser cierta.
 P P
Q Q
---- ----
P & Q Q & P
EJ: esta inferencia es vlida . Aquella no es vlida

Tercer Aporte.

Todos nos sentimos afligidos por la situacin ocurrida en Ecuador el da 16 de

Abril, por el Terremoto que ha generado una tragedia para los habitantes de dicha
Nacin, analicemos lo siguiente: Si hay una situacin de calamidad pblica, el
ndice de sobrevivientes disminuye. Si llegan tardamente las ayudas
internacionales, las esperanzas de la recuperacin social sern menores. Si el
ndice de disminuye y las esperanzas de la recuperacin social son menores,
entonces la sociedad ir recuperndose lentamente. La calamidad pblica es un
hecho y las ayudas internacionales llegan de manera tarda. Luego, la sociedad ir
recuperndose lentamente.

SOLUCIN: El enunciado corresponde a un razonamiento deductivo.

P= Si hay una situacin de calamidad pblica, el ndice de sobrevivientes
disminuye.
q= Si llegan tardamente las ayudas internacionales, las esperanzas de la
recuperacin social sern menores.
r= Si el ndice de disminuye y las esperanzas de la recuperacin social son
menores, entonces la sociedad ir recuperndose lentamente.
s= La calamidad pblica es un hecho y las ayudas internacionales llegan de
manera tarda. Luego, la sociedad ir recuperndose lentamente.
Premisa 1: Si el ndice de sobrevivientes disminuye entonces las esperanzas de
recuperacin sern menores.
Premisa 2: si el ndice disminuye y la recuperacin social son menores entonces la
sociedad ira recuperndose lentamente.
Premisa 3: Las ayudas internacionales llegan de manera tardamente, luego la
sociedad ira recuperndose lentamente.
DESARROLLO ACTIVIDAD GRUPAL

Ana revisa las notas que lleva hasta el momento en el curso de Pensamiento
Lgico y Matemtico, y se da cuenta que debe realizar muy bien las tareas
faltantes para alcanzar a ganar el curso, observa que est a punto de abrirse
el foro del trabajo Colaborativo Tres y entonces se hace la siguiente
autorreflexin: Si soy disciplinada en mis estudios entonces entrego mis
aportes significativos a tiempo o resuelvo mis inquietudes del tema con mi
tutor. Si me dedico a rumbear, pasear, entonces no entrego mis aportes
significativos a tiempo. Si en las noches veo video-tutoriales del tema
entonces no necesito resolver mis inquietudes del tema con mi tutor. Soy
disciplinada en mis estudios y en las noches veo video-tutoriales del tema.
Por lo tanto entrego mis aportes significativos a tiempo.

Identificacin de las proposiciones simples:

p: Soy disciplinada en mis estudios

q: entrego mis aportes significativos a tiempo
r: resuelvo mis inquietudes del tema con mi tutor.
s:. me dedico a rumbear, pasear
t: en las noches veo video-tutoriales del tema

Premisa 1: Si soy disciplinada en mis estudios entonces entrego mis aportes

significativos a tiempo o resuelvo mis inquietudes del tema con mi tutor. ( pq v r)

Premisa 2: Si me dedico a rumbear, pasear, entonces no entrego mis aportes

significativos a tiempo. ( s ~q)

Premisa 3: Si en las noches veo video-tutoriales del tema entonces no necesito

resolver mis inquietudes del tema con mi tutor (t ~r)

Premisa 4: Soy disciplinada en mis estudios y en las noches veo video-tutoriales

del tema. ( p ^ t)

Conclusin: entrego mis aportes significativos a tiempo (q)

[(pq v r) ^( s ~q) ^(t ~r)] ^( p ^ t ) q

Demostracin por tabla de la verdad

La tabla anterior permite evidenciar que es una tautologa, por lo cual el
razonamiento es vlido
 CONCLUSIONES

Con la realizacin del presente trabajo se identificaron de forma clara las reglas de

inferencia lgica por induccin y deduccin en formulaciones y demostraciones de

razonamientos vlidos en situaciones especficas.

Utilizando el Aprendizaje Basado en Problemas (ABP), se desarrollaron

problemas cuyo enfoque de solucin ayudo a potenciar y fortalecer las

competencias matemticas y en particular el lenguaje formal de la Inferencia

Lgica en Procesos de Demostracin.

 BIBLIOGRAFIA

Inferencia Lgica. Recuperado de

http://www.fisica.ugto.mx/~msabido/logica/2_a.pdf

Reglas de la Lgica Proposicional. Recuperado de:

http://www.econ.uba.ar/www/departamentos/humanidades/plan97/logica/legris/apu
ntes/ap-rl.pdf