UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS SOCIALES, ARTES Y HUMANIDADES

PROGRAMA DE PSICOLOGA
15/05

2016

TRABAJO COLABORATIVO 3
GRUPAL
PENSAMIENTO LGICO
Y MATEMTICA
TUTOR:
DORIXY DE ARMAS DUARTE

GRUPO: 200611_600

ESTUDIANTE:
ADRIANA PATRICIA SANTANA CALDERN
1065620799
YULIETH TATIANA GONZALEZ

WILSON ANDRES BENITEZ

1102846605

Introduccin
En el presente trabajo colaborativo se busca comprender y asimilar los principios que
explican conceptualizacin y algunos ejemplos de alguna de los Teoremas y Tcnicas de
Demostracin explorando las definiciones y teoremas relacionadas con la demostracin
Donde se fundamentan aplicacin de reglas de deduccin: fundadas ya sea en axiomas o en
teoremas anteriormente demostrados o en reglas bsicas de deduccin del sistema en
cuestin, y dando a conocer la conceptualizacin y ejemplos de algunas leyes de la inferencia
lgica
La conceptualizacin y ejemplos concretos de alguna de las Leyes de Inferencia Lgica
Para la comprensin y desarrollo de este trabajo se requiere investigar e identificar las teoras
y definiciones de esta.
Dando a conocer
Demostracin por contraposicin (formalizado y utilizado en los silogismos por Aristteles)
Demostracin por reduccin al absurdo (formalizado y utilizado por Aristteles)
Induccin matemtica
Demostracin por Contraejemplos.

Objetivos

Conocer todo lo relacionado con los teoremas y tcnicas de demostracin y

contraejemplo.

Definir demostraciones Directas e Indirectas las cuales se da a conocer el

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.
Evaluar teoremas del lgebra de Boole unidos a un sistema de elementos y
operaciones binarios.
Observar los razonamientos lgicos, inferencia lgica y Argumentos lgicos por
medio de la tabla de verdad.

APORTE INDIVIDUAL
Primer Aporte Individual: Socializar en el Foro de Interaccin y Produccin la
conceptualizacin y algunos ejemplos de alguna de los Teoremas y Tcnicas de
Demostracin (slo selecciona una e informa en el foro cual escogi, para que no sea
escogido por otro integrante), las operaciones son:
DEMOSTRACIN POR CONTRAEJEMPLO
Yulieth Tatiana Gonzlez
TEOREMAS Y TCNICAS DE DEMOSTRACIN
La teora de la demostracin o teora de la prueba es una rama de la lgica matemtica que
trata a las demostraciones como objetos matemticos, facilitando su anlisis mediante
tcnicas matemticas. Las demostraciones suelen presentarse como estructuras de datos
inductivamente definidas que se construyen de acuerdo con los axiomas y reglas de
inferencia de los sistemas lgicos. En este sentido, la teora de la demostracin se ocupa de la
sintaxis, en contraste con la teora de modelos, que trata con la semntica. Junto con la teora
de modelos, la teora de conjuntos axiomtica y la teora de la recursin, la teora de la
demostracin es uno de los "cuatro pilares" de los fundamentos de las matemticas.
Una demostracin matemtica es una sucesin coherente de pasos que, tomando como
verdadero un conjunto de premisas (hiptesis), permite obtener la veracidad de una tesis.
Estos pasos deben estar fundamentados en la aplicacin de reglas de deduccin: fundadas ya
sea en axiomas o en teoremas anteriormente demostrados o en reglas bsicas de deduccin
del sistema en cuestin. El hecho de no conocer ninguna demostracin de un teorema no
implica su no veracidad; slo la demostracin de la negacin de este resultado implica que es
falso.
Aunque en general no existe un procedimiento nico de demostracin de teoremas, s existen
diferentes tipos de demostraciones que son utilizados comnmente en matemticas:
Demostracin por contraposicin (formalizado y utilizado en los silogismos por Aristteles)
Demostracin por reduccin al absurdo (formalizado y utilizado por Aristteles)
Induccin matemtica
Demostracin por Contraejemplos
CONTRAEJEMPLO
Se busca un ejemplo para refutar el cual la implicacin o doble implicacin sea falsa.
Ejemplo:
Demuestre o refute la proposicin que expresa que si x y y son nmeros reales, (x2 =y2)
(x = y)

Buscamos un ejemplo que contradiga la afirmacin, sean x = 3 y y = 3 entonces (3)2 =

(3)2, pero 3 6= 3, el resultado es falso. Este es el CONTRAEJEMPLO.
DEMOSTRACIN POR EL PRINCIPIO DE INDUCCIN MATEMTICA.
Este principio sirve para demostrar propiedades que se cumplen para un conjunto numerable
de objetos (Un conjunto A es numerable si existe una biyeccin de A en el conjunto de los
nmeros naturales). Generalmente se usa la notacin A(n), B(n), C(n), P (n), para denotar
estas propiedades.
El principio de induccin completa, en que se basa el mtodo del mismo nombre, consiste en:

