ANEXO 2

La Escuela de ciencias Bsicas Tecnologas e Ingenieras ECBTI de la UNAD realiz como evento disciplinar unas Olimpiadas Matemticas Virtuales.
El Lder Nacional de la Escuela le ha informado al decano Nacional de Escuela como fue la premiacin, el primer lugar recibir un computador
porttil, el segundo lugar recibir una Tablet y el tercer lugar recibir una coleccin de libros de matemticas Schaun; para dicho fin el lder Nacional
hizo el siguiente razonamiento: Si Ximena se gan el computador entonces Johan recibi la Tablet o Ricardo fue quien recibi la Tablet. Si Ximena
fue quien recibi la Tablet, entonces Ximena no obtuvo como premio el computador. Si Carlos fue quien recibi la Tablet entonces Ricardo no fue
quien recibi la Tablet. Ximena se gan el computador. Por lo tanto, Carlos no fue quien recibi la Tablet.

=
= Johan recibi la Tablet
= Ricado recibi la Tablet
=
= Carlos recibi la Tablet
p q r s t [ [ {[ {[
() ()]( ()]( ()]( ()](
) ) ( ) ( ) (
) ) } ) }

V V V V V F F F V F V F F F F V
V V V V F F F V V F V F V F F V
V V V F V F F F V V V V F F F V
V V V F F F F V V V V V V V V V
V V F V V F V F V F V F V F F V
V V F V F F V V V F V F V F F V
V V F F V F V F V V V V V V V F
V V F F F F V V V V V V V V V V
V F V V V F F F V F V F F F F V
V F V V F F F V V F V F V F F V
V F V F V F F F V V V V F F F V
V F V F F F F V V V V V V V V V
V F F V V F V F F F F F V F F V
V F F V F F V V F F F F V F F V
V F F F V F V F F V F F V F F V
V F F F F F V V F V F F V F F V
F V V V V V F F V V V V F F F V
F V V V F V F V V V V V V V F V
F V V F V V F F V V V V F F F V
F V V F F V F V V V V V V V F V
F V F V V V V F V V V V V V F V
F V F V F V V V V V V V V V F V
F V F F V V V F V V V V V V F V
F V F F F V V V V V V V V V F V
F F V V V V F F V V V V F F F V
F F V V F V F V V V V V V V F V
F F V F V V F F V V V V F F F V
F F V F F V F V V V V V V V F V
F F F V V V V F F V V V V V F V
F F F V F V V V F V V V V V F V
F F F F V V V F F V V V V V F V
F F F F F V V V F V V V V V F V
INTRODUCCIN
El razonamiento lgico es un proceso mental en el cual interviene la aplicacin de formas, mtodos y principios enmarcados en la validez
de algunas premisas que llevan a una conclusin que puede identificarse como verdadera o no. Este puede convertirse en inductivo o
deductivo donde la conclusin presenta un grado de probabilidad determinado por su validez. En el siguiente trabajo se ponen de
manifiesto una serie de conceptos y temticas desarrolladas a lo largo del curso de pensamiento lgico y matemtico, entre las cuales se
aplica la transicin del lenguaje natural al lenguaje simblico, la identificacin de las premisas simples, la elaboracin de las tablas de
verdad, el uso de software simulador como el Truth Table. La demostracin de la validez o no validez de un planteamiento por medio
de las leyes de inferencia y las formas de razonamiento (inductivo y deductivo) para proponer una formalizacin y resolucin a las
situaciones problmicas.

OBJETIVOSOBJETIVO GENERAL

- Fortalecer los conceptos y temas adquiridos en las unidades de Pensamiento lgico Matemtico.

OBJETIVOS ESPECIFICOS
- Dar uso a las formas bsicas de las tablas de verdad.
- Demostrar la validez o no validez de situaciones problmicas por medio de los principios de lgica.
- Demostrar la validez o no validez de situaciones problmicas por medio de las leyes de inferencia lgica.
- Analizar y plantear una solucin grupal a la situacin problmicas sugerida en la gua

- CONCLUSIONES
- Reforzamos los conocimientos adquiridos en la anterior unidad al dar usode las formas bsicas de las tablas de verdad, los
principios de lgica y los razonamientos lgicos para demostrar la validez o no validez de las situaciones problmicas propuestas.
- Analizamos en grupo la situacin problmica sugerida en la gua pormedio de las inferencias lgicas y las leyes de inferencia
planteando una solucin.
- https://prezi.com/h4eafggrsbom/teoremas-del-algebra-de-boole/