Está en la página 1de 34
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD ESCUELA DE CIENCIAS SOCIALES, ARTES Y HUMANIDADES PROGRAMA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS SOCIALES, ARTES Y HUMANIDADES PROGRAMA DE PSICOLOGÍA

15/05

2016

TRABAJO COLABORATIVO 3

GRUPAL

PENSAMIENTO LÓGICO

Y MATEMÁTICA

TUTOR:

DORIXY DE ARMAS DUARTE

GRUPO: 200611_600

ESTUDIANTE:

ADRIANA PATRICIA SANTANA CALDERÓN

1065620799

YULIETH TATIANA GONZALEZ

WILSON ANDRES BENITEZ

1102846605

Introducción

Introducción En el presente trabajo colaborativo se busca comprender y asimilar los principios que explican

En el presente trabajo colaborativo se busca comprender y asimilar los principios que explican conceptualización y algunos ejemplos de alguna de los Teoremas y Técnicas de Demostración explorando las definiciones y teoremas relacionadas con la demostración Donde se fundamentan aplicación de reglas de deducción: fundadas ya sea en axiomas o en teoremas anteriormente demostrados o en reglas básicas de deducción del sistema en cuestión, y dando a conocer la conceptualización y ejemplos de algunas leyes de la inferencia lógica La conceptualización y ejemplos concretos de alguna de las Leyes de Inferencia Lógica Para la comprensión y desarrollo de este trabajo se requiere investigar e identificar las teorías y definiciones de esta.

Dando a conocer

Demostración por contraposición (formalizado y utilizado en los silogismos porDemostración por reducción al absurdo (formalizado y utilizado por Aristóteles) Inducción matemática Demostración

Demostración por reducción al absurdo (formalizado y utilizado por Aristóteles)(formalizado y utilizado en los silogismos por Inducción matemática Demostración por Contraejemplos.

Inducción matemáticapor reducción al absurdo (formalizado y utilizado por Aristóteles) Demostración por Contraejemplos. Aristóteles)

Demostración por Contraejemplos.Demostración por reducción al absurdo (formalizado y utilizado por Aristóteles) Inducción matemática Aristóteles)

Aristóteles)

Objetivos

Objetivos  Conocer todo lo relacionado con los teoremas y técnicas de demostración y contraejemplo. 

Conocer todo lo relacionado con los teoremas y técnicas de demostración 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 recién adquiridos y los conocimientos anteriores. Los procedimientos de demostración permiten establecer la conexión lógica entre las proposiciones fundamentales de la teoría.

Evaluar teoremas del Álgebra de Boole unidos a un sistema de elementos y operaciones binarios.

Observar los razonamientos lógicos, inferencia lógica y Argumentos lógicos por

medio de la tabla de verdad.

APORTE INDIVIDUAL

APORTE INDIVIDUAL Primer Aporte Individual: Socializar en el Foro de Interacción y Producción la conceptualización y

Primer Aporte Individual: Socializar en el Foro de Interacción y Producción la

conceptualización y algunos ejemplos de alguna de los Teoremas y Técnicas de

Demostración (sólo selecciona una e informa en el foro cual escogió, para que no sea

escogido por otro integrante), las operaciones son:

DEMOSTRACIÓN POR CONTRAEJEMPLO

Yulieth Tatiana González

TEOREMAS Y TÉCNICAS DE DEMOSTRACIÓN

La teoría de la demostración o teoría de la prueba es una rama de la lógica matemática que trata a las demostraciones como objetos matemáticos, facilitando su análisis mediante técnicas matemáticas. 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 lógicos. En este sentido, la teoría de la demostración se ocupa de la sintaxis, en contraste con la teoría de modelos, que trata con la semántica. Junto con la teoría de modelos, la teoría de conjuntos axiomática y la teoría de la recursión, la teoría de la demostración es uno de los "cuatro pilares" de los fundamentos de las matemáticas.

Una demostración matemática es una sucesión coherente de pasos que, tomando como verdadero un conjunto de premisas (hipótesis), permite obtener la veracidad de una tesis. Estos pasos deben estar fundamentados en la aplicación de reglas de deducción: fundadas ya sea en axiomas o en teoremas anteriormente demostrados o en reglas básicas de deducción del sistema en cuestión. El hecho de no conocer ninguna demostración de un teorema no implica su no veracidad; sólo la demostración de la negación de este resultado implica que es falso.