1ro. Probar que la propiedad se satisface para un primer nmero natural (P (a) es
verdadera para a perteneciente a N).
2do. Probar que siempre que un nmero natural cualquiera satisfaga la propiedad, su
sucesor tambin la satisface. (De P (k) se deduce P (k+1)).

Ejemplo
Demuestra por Induccin completa que para todos los nmeros naturales n se cumple: 0 + 2 +
4 ++ 2n = n(n + 1). Sea S(n) = 0 + 2 + 4 ++ 2n. Se debe probar que S(n) = n(n + 1).
Inicio de Induccin: Para n = 0: S (0) = 0(0 + 1) = 0 La propiedad es verdadera para n = 0.
Hiptesis de induccin: Para n = k : 0 + 2 + 4 ++ 2k = k(k + 1).
Tesis de induccin: Para n = k +1: 0 + 2 + 4 ++ 2(k+1) = (k + 1) (k + 2).

Wilsson Andrs Bentez

Tema: DEMOSTRACIONES DIRECTAS E INDIRECTAS
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.
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.
Si x es un nmero entero impar, entonces x 2 es un nmero entero impar.
Demostracin: Supongamos que x es impar. Entonces, por definicin de nmero entero
impar, existe un nmero entero a, tal que

X = 2a + 1.
Ahora
X2 = (2a + 1)2
= (2a + 1) (2a + 1)
= 4a2 + 4a + 1
= 2(2a2 + 2a) + 1
= 2k + 1 (k = 2a2 + 2a).
En consecuencia, x2 es impar.
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.
Si 3x 1 es par, entonces x es impar.
Demostracin: Supongamos que x no es impar. Entonces x es par. As, existe un nmero
entero a, tal que
x = 2a.
Ahora,
3x 1 = 3(2a) 1
= 6a 1 1 + 1
= 6a 2 + 1
= 2(3a 1) + 1
= 2k + 1 (k = 3a 1).
En consecuencia, 3x 1 es impar.

Adriana Santana
- DEMOSTRACIN POR CONTRAPOSICIN:
La contraposicin de una declaracin condicional se forma negando ambos trminos e
invirtiendo la direccin de la inferencia. Explcitamente, la contraposicin de la declaracin
"si A, entonces B" es "si no es B, entonces no A." Una declaracin y su contra positiva son
lgicamente equivalentes: si la afirmacin es cierta, entonces su contra positivo es cierto, y
viceversa.
La demostracin por contraposicin es una regla de inferencia utilizada en demostraciones.
Esta regla se infiere una sentencia condicional a partir de su contraposicin. En otras
palabras, la conclusin "si A, entonces B" se extrae de la premisa simple "si no B, entonces
no A."
Sea x un nmero entero.
Para demostrar: Si x es par, entonces x es par.
A pesar de se puede dar una demostracin directa, optamos por probar esta afirmacin por
contraposicin. La contraposicin de la declaracin anterior es:
Si x no es par, entonces x no es par.
Esta ltima afirmacin se puede demostrar de la siguiente manera. Supongamos que x no es
uniforme. Entonces x es impar. El producto de dos nmeros impares es impar, por lo tanto, x
= x x es impar. Por lo tanto x no es par.
Despus de haber probado la contraposicin, inferimos la declaracin original.
Cualquier demostracin por contraposicin tambin puede formularse trivialmente en
trminos de una demostracin por contradiccin: Para demostrar la proposicin
consideramos lo contrario,

. Puesto que

tenemos una prueba de que

, tenemos
lo que
llega a la contradiccin que se pretende. As que demostracin por contraposicin es en cierto
sentido "al menos tan difcil de formular" como demostracin por contradiccin.
DEMOSTRACIN POR CONTRADICCIN (REDUCCIN AL ABSURDO).
Mtodos: Demostracin por Reduccin al Absurdo o Contradiccin:

El mtodo de demostracin por reduccin al absurdo se fundamenta en la condicin de no contradiccin

