UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica.

Cdigo 90004

JOSE ACEVEDO Y GOMEZ 2012

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica. Cdigo 90004

INTRODUCCION Para el ser humano es de vital importancia la interaccin con sus semejantes, pues somos sociables por naturaleza. Por esta razn, al iniciar un proceso educativo como lo es el mtodo virtual de la UNAD, se puede prestar para investigar, analizar y estudiar los mdulos del curso; por esta razn mediante este trabajo se busca como objetivo no solo la aplicacin del conocimiento adquirido en el segundo mdulo, sino adems el trasladar estos conceptos a situaciones de nuestra vida cotidiana.

El siguiente trabajo tiene como objetivo comprender y profundizar sobre la importancia del estudio dela LGICA en nuestras vidas, para lo cual es necesario realizar un recorrido por las distintas nociones de esta disciplina, con el fin de acercarnos un poco a su complejidad. Se podr ver los conocimientos adquiridos durante la unidad dos del mdulo, en el desarrollo de las expresiones booleanas con sus funciones lgicas, sus simplificaciones y las representaciones en un circuito ON y AND con su respectivo mapa de karnaugh.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica. Cdigo 90004

Fase 1) Debate con tus compaeros de equipo: El razonamiento propuesto es deductivo o inductivo?

Rst:

El argumento nos proporciona bases concluyentes en la cual podemos deducir por medio de las premisas la necesidad de vivir en comunidad lo cual me indica que el razonamiento es deductivo.

Fase 2) A continuacin, analiza la validez de la conclusin: Respetamos la ley

Premisa 1: O no nos gusta tener calidad de vida o no nos gusta vivir solos Premisa 2: Nos gusta tener calidad de vida Premisa 3: Si no nos gusta vivir solos, nos gusta vivir en comunidad Premisa 4: Si nos gusta vivir en comunidad, entonces respetamos la ley

2.1 Declaracin de proposiciones simples: p = No nos gusta tener calidad de vida q = No nos gusta vivir solos --p = Nos gusta tener calidad de vida

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica. Cdigo 90004

--q = Nos gusta vivir solos r = Nos gusta vivir en comunidad t = Respetamos la ley

2.2 Premisas en lenguaje simblico: Premisa 1: O no nos gusta tener calidad de vida o no nos gusta vivir solos p v q Premisa 2: Nos gusta tener calidad de vida ~p Premisa 3: Si nos gusta vivir solos, nos gusta vivir en comunidad ~q r Premisa 4: Si nos gusta vivir en comunidad, entonces respetamos la ley r t

2.3 Conclusin en lenguaje simblico: RST: t

2.4 Demostraciones: 2.4.1: Demostracin a partir de las tablas de verdad forma 1: (Evaluando la existencia del caso en que las premisas sean verdaderas y la conclusin sea falsa)

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica. Cdigo 90004

Proposiciones Simples | Premisa 1 | Premisa 2 | Premisa 3 | Premisa 4 |

| Conclusin

p
V V V V V V V V F F F F F F F F

q
V V V V F F F F V V V V F F F F

r
V V F F V V F F V V F F V V F F

t
V F V F V F V F V F V F V F V F

~p
F F F F F F F F V V V V V V V V

~q
F F F F V V V V F F F F V V V V

Pvq
V V V V V V V V V V V V F F F F

~p ~q r r t
F F F F F F F F V V V V V V V V V V V V V V F F V V V V V V F F V F V V V F V V V F V V V F V V

t
V F V F V F V F V F V F V F V F

2.4.2: Demostracin a partir de las tablas de verdad forma 2: (Evaluando si la conjuncin de las premisas implican la conclusin.) falta 2.4.3. Verificacin con simulador falta 2.4.4. Demostracin a partir de las leyes de inferencia:

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica. Cdigo 90004

Premisa 1: p v q Premisa 2: ~p Premisa 3: ~q r Premisa 4: r t 5: esta incompleto 2.4.5.: Demostracin por reduccin al absurdo: Premisa 1: p v q = V Premisa 2: ~p = V Premisa 3: ~q r = F Premisa 4: r t = V Esta incompleto

Fase 3) Debate con tus compaeros de equipo el razonamiento propuesto y registren en este espacio el producto del debate. Qu ganamos y a qu renunciamos al vivir en sociedad? (Contextualiza tu respuesta en la realidad mundial):