LOGICA MATETICA

RETO 1

ESTUDIANTE:
RODOLFO ICARDY POLO CHIMA

CODIGO:
1104017094

PROGRAMA:
INGENIERIA DE SISTEMAS CEAV COROZAL
 INTRODUCCION

En el siguiente trabajo encontraremos un crucigrama, conceptos resumido del

tema lógica y calculo proposicional, conceptos resumidos del tema razonamientos

lógicos, resumen de la estrategia CIPAS y estrategias b- learning, esto con el fin de

dar a conocer y afianzar los conocimiento del estudiante en cuanto al manejo de la

plataforma y el conocimiento de los conceptos básicos de lógica matemática.

 OBJETIVOS

 Identificar las características, competencias e importancia de las

temáticas planteadas en el curso.

 Afincamiento de manejo de la plataforma.

 Conocimiento de conceptos básicos de lógica matemática.

 Conocer las estrategias CIPAS y B- learning.

 DESARROLLO CRUCIGRAMA

4 6

10 p a r t i c i p a n t e s n

e o

7 r a z o n a m i e n t o s l o g i c o s t

u i

8 9 p r i n c i p i o s d e l o g i c a c

11 s m i

l i 14 m i p e r f i l 15 a

o m e s s

g u n e d

i l 12 16 g u i a d e a c t i v i d a d e s

c a b 5 o s l

a d a 13 a y c

m o n c g e u

17 a p r e n d i z a j e c o l a b o r a t i v o r

t t e l n a s

e t j i d l 2 c o m p o n e r

m u a f a u

a t d i d 18 f o r o g e n e r a l d e l c u r s o

c
t h e c e
i

i e a l 19 i n f o r m a c i o n i n i c i a l

c n c c n

a t i u

r o e r r o c i m 3

a n s

d e o t n e i m i c o n o c 1

a s
 UNIDAD 1

LOGICA Y CALCULO PROPOSICIONAL

Lógica consiste en examinar la validez o la invalidez de una afirmación mediante

la aplicación de una sistematización en los argumentos.

La lógica se aplica en muy diversas áreas como en la ingeniería es de gran

utilidad en la electrónica, para el diseño de circuitos mediante compuertas lógicas,

y en programación, En administración y En derecho.

Proposiciones y operadores lógicos

Una proposición o enunciado constituye una oración que tiene un valor de verdad,

es decir, puede ser verdadera o falsa, pero no ambas. La proposición es uno de

los elementos fundamentales en lógica

Clasificación de las proposiciones

En matemáticas, las letras x, y, z, se utilizan para representar variables que

pueden ser reemplazadas con números, las cuales pueden ser combinadas con

diversos operadores, como: +, -, x, v. Por su parte, en lógica las letras p, q, r, se

usan para representar variables proposicionales, esto es, variables que pueden

ser reemplazadas por proposiciones simples, En lógica se pueden encontrar dos

clases de proposiciones: simples o atómicas que son aquellas que están

estructuradas por una única oración. Para su representación, a la proposición se le

asigna una variable proposicional y las compuestas o moleculares son aquellas

que están estructuradas por dos o más proposiciones simples unidas por

operadores lógicos.
Lenguaje natural al simbólico y del lenguaje simbólico al natural

Las variables proposicionales, las cuales pueden ser reemplazadas por

proposiciones simples, lo cual constituye una traducción simbólica de dichas

proposiciones.

Para traducir proposiciones compuestas, primero se eligen las variables

proposicionales necesarias con base en las proposiciones simples involucradas,

además de los respectivos operadores lógicos que las relacionan.

Operadores lógicos

Los operadores lógicos son aquellos símbolos que permiten decidir qué valor de

verdad tiene una proposición. El valor de verdad de una proposición simple puede

ser verdadero o falso, y los únicos operadores lógicos que se pueden utilizar en

estas proposiciones son la negación y la doble negación

Negación

La negación de cualquier proposición p será falsa cuando se niegue una

proposición verdadera y será verdadera cuando se niegue una proposición falsa.

Doble negación

Si la negación de cualquier proposición p verdadera es falsa, entonces cuando se

vuelve a negar será nuevamente verdadera; en caso contrario, si la negación de

una pro-posición falsa es verdadera, al volverse a negar esta será falsa de nuevo.
Conjunción

Si p y q representan dos proposiciones simples, entonces la proposición

compuesta p ^ q, solo será verdadera cuando las dos proposiciones lo sean.

Algunas formas de la conjunción son: y, además de, también, así como, pero, e,

entre muchas otras.

Disyunción inclusiva

Si p y q representan dos proposiciones simples, entonces la proposición

compuesta p V q solo será falsa cuando las dos proposiciones lo sean.

Algunas formas de la disyunción inclusiva son: o, o bien, u, entre otras.

Disyunción exclusiva

Si p y q representan dos proposiciones simples, entonces la proposición

compuesta p ® q solo será falsa cuando las dos proposiciones tuvieren el mismo

valor de verdad.