Aunque en general no existe un procedimiento único de demostración de teoremas, sí existen diferentes tipos de demostraciones que son utilizados comúnmente en matemáticas:

Demostración por contraposición (formalizado y utilizado en los silogismos por Aristóteles)Demostración por reducción al absurdo (formalizado y utilizado por Aristóteles) Inducción matemática Demostración

Demostración por reducción al absurdo (formalizado y utilizado por Aristóteles)(formalizado y utilizado en los silogismos por Aristóteles) Inducción matemática Demostración por Contraejemplos

Inducción matemáticaDemostración por reducción al absurdo (formalizado y utilizado por Aristóteles) Demostración por Contraejemplos

Demostración por ContraejemplosAristóteles) Demostración por reducción al absurdo (formalizado y utilizado por Aristóteles) Inducción matemática

CONTRAEJEMPLO

Se busca un ejemplo para refutar el cual la implicación o doble implicación sea falsa.

Ejemplo:

Demuestre o refute la proposición que expresa que si x y y son números reales, (x2 =y2) ↔ (x = y)

Buscamos un ejemplo que contradiga la afirmación, sean x = −3 y y = 3

Buscamos un ejemplo que contradiga la afirmación, sean x = −3 y y = 3 entonces (−3)2 = (3)2, pero −3 6= 3, el resultado es falso. Este es el CONTRAEJEMPLO.

DEMOSTRACIÓN POR EL PRINCIPIO DE INDUCCIÓN MATEMÁTICA.

Este principio sirve para demostrar propiedades que se cumplen para un conjunto numerable de objetos (Un conjunto A es numerable si existe una biyección de A en el conjunto de los números naturales). Generalmente se usa la notación A(n), B(n), C(n), P (n),… para denotar

estas propiedades.

 

El principio de inducción completa, en que se basa el método del mismo nombre, consiste en:

1ro. Probar que la propiedad se satisface para un primer número natural (P (a) es verdadera para a perteneciente a N).

2do. Probar que siempre que un número natural cualquiera satisfaga la propiedad, su sucesor también la satisface. (De P (k) se deduce P (k+1)).

Ejemplo

Demuestra por Inducción completa que para todos los números 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 Inducción: Para n = 0: S (0) = 0(0 + 1) = 0 La propiedad es verdadera para n = 0.

Hipótesis de inducción: Para n = k : 0 + 2 + 4 +…+ 2k = k(k + 1).

Tesis de inducción: Para n = k +1: 0 + 2 + 4 +…+ 2(k+1) = (k + 1) (k + 2).

Wilsson Andrés Benítez

Tema: DEMOSTRACIONES DIRECTAS E INDIRECTAS

La demostración es un razonamiento que prueba la validez de un nuevo conocimiento; es el enlace entre los conocimientos recién adquiridos y los conocimientos anteriores. Los procedimientos de demostración permiten establecer la conexión lógica entre las proposiciones fundamentales de la teoría, sus consecuencias sucesivas, hasta deducir la conclusión o tesis que así se demuestra.

La demostración directa

La demostración directa de una proposición 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 número entero impar, entonces x 2 es un número entero impar. “

Demostración: Supongamos que x es impar. Entonces, por definición de número entero impar, existe un número entero a, tal que

X = 2a + 1.

Ahora

X 2 = (2a + 1) 2

= (2a + 1) · (2a + 1)

=

4a 2 + 4a + 1

=

2(2a 2 + 2a) + 1

=

2k + 1

(k = 2a 2 + 2a).

En consecuencia, x 2 es impar.

La demostración indirecta

consecuencia, x 2 es impar. La demostración indirecta Se realiza una demostración indirecta cuando se establece

Se realiza una demostración 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.

Demostración: Supongamos que x no es impar. Entonces x es par. Así, existe un número 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

Adriana Santana - DEMOSTRACIÓN POR CONTRAPOSICIÓN: La contraposición de una declaración condicional se forma

- DEMOSTRACIÓN POR CONTRAPOSICIÓN:

La contraposición de una declaración condicional se forma negando ambos términos e invirtiendo la dirección de la inferencia. Explícitamente, la contraposición de la declaración "si A, entonces B" es "si no es B, entonces no A." Una declaración y su contra positiva son lógicamente equivalentes: si la afirmación es cierta, entonces su contra positivo es cierto, y viceversa.

