Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Trabajo Colaborativo Final 200611 600 PDF (1) .PdfSEBAS
Trabajo Colaborativo Final 200611 600 PDF (1) .PdfSEBAS
TRABAJO COLABORATIVO 3
GRUPAL
PENSAMIENTO LGICO
Y MATEMTICA
TUTOR:
GRUPO: 200611_600
ESTUDIANTE:
1065620799
YULIETH TATIANA GONZALEZ
1102846605
Introduccin
Dando a conocer
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).
La demostracin directa
Ejemplo 1.
2
Si x es un nmero entero impar, entonces x es un nmero entero impar.
Ahora
2 2
X = (2a + 1)
= (2a + 1) (2a + 1)
2
= 4a + 4a + 1
2
= 2(2a + 2a) + 1
2
= 2k + 1 (k = 2a + 2a).
2
En consecuencia, x 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.
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
A pesar de se puede dar una demostracin directa, optamos por probar esta afirmacin por
contraposicin. La contraposicin de la declaracin anterior es:
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:
Solucin
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.
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.
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
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.
Si A es, B es
Ahora bien, B no es
Luego, A no es
Ejemplos:
2.
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.
Te toman el pelo.
Ejemplo:
p "Juan es cocinero"
q "Pedro es polica"
Ejemplo:
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)
P q
p Llueve (premisa)
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.
q 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.
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
Es una regla simple que permite pasar de una premisa unica a la conclusion.
P P (P V Q)
----- ------- __________
.: P .: p .: (P V Q)
Q
___________
.: Q
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:
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
1. p q
2. ~p r
3. p V ~q
____________
qV r Silogismo Disyuntivo
Solucin:
La estructura del enunciado corresponde a un razonamiento deductivo.
C: calamidad publica
S: sobrevivientes
A: ayudas internacionales
R: recuperacin social
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,
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
B: si est caluroso el da
Por lo tanto
Premisa 1:AB
Premisa 2:~AC
Premisa 3: CD
Conclusin: D
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.
Por lo tanto
Premisa 1:DE
Premisa 2:~DQ
Premisa 3: QN
Conclusin: ~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.
G: E-Portafolio
H: grupo de skype
Premisa 1:AS
Premisa 2: D V F
Premisa 3: D (G&~S)
Conclusin: G
A A+ B A-B
B
0 0 0 0
0 1 1 0
1 0 1 0
1 1 1
1
A A
10
A+B=B+A
A B = B A
2. PROPIEDAD DISTRIBUTIVA:
A (B+C) = AB + AC
A + BC = (A+B) (A+C)
A + A = 1
A A = 0
VARIABLE: smbolo que representa un elemento arbitrario del lgebra, ya sea constante o
frmula completa.
A+1 = 1
A0 = 0
0=1
1=0
TEOREMA 4: (IDEMPOTENCIA):
A+A=A
AA=A
(A) = A
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
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
VARIABLE: smbolo que representa un elemento arbitrario del lgebra, ya sea constante o
frmula completa.
TEOREMAS:
Teorema 1: el elemento complemento A es nico.
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
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 B X
0 0 0
0 1 1
1 0 1
1 1 1
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 X
0 1
1 0
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.
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.
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 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.
Premisa 1:ST+I
Premisa 2:R~T
Premisa 3: A~I
Premisa 4: S&A
Conclusion: T
La tabla anterior permite evidenciar que es una tautologa, por lo cual el razonamiento es
vlido
CONCLUSIN
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