para una teora, bsicamente la estrategia consiste en suponer explcitamente la negacin de
la proposicin a demostrar, a partir de esta hiptesis se trata de generar una contradiccin, esto es: que la
teora con ese supuesto es inconsistente y, en consecuencia, tal hiptesis es falsa, o lo que es equivalente,
que su negacin es verdadera, quedando validada la proposicin inicial.
Expresin latina por Reduccin al absurdo, es un mtodo de demostracin lgico. Es usado para
demostrar la validez de proposiciones categricas; se parte por suponer como hipottica la
negacin falsedad de la tesis de la proposicin a demostrar, y mediante una concatenacin de
inferencias lgicas vlidas se pretende deriva runa contradiccin lgica, un absurdo de derivarse
una contradiccin, se concluye que la hiptesis de partida (la negacin de la original) ha de ser
falsa, y la original es verdadera y la proposicin o argumento es vlido. A este mtodo tambin se
le conoce como prueba por contradiccin o prueba ad absurdum. Parte de la base es el
cumplimiento del principio de exclusin de intermedios: una proposicin que no puede ser falsa
necesariamente es verdadera. La demostracin por reduccin al absurdo es un tipo de argumento lgico
muy empleado en demostraciones matemticas .Consiste en demostrar que una proposicin
matemtica es verdadera probando que si no lo fuera conducira a una contradiccin.
Ejemplo:
Supngase que se desea demostrar una proposicin P El procedimiento consiste en demostrar que
asumiendo como cierta la falsedad de P (o sea P negada) conduce a una contradiccin lgica. Esta P
debera no ser falsa. Por lo tanto habra de ser verdadera
Demuestre que si m y n son enteros tales que
n + n2+ n3= m + m2 y entonces n es par
Solucin
Supongamos que n es impar A partir de esto debemos conseguir una contradiccin
Como n es impar, entonces n2 y n3 son ambos impares, de donde n+n2+n3 es impar (ya que es
la suma de tres impares). Entonces, como m+m2= n+n2, se tiene que m2 es impar.
Sin embargo m+m2 es siempre par (ya que m+m2= m (m+1) y necesariamente alguno de los
nmeros m o m+1 es par).Hemos llegado a una.
Segundo Aporte Individual: Socializar en el Foro de Interaccin y Produccin la
conceptualizacin y ejemplos concretos de alguna de las Leyes de Inferencia Lgica (slo

selecciona una e informa en el foro cual escogi, para que no sea escogido por otro
integrante), las operaciones son:
Yulieth Tatiana Gonzlez
Silogismo Hipottico y Silogismo Disyuntivo.
SILOGISMO HIPOTTICO
El Silogismo es el modelo de raciocinio ms importante en lgica, Aristteles hace valer la
misma definicin para el raciocinio que para el silogismo. Sin embargo, la tradicin
escolstica, fundndose en el mismo Aristteles, elabor una definicin que Balmes formula
de la siguiente manera: Silogismo es la Argumentacin en que se comparan dos extremos
con un tercero para descubrir la relacin que tienen entre s.
Un silogismo es un discurso en el que sentadas ciertas cosas es necesario que otra resulte y a
consecuencia de ellas. Son un tipo de razonamiento deductivo construido con juicios
categricos (A, E, I, O) por lo que tambin son llamados categricos. Constan de dos
premisas y una conclusin y la relacin que se establece entre ellos es de necesidad, es decir
la conclusin necesariamente se extrae de la conexin, mediacin, de premisas.
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.
El silogismo hipottico se caracteriza por estar formado por juicios hipotticos. La estructura
formal del silogismo hipottico es la siguiente:
Si A es, B es
Si B es, C es
Luego, si A es, C es
Silogismo Hipottico Mixto
Se llama hipottico mixto al silogismo que est formado por una premisa mayor hipottica,
una premisa menor categrica y una conclusin tambin categrica. Tiene dos modos
principales: modus ponens (afirmativo) y modus tollens (negativo). La estructura formal del
modus ponens es la siguiente:

Si A es, B es
Ahora bien, A es
Luego, B es.
La estructura formal del modus tollens es la siguiente:
Si A es, B es
Ahora bien, B no es
Luego, A no es
Ejemplos:
a. Si mi hermana est en casa, entonces no hace nada.
b. Si no hace nada, entonces no trabaja.
c. Luego, si mi hermana est en casa, no trabaja.
2.
a. Si los hombres son caballeros, entonces son respetuosos.
b. Si son respetuosos, entonces tratan bien a las damas.
c. Luego, si los hombres son caballeros, entonces tratan bien a las damas.
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).

En esquema:

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

O estudias o no apruebas el examen.

Estudias. Luego, apruebas el examen.
O estudias lgica, o te toman el pelo.
Te toman el pelo.
Luego, no has estudiado lgica.
Wilson Andrs Bentez
Simplificacin y Ley de la conjuncin.
Ley de la conjuncin (adjuncin).
Si disponemos de dos enunciados afirmados como dos premisas separadas, mediante la
adjuncin, podemos unirlos en una sola premisa utilizando el operador ^ (conjuncin).
Ejemplo:
p "Juan es cocinero"
q "Pedro es polica"
p^q "Juan es cocinero y Pedro es polica"
Simplificacin: Obviamente, es la operacin inversa. Si disponemos de un enunciado
formado por dos miembros unidos por una conjuncin, podemos hacer de los miembros dos
enunciados afirmados por separado.
Ejemplo:
p^q "Tengo una manzana y tengo una pera"
p