La demostración por contraposición es una regla de inferencia utilizada en demostraciones. Esta regla se infiere una sentencia condicional a partir de su contraposición. En otras palabras, la conclusión "si A, entonces B" se extrae de la premisa simple "si no B, entonces no A."

Sea x un número entero.

Para demostrar: Si x² es par, entonces x es par.

A pesar de se puede dar una demostración directa, optamos por probar esta afirmación por

contraposición. La contraposición de la declaración anterior es:

Si x no es par, entonces x² no es par.

Esta última afirmación se puede demostrar de la siguiente manera. Supongamos que x no es uniforme. Entonces x es impar. El producto de dos números impares es impar, por lo tanto, x² = x · x es impar. Por lo tanto x² no es par.

Después de haber probado la contraposición, inferimos la declaración original.

Cualquier demostración por contraposición también puede formularse trivialmente en

términos de una demostración por contradicción: Para demostrar la proposición

consideramos lo contrario,

tenemos una prueba de que

, . Puesto que , tenemos lo que
,
. Puesto que
, tenemos
lo que

llega a la contradicción que se pretende. Así que demostración por contraposición es en cierto sentido "al menos tan difícil de formular" como demostración por contradicción.

DEMOSTRACIÓN POR CONTRADICCIÓN (REDUCCIÓN AL ABSURDO).

Métodos: Demostración por Reducción al Absurdo o Contradicción:

El método de demostración por reducción al absurdo se fundamenta en la condición de no

El método de demostración por reducción al absurdo se fundamenta en la condición de no contradicción para una teoría, básicamente la estrategia consiste en suponer explícitamente la negación de la proposición a demostrar, a partir de esta hipótesis se trata de generar una contradicción, esto es: que la teoría con ese supuesto es inconsistente y, en consecuencia, tal hipótesis es falsa, o lo que es equivalente, que su negación es verdadera, quedando validada la proposición inicial.

Expresión latina por Reducción al absurdo, es un método de demostración lógico. Es usado para demostrar la validez de proposiciones categóricas; se parte por suponer como hipotética la

negación falsedad de la tesis de la proposición a demostrar, y mediante una concatenación de inferencias lógicas válidas se pretende deriva runa contradicción lógica, un absurdo de derivarse una contradicción, se concluye que la hipótesis de partida (la negación de la original) ha de ser falsa, y la original es verdadera y la proposición o argumento es válido. A este método también se

le conoce como prueba por contradicción o prueba ad absurdum. Parte de la base es el

cumplimiento del principio de exclusión de intermedios: una proposición que no puede ser falsa necesariamente es verdadera. La demostración por reducción al absurdo es un tipo de argumento lógico muy empleado en demostraciones matemáticas .Consiste en demostrar que una proposición matemática es verdadera probando que si no lo fuera conduciría a una contradicción.

Ejemplo:

Supóngase que se desea demostrar una proposición P El procedimiento consiste en demostrar que asumiendo como cierta la falsedad de P (o sea P negada) conduce a una contradicción lógica. Esta P debería no ser falsa. Por lo tanto habría de ser verdadera

Demuestre que si m y n son enteros tales que

n + n2+ n3= m + m2 y entonces n es par

Solución

Supongamos que n es impar A partir de esto debemos conseguir una contradicción

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 números m o m+1 es par).Hemos llegado a una.

Segundo Aporte Individual: Socializar en el Foro de Interacción y Producción la

conceptualización y ejemplos concretos de alguna de las Leyes de Inferencia Lógica (sólo

selecciona una e informa en el foro cual escogió, para que no sea escogido por

selecciona una e informa en el foro cual escogió, para que no sea escogido por otro

integrante), las operaciones son:

Yulieth Tatiana González

Silogismo Hipotético y Silogismo Disyuntivo.

SILOGISMO HIPOTÉTICO

El Silogismo es el modelo de raciocinio más importante en lógica, Aristóteles hace valer la misma definición para el raciocinio que para el silogismo. Sin embargo, la tradición escolástica, fundándose en el mismo Aristóteles, elaboró una definición que Balmes formula de la siguiente manera: “Silogismo es la Argumentación en que se comparan dos extremos con un tercero para descubrir la relación 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 categóricos (A, E, I, O) por lo que también son llamados categóricos. Constan de dos premisas y una conclusión y la relación que se establece entre ellos es de necesidad, es decir la conclusión necesariamente se extrae de la conexión, mediación, de premisas.

