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:

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)
DEMOSTRACIN POR CONTRAEJEMPLO

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;
Luegono es de noche.
O es de da o es de noche;
Es de noche;
Luegono es de da.

O es de da o es de noche;
No es de da;
Luegoes de noche.
O es de da o es de noche;
No es de noche;
Luegoes 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" q

"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 "
" en una lnea de alguna demostracin, se puede colocar "
", y "
en una lnea posterior.
Ejemplo:
(P
^ (R
P vR
Q vS
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 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

Abril, por el Terremoto que ha generado una tragedia para los habitantes d
dicha Nacin, analicemos lo siguiente: Si hay una situacin de calamidad
pblica, el ndice devivientes
sobre
disminuye. Si llegan tardamente las ayudas
internacionales, las esperanzas de la recuperacin social sern menores. Si
ndice de Sobrevivientes disminuye y las esperanzas de la recuperacin soc
son menores, entonces la sociedadrndose
ir recupe
lentamente. La calamidad
pblica es un hecho y las ayudas internacionales llegan Luego
de manera
,
tarda.
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 EPortafolio.

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
1
0
1
1
A
1

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
A B = B A
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 A B = B
A
2. PROPIEDAD DISTRIBUTIVA:
A (B+C) = AB + AC
A + BC = (A+B) (A+C)
3. ELEMENTOS NEUTROS
DIFERENTES
A+ 0 =A
A 1 = 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/PRESENTA
CI
ONES/ALGEBRA.pdf
http://recursostic.educacion.es/secundaria/edad/4esotecnologia/quincena5/4q2_contenidos_
4d .htm