"Tengo una manzana"

"Tengo una pera"

Adriana Santana Caldern

- Dilema Constructivo y Absorcin:
Dilema constructivo es el nombre de una regla de inferencia de vlida de lgica
proposicional. Es una inferencia que dice: si P implica Q y R implica S y, o bien Q es falsa
os es falsa, entonces P o R debe ser falsa. En suma, si dos condicionales son verdaderos, pero
uno de sus consecuentes es falso, entonces uno de sus antecedentes tiene que ser falso.
El dilema constructivo es la versin disyuntiva del modus tollens. La versin disyuntiva
de modus ponens, mientras que el dilema destructivo es la versin disyuntiva del modus
tollens. La regla puede afirmar:

Donde la regla es que dondequiera que aparezcan las instancias de "

", "
", y "
" en una lnea de alguna demostracin, se puede colocar "
en una lnea posterior.

"

Ejemplo:
(P

^ (R
PvR
QvS
Absorcin
P
^P)

MODUS PONENDO PONENS (PP)

P

Si llueve, entonces las calles se mojan (premisa)

p Llueve (premisa)
q (conclusin) Luego, las calles se mojan

El condicional o Implicacin es aquella operacin que establece entre dos enunciados una
relacin de causa-efecto. La regla ponendo ponens significa, afirmando o afirmo y en un
Condicional establece, que si el antecedente (primer trmino, en este caso p) se afirma,
necesariamente se afirma el consecuente (segundo trmino, en este caso q).

MODUS TOLLENDO TOLLENS (TT)

Tollendo tollens significa negando, niego, y se refiere a una propiedad inversa de los
condicionales, a los que nos referamos en primer lugar.

P
q

q Si llueve, entonces las calles se mojan

Las calles no se mojan

Luego, no llueve

p Luego, no llueve
Si de un condicional, aparece como premisa el consecuente negado (el efecto), eso nos
conduce a negar el antecedente (la causa), puesto que si un efecto no se da, su causa no ha
podido darse.
Esto nos permite formular una regla combinada de las ambas anteriores, consecuencia ambas
de una misma propiedad de la implicacin; la regla ponendo ponens slo nos permite afirmar
si est afirmado.
LEY DE ADICIN Y TOLLENDO PONENS.
Esta regla se aplica para las proposiciones disyuntivas, en la cual un miembro de dicha
proposicin se niega para lograr la afirmacin del otro.

P VQ
P
---------.Q

PVQ
Q
--------.P

(1) (P & M) V T & Q

(2) (T & Q )
_______________________
. (3) (P & M )
TP 1.2

EJ: O hace frio y llueve o el festival se celebrara al aire libre . Ni hace frio ni llueve .
F: hace frio
E: llueve
A: el festival se celebrara al aire libre
(F & E) V A
(F & E)
____________
.A
Esto quiere decir que el festival se celebrara al aire libre
DOBLE NEGACION (DN)
Es una regla simple que permite pasar de una premisa unica a la conclusion.

P
----.: P

P
------.: p

(P V Q)
__________
.: (P V Q)

EJ: No ocurre que un quinto no es el veinte por ciento.

Q: un quinto es el veinte por ciento
Q
___________
.: Q
En palabras podemos decir que un quinto es el veinte por ciento.

Tercer Aporte Individual: 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 (slo selecciona uno e informa en el
foro cual escogi, para que no sea escogido por otro integrante), los enunciados son:
Yulieth Tatiana Gonzlez
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.
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

[(p

1. p

q) (~p

r) (p V ~p)]

(q V r )

2. ~p

3. p V ~q
____________
qV r

Silogismo Disyuntivo

Wilsson Andrez Benitez

Tema: Razonamientos lgicos, inferencia lgica y Argumentos lgicos
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 Sobrevivientes 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:

La estructura del enunciado corresponde a un razonamiento deductivo.

Premisa 1: Si hay una situacin de calamidad pblica, el ndice de sobrevivientes disminuye.
Premisa 2: Si llegan tardamente las ayudas internacionales, las esperanzas de la
recuperacin social sern menores.
Premisa 3: Si el ndice de sobrevivientes disminuye y las esperanzas de la recuperacin
social son menores.
Premisa 4: entonces la sociedad ir recuperndose lentamente. La calamidad pblica es un
hecho y las ayudas internacionales llegan de manera tarda.
Conclusin: la sociedad ir recuperndose lentamente.
De all se establece la simbologa de las proposiciones simples, para establecer el lgebra
proposicional:
C: calamidad publica
S: sobrevivientes
A: ayudas internacionales
R: recuperacin social
Ahora bien en lenguaje simblico las premisas quedan de la siguiente manera:
Premisa 1: C ~S
Premisa 2:~A~R
Premisa 3: ~S~R
Premisa 4: ~R C &~A
Conclusin: ~R
Debe verificarse que al generar un condicional con las premisas enlazadas en una conjuncin
como antecedente, y la conclusin el consecuente; se obtiene una tautologa. De modo que,
[(C~S) & (~A~R)&( ~S~R)&(~R C &~A)] ~R
SIMULACION Y TABLA

Adriana Santana Calderon

Los estudiantes que conformaron el CIPAS de lgebra Trigonometra y
Geometra Analtica se han reunido y deben buscar bibliografa del tema de
secciones cnicas, de lo cual conversan lo siguiente: Vamos a consultar la tarea
en el edificio de la biblioteca de la UNAD si est caluroso el da. Si no vamos a
consultar la tarea en el edificio de la biblioteca de la UNAD, entonces vamos a
hacer la consulta por el portal virtual E-Biblioteca. Si vamos a hacer la consulta
por el portal virtual E Biblioteca, entonces vamos a descargar el libro en PDF.
Por lo tanto vamos a descargar el libro en PDF.
Solucin
La estructura del enunciado corresponde a un razonamiento deductivo.
Identificacin de las proposiciones simples:

A: Vamos a consultar la tarea en el edificio de la biblioteca de la UNAD

B: si est caluroso el da
C: vamos a hacer la consulta por el portal virtual E-Biblioteca.
D: vamos a descargar el libro en PDF
Identificando encontramos las siguientes premisas.

Premisa 1: Vamos a consultar la tarea en el edificio de la biblioteca de la UNAD si est

caluroso el da
Premisa 2: Si no vamos a consultar la tarea en el edificio de la biblioteca de la UNAD,
entonces vamos a hacer la consulta por el portal virtual E-Biblioteca.
Premisa 3: Si vamos a hacer la consulta por el portal virtual E-Biblioteca, entonces
vamos a descargar el libro en PDF
Conclusin: Por lo tanto vamos a descargar el libro en PDF.
Por lo tanto
Premisa 1:AB
Premisa 2:~AC
Premisa 3: CD
Conclusin: D
De esta manera llegamos a la ecuacin:
[(AB) & (~AC) & (CD)] D

La anterior tabla nos conduce a una contingencia, es decir, al no ser una tautologa, entonces
el razonamiento no es vlido.

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.
La estructura del enunciado corresponde a un razonamiento deductivo.
Identificacin de las proposiciones simples:
D: Si el Director de Curso de Pensamiento Lgico y Matemtico activa la etiqueta del
Examen Nacional
E: desarrollar las demostraciones con las Leyes de Inferencia.
Q: trabajo final de Qumica General
N: me pondr al da con las notas pendientes.
Premisa 1: 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.
Premisa 2: Si el Director de Curso no activa la etiqueta del Examen Nacional, har el
trabajo final de Qumica General.

Premisa 3: si aprovecho y hago el trabajo final de Qumica General, me pondr al da

con las notas pendientes.
Conclusin: si no desarrollo las demostraciones con las Leyes de Inferencia, me pondr
al da con las notas pendientes de Qumica General.
Por lo tanto
Premisa 1:DE
Premisa 2:~DQ
Premisa 3: QN
Conclusin: ~EN

Entonces tenemos una ecuacin as:

[(DE) & (~DQ) & (QN)] (~EN)

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

 Maana se cierra la Fase Individual del Trabajo Colaborativo Tres del curso Herramientas
Digitales para la Gestin del Conocimiento, Mariana desarroll el ejercicio de las Redes
Sociales en su afn subi el aporte al aula virtual y no lo encuentra para hacer unas
modificaciones. Mariana se hace reflexiona para poder recordar donde qued su aporte:
Si el aporte est en el Foro de Interaccin y Produccin lo habra visto al ingresar al
Entorno de Aprendizaje Colaborativo. Le la gua de actividades en el Correo Interno o en el
Entorno de Informacin Inicial. Si le la gua de actividades en el Correo Interno entonces
est en el E-Portafolio. No vi el aporte al ingresar al Entorno de Aprendizaje Colaborativo.
Si sub el archivo en el grupo de skype entonces el aporte est en el E-Portafolio. Si le la
gua de actividades en el Entorno de Informacin Inicial entonces el aporte est en el Foro
de Interaccin y Produccin. Por lo tanto, el aporte est en el E-Portafolio.

Solucin.
La estructura del enunciado corresponde a un razonamiento deductivo.
Identificacin de las proposiciones simples:
A: el aporte est en el Foro de Interaccin y Produccin
S: Entorno de Aprendizaje Colaborativo.
D: gua de actividades en el Correo Interno
F: el Entorno de Informacin Inicial.
G: E-Portafolio
H: grupo de skype
En este orden encontramos las premisas.
Premisa 1: Si el aporte est en el Foro de Interaccin y Produccin lo habra
visto al ingresar al Entorno de Aprendizaje Colaborativo.
Premisa 2: Le la gua de actividades en el Correo Interno o en el Entorno de
Informacin Inicial.
Premisa 3: Si le la gua de actividades en el Correo Interno entonces est en el
E-Portafolio. No vi el aporte al ingresar al Entorno de Aprendizaje
Colaborativo.
Premisa 4: Si sub el archivo en el grupo de skype entonces el aporte est en el
E-Portafolio. Si le la gua de actividades en el Entorno de Informacin Inicial
entonces el aporte est en el Foro de Interaccin y Produccin.
Conclusin: Por lo tanto, el aporte est en el E-Portafolio

Por lo tanto

Premisa 1:AS
Premisa 2: D V F
Premisa 3: D (G&~S)
Premisa 4:(HG) & (FA)
Conclusin: G
Entonces tenemos una ecuacin as:
[(AS) & (D V F) & (D (G&~S)) & (HG) & (FA)] G

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

razonamiento es vlido

FASE GRUPAL
El primer momento consiste en la participacin significativa de cada integrante en el EPortafolio del Curso. Para este aporte, cada estudiante escoger una de las siguientes
terminologas del lgebra de Boole (publicar en el Foro de Interaccin y Produccin la
terminologa seleccionada para evitar que otro integrante la seleccione). Las terminologas
son:
- Teoremas del lgebra de Boole
EL LGEBRA DE BOOBLE
UN LGEBRA DE BOOLE ES UN SISTEMA DE ELEMENTOS B={0,1} Y LOS
OPERADORES BINARIOS () y (+) y () DEFINIDOS DE LA SIGUIENTE FORMA.
A
B
0
0
1
1
1
A
1

0
1
0

A+ B

A-B

0
1
1
1

0
0
0
1

A
0

OPERADOR + => OPERADOR OR

OPERADOR => OPERADOR AND
OPERADOR => OPERADOR NOT
QUE CUMPLEN LAS SIGUIENTES PROPIEDADES:
1.- PROPIEDAD CONMUTATIVA:
A+B=B+A
AB=BA
2. PROPIEDAD DISTRIBUTIVA:
A (B+C) = AB + AC
A + BC = (A+B) (A+C)
3. ELEMENTOS NEUTROS DIFERENTES

A+0=A
A 14. SIEMPRE EXISTE EL COMPLEMENTO DE A, DENOMINADO A
A + A = 1
A A = 0
PRINCIPIO DE DUALIDAD: cualquier teorema o identidad algebraica deducible de los
postulados anteriores puede transformarse en un segundo teorema o identidad vlida sin mas
que intercambiar (+) por () y 1 por 0.
CONSTANTE: cualquier elemento del conjunto B
VARIABLE: smbolo que representa un elemento arbitrario del lgebra, ya sea constante o
frmula completa.
TEOREMAS DEL LGEBRA DE BOOLE
TEOREMA 1: el elemento complemento A es nico.
TEOREMA 2: (ELEMENTOS NULOS): para cada elemento de B se verifica:
A+1 = 1
A0 = 0
TEOREMA 3: cada elemento identidad es el complemento del otro.
0=1
1=0
TEOREMA 4: (IDEMPOTENCIA):
Para cada elemento de B, se verifica:
A+A=A
AA=A
TEOREMA 5: (INVOLUCIN): para cada elemento de B, se verifica:
(A) = A
TEOREMA 6:(ABSORCIN): para cada par de elementos de B, se verifica:
A+AB=A
A(A+B)=A

TEOREMA 7: para cada par de elementos de B, se verifica:

A + AB = A + B
A (A + B) = A B
TEOREMA 8;(ASOCIATIVIDAD): cada uno de los operadores binarios (+) y () cumple la
propiedad asociativa:
A+ (B+C) = (A+B) +C
A. (B.C) = (A.B).C

PRINCIPIO EN LA DUALIDAD DEL LGEBRA DE BOOLE.

El concepto de dualidad permite formalizar este hecho: a toda relacin o ley lgica le
corresponder su dual, formada mediante el intercambio de los operadores unin (suma
lgica) con los de interseccin (producto lgico), y de los 1 con los 0.
Adems hay que cambiar cada variable por su negada. Esto causa confusin al aplicarlo en
los teoremas bsicos, pero es totalmente necesario para la correcta aplicacin del principio de
dualidad. Vase que esto no modifica la tabla adjunta.
Otras formas de notacin del lgebra de Boole
Se emplea la notacin empleada hasta ahora ({0,1}, +,) siendo la forma ms usual y la ms
cmoda de representar. Por ejemplo las leyes de De Morgan se representan as:
___ _ _
a+b= a.b
___ _ _
a.b=a+b
Cuando el lgebra de Boole se emplea en electrnica, suele emplearse la misma
denominacin que para las
Puerta lgica AND (Y), OR (O) y NOT (NO), amplindose en ocasiones con X-OR (O
exclusiva) y su negadas NAND (NO Y), NOR (NO O) y X-NOR (equivalencia). las variables
pueden representarse con letras maysculas o minsculas, y pueden tomar los valores {0, 1}
Empleando esta notacin las leyes de De Morgan se representan:
NOT (a OR b) = NOT a AND NOT b
NOT (a AND b)= NOT a OR NOT b
CONSTANTE: cualquier elemento del conjunto B.
VARIABLE: smbolo que representa un elemento arbitrario del lgebra, ya sea constante o
frmula completa.
TEOREMAS:

Teorema 1: el elemento complemento A es nico.

Teorema 2 de los elementos nulos: para cada elemento de B se verifica: A+1 = 1 A 0 = 0
Teorema 3: cada elemento identidad es el complemento del otro. 0=1 1=0
Teorema 4 de idempotencia: para cada elemento de B, se verifica: A+A=A A A=A
Teorema 5 de involucin: para cada elemento de B, se verifica: (A) = A
Teorema 6 de absorcin: para cada par de elementos de B, se verifica: A+A B=A A
(A+B)=A
DEFINICIN Y EJEMPLOS DEL LGEBRA DE BOOLE.
EL LGEBRA DE BOOBLE
Un lgebra de Boole es aquella que utiliza variables que slo pueden tomar 2 valores
llamadas variables booleanas. A los dos valores diferentes de una variable booleana se
les codifica con los bits 0 y 1. Estos valores no representan dgitos numricos, sino que
representan dos estados distintos de un dispositivo. Los operadores binarios ()y (+) y ()
definidos de la siguiente forma
1.- PROPIEDAD CONMUTATIVA:
A+B=B+A
AB=BA
2. PROPIEDAD DISTRIBUTIVA:
A (B+C) = AB + AC
A + BC = (A+B) (A+C)
3. ELEMENTOS NEUTROS
DIFERENTES
A+0=A
A1=A
4. SIEMPRE EXISTE EL
COMPLEMENTO DE A, DENOMINADO A
A + A = 1
A A = 0
COMPUERTAS LGICAS
Una compuerta lgica es
un dispositivo que nos permite obtener resultados, dependiendo de los valores
de las seales que le ingresemos. Es necesario aclarar entonces que las
compuertas lgicas se comunican entre s (incluidos los microprocesadores),
usando el sistema BINARIO. Este consta de solo 2 indicadores 0 y 1 llamados BIT
dado que en electrnica solo hay 2 valores equivalentes 0=0volt 1=5volt
(conectado-desconectado). Es decir que cuando conectamos una compuerta a el
negativo equivale a introducir un cero (0) y por el contrario si derivamos la
entrada a 5v le estamos enviando un uno (1). Ahora para comprender como se

comporta cada compuerta se debe ver su TABLA DE VERDAD. Esta nos muestra todas
las combinaciones lgicas posibles y su resultado.
COMPUERTA
AND
La compuerta AND hace la
funcin de multiplicacin lgica. Es decir toma los valores que le aplicamos a
sus entradas y los multiplica.
Tabla de
verdad AND
A

COMPUERTA OR
La compuerta OR realiza
la funcin de suma lgica. Cuando se le aplica un uno a cualquiera de sus
entradas el resultado de salida ser uno, independiente del valor de la otra
entrada. Excepto cuando las dos entradas estn en 0 la salida ser 0.
Tabla de
verdad OR
A

COMPUERTA
NOT
La compuerta NOT es un
tanto parecida al buffer salvo por que invierte el valor que se le entrega.
Tambin tiene la utilidad de ajustar niveles pero tomando en cuenta que
invierte la seal.

Tabla de
verdad
A

APLICACIONES EN EL MUNDO REAL DEL LGEBRA DE BOOLE.

El lgebra de Boole es toda clase o conjunto de elementos que pueden tomar dos
valores perfectamente diferenciados que designaremos por 0 y 1 o en otros casos se
podr ver como v (verdadero) y
f (falso) que estn relacionados por las dos operacin vinarias denominadas
suma (+) producto () la operacin producto se indica generalmente mediante la
ausencia de smbolo entre dos variable lgicas. Principalmente nos habla de
utilizar las tcnicas algebraicas para tratar expresiones de la lgica
proposicional para as poder solucionar ms rpidamente problemas como lo son
los que tiene que ver con el mbito de diseo electrnico, en informtica y
matemtica es una estructura algebraica que esquematiza las operaciones lgicas
Y, O, NO y SI (AND, OR, NOT, IF, as como el conjunto de operaciones unin,
interseccin y complemento.
En la actualidad, el lgebra de Boole se aplica de forma generalizada en el mbito
del diseo electrnico. Claude Shannon fue el primero en aplicarla en el diseo
de circuitos de conmutacin elctrica biestables, en 1948, llamado Sistemas Digitales. Esta
lgica puede dar campo en.

1. Al anlisis, porque es una forma concreta de describir cmo funcionan los circuitos al
diseo.
2. Al ya que teniendo una funcin aplicamos dicha lgebra, para poder desarrollar una
implementacin de la funcin.

Leyes del Algebra de Boole

En el lgebra de Boole se cumplen las siguientes Leyes:
Conmutatividad:
X
+Y=Y+X
X
Y=YX
Asociatividad:

X
+ (Y + Z) = (X + Y) + Z
X
(Y Z) = (X Y) Z
Distributivita:
X
+ (Y Z) = (X + Y) (X + Z)
X
(Y + Z) = (X Y) + (X Z)
Elementos Neutros (Identidad):
X
+0=X
X
1=X

Complemento:
X
+X=1
X
X=0
Teorema del complemento nico
Suponemos
2 complementos para A (A1 y A2)
A
+ A1 = 1 A + A2 = 1
A
A1 = 0 A A2 = 0
Luego,
A1
= A1 1 = A1 (A + A2) = A1 A + A1 A2
A1
= 0 + A2 A1
A1
= A A2 + A1 A2 = (A + A1) A2
A1
= 1 A2 = A2

Toda operacin que se realiza en un sistema digital, ya sea un computador, un

telfono mvil, un reloj o una calculadora utiliza las operaciones definidas
por el lgebra de Boole para realizar sus funciones, algunas veces estas funciones vendrn
implementadas por software y otras por hardware. Tengamos en cuenta que el
lgebra de Boole se extiende a partir de la lgica para definir todas las
operaciones aritmticas como la suma o la multiplicacin.
De all que vemos su importancia y aplicacin real en todos los procesos
matemticos que se imparten desde el Preescolar, ya que ella nos brinda las
herramientas para fundamentar e ir estructurando el pensamiento lgico matemtico

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.
Solucin.
Premisa 1: Si soy disciplinada en mis estudios entonces entrego mis aportes significativos
a tiempo o resuelvo mis inquietudes del tema con mi tutor.
Premisa 2: Si me dedico a rumbear, pasear, entonces no entrego mis aportes
significativos a tiempo.
Premisa 3: Si en las noches veo video-tutoriales del tema entonces no necesito resolver
mis inquietudes del tema con mi tutor.
Premisa 4: Soy disciplinada en mis estudios y en las noches veo video-tutoriales del tema.
Conclusin: Por lo tanto entrego mis aportes significativos a tiempo.
La estructura del enunciado corresponde a un razonamiento deductivo. Identificacin de las
proposiciones simples:
S: Si soy disciplinada en mis estudios
T: entrego mis aportes significativos a tiempo
I: resuelvo mis inquietudes del tema con mi tutor
R: Si me dedico a rumbear, pasear

A: Si en las noches veo video-tutoriales del tema

Premisa 1:ST+I
Premisa 2:R~T
Premisa 3: A~I
Premisa 4: S&A
Conclusion: T
[(ST+I) & (R~T) + (A~I) & (S&A)] T
El desarrollo de la tabla de verdad es el siguiente:

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

CONCLUSIN
Este trabajo se basa en la importancia que relaciona los Teoremas y Tcnicas de
Demostracin, dando a conocer el 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, Donde se desarrolla el silogismo disyuntivo.
Y el mtodo de demostracin por reduccin al absurdo se fundamenta en la condicin de no
contradiccin para una teora, bsicamente la estrategia consiste en suponer explcitamente la
negacin de la proposicin a demostrar, a partir de esta hiptesis se trata de generar una contradiccin,
esto es: que la teora con ese supuesto es inconsistente y, en consecuencia, tal hiptesis es falsa, o lo que es
equivalente, que su negacin es verdadera, quedando validada la proposicin inicial.

BIBLIOGRAFIA
http://electronicacompleta.com/lecciones/compuertas-logicas/
http://www.ie.itcr.ac.cr/jdiaz/licenciatura/DISENO_LOGICO/MATERIALES/PRESENTACI
ONES/ALGEBRA.pdf
http://recursostic.educacion.es/secundaria/edad/4esotecnologia/quincena5/4q2_contenidos_4d
.htm