Se denomina disyunción exclusiva porque se tiene que elegir una de cualquiera de

las dos disyuntivas, pero no ambas.

Proposiciones condicionales

Condicional o implicación

Si p y q representan dos proposiciones simples, entonces la proposición

compuesta p ^q solo será falsa cuando p, llamado antecedente o hipótesis, sea

verdadero y q, llamado consecuente o conclusión, sea falso.

 Biconditional o equivalencia

Si p y q representan dos proposiciones simples, entonces la proposición

compuesta p q, solo será verdadera cuando ambas proposiciones tengan el

mismo valor de verdad.

Tablas de verdad

Es una tabla que muestra el valor de verdad de una proposición compuesta, así

como de algunos casos de proposiciones simples, cuando estas utilizan los

operadores lógicos de negación y doble negación.

Fueron desarrolladas por el filósofo y matemático estadounidense Charles

Sanders Peirce en el año 1880, pero el formato más popular es el que introdujo el

matemático y filósofo británico Ludwig Wittgenstein (1889-1951).

Para construir una tabla de verdad se efectúan los siguientes pasos:

1. Asignar variables proposicionales a cada proposición simple.

2. Obtener la traducción lógica de la proposición compuesta.

3. Obtener la cantidad de todas las combinaciones de valores de verdad de

las premisas. La cantidad de valores de verdad está dado por la fórmula 2", donde

n es la cantidad de variables proposicionales de las premisas.

4. Asignar a cada variable proposicional los valores de verdad correspondientes.

5. Resolver las operaciones lógicas.

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?pp
g=30&docID=11013570&tm=1492518308189
 Unidad 2

RAZONAMIENTOS LOGICOS

Los argumentos: premisas y conclusiones

Los razonamientos que estudia la lógica se llaman argumentos y su tarea consiste

en descubrir qué es lo que hace que un argumento sea válido y constituya una

inferencia correcta.

Un argumento es un conjunto de una o más proposiciones, la última de las cuales

se denomina conclusión, mientras que las anteriores se llaman premisas de

manera intuitiva, las premisas son la evidencia o las razones que deben

convencernos de la veracidad de la conclusión, y el argumento es la

concatenación de las primeras con la última.

Clasificación de argumentos: tautología, contradicción y contingencia

Una tautología es una proposición que es verdadera para todos los posibles

valores de verdad de sus componentes simples.

Contradicción o absurdo si ofrece un resultado falso para todos los posibles

valores de verdad de sus componentes simples.

Contingencia cuando puede ser verdadera o falsa, dependiendo de los valores de

verdad de sus componentes simples.

Métodos de demostración

Cuando un conocimiento queda demostrado, entonces se le reconoce como válido

y es admitido dentro de la disciplina correspondiente. La demostración es, por

tanto, el enlace entre los conocimientos recién adquiridos y el conjunto de los

conocimientos adquiridos con anterioridad.

Método de tablas de verdad

1. Asignar variables proposicionales a cada proposición simple.

2. Obtener la traducción lógica de las premisas.

3. Organizar el argumento en forma horizontal, uniendo las premisas con el

operador lógico^.

4. Obtener la cantidad de todas las combinaciones de valores de verdad de las

premisas. La cantidad de valores de verdad está dada por la fórmula 2n, donde n

es la cantidad de variables proposicionales de las premisas

5. Asignar a cada variable proposicional los valores de verdad correspondientes.

6. Resolver las operaciones lógicas, iniciando por las premisas y finalizando con la

conclusión.

Prueba formal de validez

Cuando el argumento tiene más de tres proposiciones simples diferentes no es

fácil determinar la validez o invalidez de un argumento mediante tablas de verdad,

pues resultaría bastante tedioso hacer dicha tabla de verdad, además de que se

puede incurrir en errores involuntarios.

Por ese motivo, el método más conveniente para obtener la validez de los

argumentos es la prueba formal de validez, la cual utiliza reglas válidas, como las

reglas de inferencia y las reglas de reemplazo o equivalencia.

Reglas de inferencia

Las reglas de inferencia son formas de argumentos cuya validez puede ser

demostrada por tablas de verdad; además, estas reglas permiten establecer

conclusiones muy bien formadas y válidas a partir de otras premisas.

Modus ponens (MP)

Permite eliminar el antecedente siempre que la segunda premisa sea dicho

antecedente.

Modus tollens (MT)

Permite eliminar el consecuente siempre y cuando esté negado en la segunda

premisa, dando como consecuencia el antecedente negado.

Silogismo disyuntivo (SD)

Permite eliminar una de las dos disyunciones siempre que una de las dos esté

negada en la segunda premisa.

Silogismo hipotético (SH)

Permite eliminar el consecuente de la primera premisa y el antecedente de la

segunda premisa, siempre y cuando sean iguales.

Adición (AD)

Permite agregar las variables proposicionales que se necesiten.

Simplificación (SIM)

Permite eliminar las variables proposicionales que no se necesiten.

Conjunción (CONJ)

Permite unir dos premisas diferentes.

Dilema constructivo (DC)