En lógica se denomina silogismo hipotético a aquel tipo de silogismo o más bien regla de inferencia que en su expresión plantea un caso hipotético, por lo cual puede tener términos válidos o no. En la lógica proposicional un silogismo hipotético puede expresar una regla de inferencia.

El silogismo hipotético se caracteriza por estar formado por juicios hipotéticos. La estructura formal del silogismo hipotético es la siguiente:

Si A es, B es

Si B es, C es

Luego, si A es, C es

Silogismo Hipotético Mixto

Se llama hipotético mixto al silogismo que está formado por una premisa mayor hipotética, una premisa menor categórica y una conclusión también categórica. 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, A es Luego, B es. La estructura formal del

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 disyunción exclusiva, de manera que los dos miembros no pueden ser simultáneamente verdaderos, ni simultáneamente falsos.

Ejemplo:

"Todo círculo es una curva o una recta; es una curva; luego, no es una recta".

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

En esquema:

En esquema: Ejemplos: O es de día o es de noche; Es de día; Luego no
En esquema: Ejemplos: O es de día o es de noche; Es de día; Luego no

Ejemplos:

O es de día o es de noche;

Es de día;

Luego no es de noche.

O es de día o es de noche;

Es de noche;

Luego no es de día.

O es de día o es de noche;

No es de día;

Luego es de noche.

O es de día o es de noche;

No es de noche;

Luego es de día

O estudias o no apruebas el examen.

Estudias. Luego, apruebas el examen.

O estudias lógica, o te toman el pelo.

Te toman el pelo.

Luego, no has estudiado lógica.

el pelo. Te toman el pelo. Luego, no has estudiado lógica. Wilson Andrés Benítez Simplificación y

Wilson Andrés Benítez

Simplificación y Ley de la conjunción.

Ley de la conjunción (adjunción).

Si disponemos de dos enunciados afirmados como dos premisas separadas, mediante la

adjunción, podemos unirlos en una sola premisa utilizando el operador ^ (conjunción).

Ejemplo:

p "Juan es cocinero"

q "Pedro es policía"

p^q "Juan es cocinero y Pedro es policía"

Simplificación: Obviamente, es la operación inversa. Si disponemos de un enunciado formado por dos miembros unidos por una conjunción, 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 Calderón

Adriana Santana Calderón - Dilema Constructivo y Absorción: Dilema constructivo es el nombre de una regla

- Dilema Constructivo y Absorción:

Dilema constructivo es el nombre de una regla de inferencia de válida de lógica 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 versión disyuntiva del modus tollens. La versión disyuntiva

de modus ponens, mientras que el dilema destructivo es la versión disyuntiva del modus tollens. La regla puede afirmar:

disyuntiva del modus tollens. La regla puede afirmar: ", " Donde la regla es que dondequiera
", "
", "

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

", y " en una línea posterior.

instancias de " ", y " en una línea posterior. " en una línea de alguna
instancias de " ", y " en una línea posterior. " en una línea de alguna

" en una línea de alguna demostración, se puede colocar "

Ejemplo:

(P

^ (R P v R Q v Sde alguna demostración, se puede colocar " Ejemplo: (P Absorción P ^P) MODUS PONENDO PONENS (PP)

se puede colocar " Ejemplo: (P ^ (R P v R Q v S Absorción P

Absorción

P
P

^P)

MODUS PONENDO PONENS (PP)

P

q
q

"

¨Si llueve, entonces las calles se mojanµ (premisa)

p ¨Llueve (premisa)

q (conclusión) ¨Luego, las calles se mojan¨

El condicional o Implicación es aquella operación que establece entre dos enunciados una relación de causa-efecto. La regla ponendo ponens´ significa, ´afirmando o afirmo¨ y en un Condicional establece, que si el antecedente (primer término, en este caso p) se afirma, necesariamente se afirma el consecuente (segundo término, en este caso q).

MODUS TOLLENDO TOLLENS (TT)

MODUS TOLLENDO TOLLENS (TT) ¨Tollendo tollens· significa ´negando, niego, y se refiere a una propiedad inversa

¨Tollendo tollens· significa ´negando, niego, y se refiere a una propiedad inversa de los condicionales, a los que nos referíamos en primer lugar.

P

condicionales, a los que nos referíamos en primer lugar. P q ¨Si llueve, entonces las calles

q ¨Si llueve, entonces las calles se mojan¨

¬q

¨ Las calles no se mojan¨

¬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 implicación; la regla ponendo ponens sólo nos permite afirmar

si está afirmado.

LEY DE ADICIÓN Y TOLLENDO PONENS.

Esta regla se aplica para las proposiciones disyuntivas, en la cual un miembro de dicha

proposición se niega para lograr la afirmación del otro.

P

V Q

P V Q

(1) ¬ (P &

M) V

T

& Q

¬ P

¬Q

(2) ¬ (T

&

Q )

----------

---------

. Q

. P

. (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 V Q) ----- ------- .: ¬¬P .: p .: ¬ ¬ (P

P

¬¬P

(P V Q)

-----

-------

.: ¬¬P

.:

p

.: ¬ ¬

(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 través de las dos formas básicas de uso de las Tablas de Verdad y del uso de las Leyes de Inferencia demostrar la validez o no validez del argumento dado (sólo selecciona uno e informa en el foro cual escogió, para que no sea escogido por otro integrante), los enunciados son:

Yulieth Tatiana González

Si Bibiana aprueba el periodo académico entonces Johanna y Santiago sus hermanos se enojan con ella. Y si no aprueba el periodo académico, pierde los beneficios de la beca obtenida en la Universidad. Pero, Bibiana aprueba el periodo académico 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 académico

q= Johanna y Santiago sus hermanos se enojan con ella

r= Pierde los beneficios de la beca obtenida en la universidad

[(p q) Λ (~p 1. p q
[(p
q) Λ (~p
1. p
q

r) Λ (p V ~p)]

con ella r= Pierde los beneficios de la beca obtenida en la universidad [(p q) Λ

(q V r )

con ella r= Pierde los beneficios de la beca obtenida en la universidad [(p q) Λ
2. ~p r 3. p V ~q q V r
2. ~p
r
3.
p V ~q
q V
r

Silogismo Disyuntivo

2. ~p r 3. p V ~q q V r Silogismo Disyuntivo Wilsson Andrez Benitez Tema:
2. ~p r 3. p V ~q q V r Silogismo Disyuntivo Wilsson Andrez Benitez Tema:

Wilsson Andrez Benitez

Tema: Razonamientos lógicos, inferencia lógica y Argumentos lógicos

Todos nos sentimos afligidos por la situación ocurrida en Ecuador el día 16 de Abril, por el Terremoto que ha generado una tragedia para los habitantes de dicha Nación, analicemos lo siguiente: “Si hay una situación de calamidad pública, el índice de sobrevivientes disminuye. Si llegan tardíamente las ayudas internacionales, las esperanzas de la recuperación social serán menores. Si el índice de Sobrevivientes disminuye y las esperanzas de la recuperación social son menores, entonces la sociedad irá recuperándose lentamente. La calamidad pública es un hecho y las ayudas internacionales llegan de manera tardía. Luego, la sociedad irá recuperándose lentamente”.

Solución:

La estructura del enunciado corresponde a un razonamiento deductivo. Premisa 1: Si hay una situación

La estructura del enunciado corresponde a un razonamiento deductivo.

Premisa 1: Si hay una situación de calamidad pública, el índice de sobrevivientes disminuye.

Premisa 2: Si llegan tardíamente las ayudas internacionales, las esperanzas de la recuperación social serán menores.

Premisa 3: Si el índice de sobrevivientes disminuye y las esperanzas de la recuperación social son menores.

Premisa 4: entonces la sociedad irá recuperándose lentamente. La calamidad pública es un hecho y las ayudas internacionales llegan de manera tardía.

Conclusión: la sociedad irá recuperándose lentamente.

De allí se establece la simbología de las proposiciones simples, para establecer el álgebra proposicional:

C: calamidad publica

S: sobrevivientes

A: ayudas internacionales

R: recuperación social

Ahora bien en lenguaje simbólico las premisas quedan de la siguiente manera:

Premisa 1: C

→~S

Premisa 2:~A→~R

Premisa 3: ~S→~R

Premisa 4: ~R →C &~A

Conclusión: ~R

Debe verificarse que al generar un condicional con las premisas enlazadas en una conjunción como antecedente, y la conclusión el consecuente; se obtiene una tautología. 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 Trigonometría y Geometría
Adriana Santana Calderon  Los estudiantes que conformaron el CIPAS de Álgebra Trigonometría y Geometría

Adriana Santana Calderon

Los estudiantes que conformaron el CIPAS de Álgebra Trigonometría y Geometría Analítica se han reunido y deben buscar bibliografía del tema de secciones cónicas, de lo cual conversan lo siguiente: “Vamos a consultar la tarea en el edificio de la biblioteca de la UNAD si está caluroso el día. 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.

Solución

La estructura del enunciado corresponde a un razonamiento deductivo.

Identificación de las proposiciones simples:

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

B: si está caluroso el día

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

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

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

Conclusión: Por lo tanto vamos a descargar el libro en PDF.

Por lo tanto

Premisa 1:A→B

Premisa 2:~A→C

Premisa 3: C→D

Conclusión: D

De esta manera llegamos a la ecuación:

[(A→B) & (~A→C) & (C→D)] →D

Premisa 3: C→D Conclusión: D De esta manera llegamos a la ecuación: [(A→B) & (~A→C) &
La anterior tabla nos conduce a una contingencia, es decir, al no ser una tautología,

La anterior tabla nos conduce a una contingencia, es decir, al no ser una tautología, entonces el razonamiento no es válido.

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

metodología educativa que realmente forma profesionales competentes, a través

del “Aprendizaje Autónomo”, para lo cual se debe ser muy disciplinado con los

hábitos de estudio adquiridos para cumplir con las actividades académicas.

Milena se ha esforzado por mantener un sólido hábito de estudio, pero hay

momentos en que sus deberes son tantos, que no logra cumplir a cabalidad con

las actividades del periodo académico y se le presenta la siguiente situación: “Si

el Director de Curso de Pensamiento Lógico y Matemático 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 Química General. Y si aprovecho y hago el trabajo final

de Química General, me pondré al día con las notas pendientes. Por lo tanto, si

no desarrollo las demostraciones con las Leyes de Inferencia, me pondré al día

con las notas pendientes de Química General”.

La estructura del enunciado corresponde a un razonamiento deductivo.

Identificación de las proposiciones simples:

D: Si el Director de Curso de Pensamiento Lógico y Matemático activa la etiqueta del Examen Nacional

E: desarrollaré las demostraciones con las Leyes de Inferencia.

Q: trabajo final de Química General

N: me pondré al día con las notas pendientes.

Premisa 1: Si el Director de Curso de Pensamiento Lógico y Matemático 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 Química General.

Premisa 3: si aprovecho y hago el trabajo final de Química General, me pondré al

Premisa 3: si aprovecho y hago el trabajo final de Química General, me pondré al día con las notas pendientes.

Conclusión: si no desarrollo las demostraciones con las Leyes de Inferencia, me pondré al día con las notas pendientes de Química General”.

Por lo tanto

Premisa 1:D→E

Premisa 2:~D→Q

Premisa 3: Q→N

Conclusión: ~E→N

Entonces tenemos una ecuación así:

[(D→E) & (~D→Q) & (Q→N)] → (~E→N)

así: [(D→E) & (~D→Q) & (Q→N)] → (~E→N) La tabla anterior permite evidenciar que es una

La tabla anterior permite evidenciar que es una tautología, por lo cual el razonamiento es válido.

 Mañana se cierra la Fase Individual del Trabajo Colaborativo Tres del curso Herramientas Digitales

Mañana se cierra la Fase Individual del Trabajo Colaborativo Tres del curso Herramientas Digitales para la Gestión del Conocimiento, Mariana desarrolló el ejercicio de las Redes Sociales en su afán 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 Interacción y Producción lo habría visto al ingresar al Entorno de Aprendizaje Colaborativo. Leí la guía de actividades en el Correo Interno o en el Entorno de Información Inicial. Si leí la guía 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 guía de actividades en el Entorno de Información Inicial entonces el aporte está en el Foro de Interacción y Producción. Por lo tanto, el aporte está en el E-Portafolio”.

Solución.

La estructura del enunciado corresponde a un razonamiento deductivo.

Identificación de las proposiciones simples:

A: el aporte está en el Foro de Interacción y Producción

S: Entorno de Aprendizaje Colaborativo.

D: guía de actividades en el Correo Interno

F: el Entorno de Información Inicial.

G: E-Portafolio

H: grupo de skype

En este orden encontramos las premisas.

Premisa 1: Si el aporte está en el Foro de Interacción y Producción lo habría visto al ingresar al Entorno de Aprendizaje Colaborativo.

Premisa 2: Leí la guía de actividades en el Correo Interno o en el Entorno de Información Inicial.

Premisa 3: Si leí la guía 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 guía de actividades en el Entorno de Información Inicial entonces el aporte está en el Foro de Interacción y Producción.

Conclusión: Por lo tanto, el aporte está en el E-Portafolio

Por lo tanto

Premisa 1:A→S

Premisa 2: D V F

Premisa 3: D→ (G&~S)

Premisa 4:(H→G) & (F→A)

Conclusión: G

Entonces tenemos una ecuación así:

(F→A) Conclusión: G Entonces tenemos una ecuación así: [(A→S) & (D V F) & (D→ (G&~S))

[(A→S) & (D V F) & (D→ (G&~S)) & (H→G) & (F→A)] → G

& (D→ (G&~S)) & (H→G) & (F→A)] → G La tabla anterior permite evidenciar que es

La tabla anterior permite evidenciar que es una tautología, por lo cual el razonamiento es válido

FASE GRUPAL

FASE GRUPAL El primer momento consiste en la participación significativa de cada integrante en el E-

El primer momento consiste en la participación significativa de cada integrante en el E-

Portafolio del Curso. Para este aporte, cada estudiante escogerá una de las siguientes terminologías del Álgebra de Boole (publicará en el Foro de Interacción y Producción la

terminología seleccionada para evitar que otro integrante la seleccione). Las terminologías

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

A+ B

A-B

B

 

0

0

0 0

 

0

1

1 0

1

0

1 0

1

1 1

1

A

A

 

1

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) = A·B + A·C

A

+ B·C = (A+B) ·(A+C)

3.

ELEMENTOS NEUTROS DIFERENTES

A + 0 = A

A + 0 = A A · 14. SIEMPRE EXISTE EL COMPLEMENTO DE A, DENOMINADO 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 válida sin mas que intercambiar (+) por (·) y 1 por 0.

CONSTANTE: cualquier elemento del conjunto B

VARIABLE: símbolo que representa un elemento arbitrario del álgebra, ya sea constante o fórmula 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

A·0 = 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

A·A=A

TEOREMA 5: (INVOLUCIÓN): para cada elemento de B, se verifica:

(A’)’ = A

TEOREMA 6:(ABSORCIÓN): para cada par de elementos de B, se verifica:

A+A·B=A

A·(A+B)=A

TEOREMA 7: para cada par de elementos de B, se verifica: A + A’·B =

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

A + A’·B = 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 relación o ley lógica le corresponderá su dual, formada mediante el intercambio de los operadores unión (suma lógica) con los de intersección (producto lógico), y de los 1 con los 0.

Además hay que cambiar cada variable por su negada. Esto causa confusión al aplicarlo en los teoremas básicos, pero es totalmente necesario para la correcta aplicación del principio de dualidad. Véase que esto no modifica la tabla adjunta. Otras formas de notación del álgebra de Boole

Se emplea la notación empleada hasta ahora ({0,1}, +,) siendo la forma más usual y la más cómoda 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 electrónica, suele emplearse la misma denominación que para las Puerta lógica AND (Y), OR (O) y NOT (NO), ampliándose 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 mayúsculas o minúsculas, y pueden tomar los valores {0, 1} Empleando esta notación 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: símbolo que representa un elemento arbitrario del álgebra, ya sea constante o fórmula completa.

TEOREMAS:

Teorema 1: el elemento complemento A’ es único.

Teorema 1: el elemento complemento A’ es único. Teorema 2 de los elementos nulos: para cada

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 involución: para cada elemento de B, se verifica: (A’)’ = A

Teorema 6 de absorción: para cada par de elementos de B, se verifica: A+A· B=A A· (A+B)=A

DEFINICIÓN Y EJEMPLOS DEL ÁLGEBRA DE BOOLE.

EL ÁLGEBRA DE BOOBLE

Un álgebra de Boole es aquella que utiliza variables que sólo 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 dígitos numéricos, 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) = A·B + A·C

A

+ B·C = (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 LÓGICAS

Una compuerta lógica es un dispositivo que nos permite obtener resultados, dependiendo de los valores de las señales que le ingresemos. Es necesario aclarar entonces que las compuertas lógicas 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 electrónica 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

comporta cada compuerta se debe ver su TABLA DE VERDAD. Esta nos muestra todas las combinaciones lógicas posibles y su resultado.

COMPUERTA

AND

La compuerta AND hace la función de multiplicación lógica. Es decir toma los valores que le aplicamos a sus entradas y los multiplica.

Tabla de

verdad AND

 

A

B

X

0

0

0

0

1

0

1

0

0

1

1

1

COMPUERTA OR

La compuerta OR realiza la función de suma lógica. 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 estén 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. También tiene la utilidad de ajustar niveles pero tomando en cuenta que invierte la señal.

Tabla de

verdad

A

X

0

1

1

0

Tabla de verdad A X 0 1 1 0  APLICACIONES EN EL MUNDO REAL DEL

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 están relacionados por las dos operación vinarias denominadas suma (+) producto (•) la operación producto se indica generalmente mediante la ausencia de símbolo entre dos variable lógicas. Principalmente nos habla de utilizar las técnicas algebraicas para tratar expresiones de la lógica proposicional para así poder solucionar más rápidamente problemas como lo son los que tiene que ver con el ámbito de diseño electrónico, en informática y matemática es una estructura algebraica que esquematiza las operaciones lógicas Y, O, NO y SI (AND, OR, NOT, IF, así como el conjunto de operaciones unión, intersección y complemento.

En la actualidad, el álgebra de Boole se aplica de forma generalizada en el ámbito del diseño electrónico. Claude Shannon fue el primero en aplicarla en el diseño de circuitos de conmutación eléctrica biestables, en 1948, llamado Sistemas Digitales. Esta lógica puede dar campo en.

1. Al análisis, porque es una forma concreta de describir cómo funcionan los circuitos al

diseño. 2. Al ya que teniendo una función aplicamos dicha álgebra, para poder desarrollar una implementación de la función.

Leyes del Algebra de Boole

En el álgebra de Boole se cumplen las siguientes Leyes:

Conmutatividad:

X

+ Y = Y + X

X

· Y = Y · X

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

+

X

· 1 = X

0 = 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

A1 · 1 = A1 · (A + A2) = A1 · A + A1 ·
Toda operación que se realiza en un sistema digital, ya sea un computador, un teléfono

Toda operación que se realiza en un sistema digital, ya sea un computador, un teléfono móvil, un reloj o una calculadora utiliza las operaciones definidas por el álgebra de Boole para realizar sus funciones, algunas veces estas funciones vendrán implementadas por software y otras por hardware. Tengamos en cuenta que el álgebra de Boole se extiende a partir de la lógica para definir todas las operaciones aritméticas como la suma o la multiplicación. De allí que vemos su importancia y aplicación real en todos los procesos matemáticos que se imparten desde el Preescolar, ya que ella nos brinda las herramientas para fundamentar e ir estructurando el pensamiento lógico matemático

Ana revisa las notas que lleva hasta el momento en el curso de Pensamiento Lógico y Matemático, 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 autorreflexión:

“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”.

Solución.

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.

Conclusión: Por lo tanto entrego mis aportes significativos a tiempo.

La estructura del enunciado corresponde a un razonamiento deductivo. Identificación 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:S→T+I

Premisa 2:R→~T

Premisa 3: A→~I

Premisa 4: S&A

Conclusion: T

[(S→T+I) & (R→~T) + (A→~I) & (S&A)] →T

El desarrollo de la tabla de verdad es el siguiente:

→T El desarrollo de la tabla de verdad es el siguiente: La tabla anterior permite evidenciar
→T El desarrollo de la tabla de verdad es el siguiente: La tabla anterior permite evidenciar

La tabla anterior permite evidenciar que es una tautología, por lo cual el razonamiento es válido

CONCLUSIÓN

CONCLUSIÓN Este trabajo se basa en la importancia que relaciona los Teoremas y Técnicas de Demostración,

Este trabajo se basa en la importancia que relaciona los Teoremas y Técnicas de Demostración, dando a conocer el silogismo hipotético a aquel tipo de silogismo o más bien regla de inferencia que en su expresión plantea un caso hipotético, por lo cual puede tener términos válidos o no. En la lógica proposicional un silogismo hipotético puede expresar una regla de inferencia, Donde se desarrolla el silogismo disyuntivo.

Y el método de demostración por reducción al absurdo se fundamenta en la condición de no

contradicción para una teoría, básicamente la estrategia consiste en suponer explícitamente la negación de la proposición a demostrar, a partir de esta hipótesis se trata de generar una contradicción, esto es: que la teoría con ese supuesto es inconsistente y, en consecuencia, tal hipótesis es falsa, o lo que es equivalente, que su negación es verdadera, quedando validada la proposición inicial.