Permite eliminar los antecedentes de las dos condicionales, dando como resultado

la disyunción de los consecuentes.

Dilema destructivo (DD)

Permite eliminar los antecedentes de las dos condicionales, dando como resultado

la disyunción de la negación de los consecuentes.

Absorción (ABS)

Permite reescribir el consecuente, dando como resultado la conjunción del

antecedente y consecuente.

Reglas de reemplazo o equivalencia

No siempre un argumento válido o inválido se puede comprobar por medio de las

reglas de inferencia; por eso, se utilizan otras reglas conocidas como reglas de

reemplazo o reglas de equivalencia, que sustituyen o reemplazan para lograr la

demostración o prueba de validez del argumento.

Leyes de Morgan (DM)

Permite cambiar de disyunción a conjunción y viceversa, negando ambas

variables lógicas.

Conmutación (CONM)
Permite cambiar el orden de las variables lógicas sin cambiar el operador lógico.

Doble negación (DN)

Si la negación de cualquier proposición p verdadera es falsa, entonces cuando se

vuelve a negar esta será nuevamente verdadera y viceversa.

Distribución (DIS)

Permite distribuir la variable lógica de afuera y su operador lógico con las variables

lógicas de dentro y su operador lógico.

Tautología (TAU)

Permite unir dos variables lógicas en una sola.

Asociación (ASO)

Permite agrupar diferentes formas de las variables lógicas, siempre y cuando sea

el mismo operador lógico.

Implicación material (IMP)

Permite cambiar de disyunción a condicional y viceversa.

Transposición (TRAN)

Permite conmutar las variables lógicas de la condicional negando cada una de

estas.

Exportación (EXP)

Permite cambiar de conjunción a condicional y viceversa, modificando su

agrupación.
Equivalencia material (EM)

Permite reescribir la bicondicional.

Pasos para demostrar la validez de un argumento

1. Asignar variables proposicionales a cada proposición simple.

2. Realizar la traducción lógica de las premisas.

3. Organizar el argumento con sus premisas en forma vertical, escribiendo antes

de cada premisa un número de premisa consecutivo.

4. Utilizar las reglas de inferencia y/o de reemplazo que conduzcan a nuevas

premisas, estas siempre deben ser antecedidas por un nuevo número de premisa.

Al utilizar las reglas se debe escribir su abreviatura y el número o números de las

premisas de las que se ha deducido.

5. El proceso de inferencia termina cuando se llega a la conclusión del argumento.

Además del proceso anterior, también es necesario considerar algunas

condiciones para la demostración:

1. Utilizar todas las premisas.

2. Utilizar todas las nuevas premisas obtenidas.

3. Es posible utilizar las premisas las veces que sean necesarias.

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.acti

on?ppg=40&docID=11013570&tm=1492519542738
 ESTRATEGIA CIPAS

(Círculos de la interacción y participación académica y social)

Los cipas son grupos de estudios que se conforman entre estudiantes y pueden

ser orientados por un docente, en el cual se pueden discutir y comprender temas

académicos entre los compañeros del grupo, resolver dudas del curso, establecer

vínculos sociales y afectivos, búsqueda del crecimiento personal y colectivo, de

esta manera mantiene la motivación hacia el aprendizaje.

Donde nosotros los estudiantes tendremos Participación dinámica,

acompañamiento y respeto mutuo, dialogo y escucha.

Los CIPAS se conforman a partir de afinidades y cercanías identificadas

previamente en el curso o en el centro, donde pueden perecer al mismo grupo

colaborativo. Organizándose preferiblemente en cursos de 1,2 y 3 periodo

académico.

Los monitores en el CIPAS apoyan en el manejo de herramientas y recursos

tecnológicos a los estudiantes, evalúa el funcionamiento de este, por lo tanto los

docentes aportan estrategias para desarrollar habilidades de pensamientos y

hábitos de estudio, orienta a los estudiantes para el desarrollo de procesos de

aprendizaje, haciendo seguimiento y evaluación del CIPAS, programa y realiza

encuentro con estudiantes para entender dudas

 ESTRATEGIA B-Learning

Es una estrategia de acompañamiento donde se programan encuentros

pedagógicos abiertos en todos los centros con el fin de fortalecer la apropiación

disciplina mediante ejercicios que facilitan al estudiante una mejor comprensión

del modelo educativo virtual, el cual va dirigido a estudiantes que se encuentran

en el primer periodo académico

El B – leraning consiste en la programación de encuentros pedagógicos abiertos

en los centros orientados por un docente, donde podremos interactuar con

herramientas de comunicación cinconinas, cada encuentro conociste en la

realización de actividades académicas que permitirá afianzar conocimiento y

realizar actividades para el aprendizaje autónomo, colaborativo y significativo.

 CONCLUSION

Del anterior trabajo es posible concluir que se obtuvo una mejor apropiación de

los entornos de aprendizaje, manejo de la plataforma, tanto como de la temática

de las unidades 1 y 2, y estrategias B – learnig y CIPAS