INTRODUCCION:

En este trabajo se habla directamente del uso de las leyes de inferencia donde
pretendo colocar en prctica cada una de las leyes, en una de las distintas
situaciones problemticas que se presentan y tambin aplicar la utilizacin de
tablas de verdad donde el nico propsito es buscar que resulte una tautologa.

OBJETIVOS:
OBJETIVO GENERAL:
Aplicar las leyes de inferencia lgica y la tabla de verdad en situaciones
problemticas.

OBJETIVOS ESPECFICOS:
Reconocer las diferentes clases de leyes de inferencia.
Colocar en prctica el simulador trouth para obtener la tabla de verdad que
nos d como resultado una tautologa.
Trabajo de pensamiento lgico matemtico
Esta fase individual consiste en aplicar los pasos que implican el desarrollo de
aportes propios respecto al aprendizaje basado en problemas (ABP). El estudiante
debe revisar las diferentes referencias bibliogrficas del Entorno de Conocimiento
y tambin ampliar y profundizar su conceptualizacin en libros, artculos fsicos o
en la web que de manera autnoma pueda consultar y auto gestionar los conceptos
y procedimientos operativos necesarios para llegar a la solucin de los problemas.
Deben tener presente que la fecha mxima para evidenciar la produccin
individual en el Foro de Interaccin y Produccin es el da Jueves 22 de Junio a las
23:55 horas.

A continuacin se estipulan tres etapas para la Fase Individual, en la cual la

primera se relaciona con la conceptualizacin de los diferentes tipos de
demostracin lgica; luego se plantea la conceptualizacin de las leyes de
Inferencia Lgica; y finalmente se plantean cinco problemas de la validez de un
argumento. De manera que cada uno de los estudiantes del grupo colaborativo
escoger en cada etapa uno de ellos para plantear su proceso y resolverlo para
llegar a la solucin buscada; el estudiante deber publicar en el Foro de Interaccin
y Produccin lo seleccionado con el fin de evitar que otro compaero seleccione el
mismo, es decir en esta Fase Individual cada estudiante resolver un problema
diferente. Es necesario que utilicen los conceptos, las operaciones lgicas de las
tablas de verdad, las leyes de inferencia y sus propiedades analticas que permitan
dar una adecuada interpretacin al enunciado. As se puede argumentar la
estructura, planteamiento del problema y la resolucin de cada situacin.

Las etapas son las siguientes:

Primera etapa:
Socializar la conceptualizacin y mnimo tres ejemplos de alguna de las
terminologas de los diferentes tipos de Demostracin en la Lgica Matemtica
(slo selecciona una e informa en el foro cual escogi, para que no sea escogido por
otro integrante), la terminologa es la siguiente:

Demostraciones Directas e Indirectas.

Demostracin por Contraposicin.
Demostracin por Contradiccin (Reduccin al Absurdo).
Demostracin por Contraejemplo.
Demostracin por el Principio de Induccin Matemtica.
Demostraciones.
Algunos teoremas famosos necesitaron cientos de aos para ser demostrados
formalmente, como por ejemplo el Teorema Fundamental del Algebra, el cual
establece que todo polinomio con coeficientes complejos posee una raz compleja.
El teorema fue propuesto por vez primera por Albert Girard en 1629.
Posteriormente DAlembert dio una demostracin incompleta en 1746. En 1801
Carl Friedrich Gauss dio una prueba absolutamente rigurosa del mismo en su
clebre obra Disquisitiones arithmeticae. En el proceso de demostracin del
mismo se logr entender la naturaleza de los nmeros complejos, como puntos del
plano y se gener una nueva rea de la matemtica: La Topologa. Existen al menos
media docena de pruebas de este teorema, todas ellas de naturaleza distinta. El
hecho de contar con una demostracin no impidi que se buscaran otras. El mismo
Gauss dio cuatro pruebas diferentes. Desde entonces han aparecido nuevas
demostraciones usando distintas herramientas. En esto vemos que la matemtica
es una actividad muy humana, susceptible de ser influenciada por los gustos y
tendencias de la poca.
Las tcnicas de demostracin son bsicamente: Directa, indirecta, demostracin
por el absurdo e induccin. Sin embargo, esto no agota todas las posibilidades. Hay
mtodos constructivos que resuelven los problemas dando explcitamente la
solucin. Tambin existen mtodos poco usados como el descenso al infinito. Hoy
en da, con el avance de las computadoras se pueden desarrollar algoritmos para
probar proposiciones.
Otra forma de probar un teorema o resolver un problema P consiste en plantear un
problema equivalente en otro campo de la matemtica, distinto al lugar donde se
originaron. Llamemos a este otro problema P. Entonces si resolvemos P, nos
regresamos de nuevo al contexto original y nuestro problema P quedara resuelto.
Podemos plantearnos un problema de tipo geomtrico, como por ejemplo hallar la
interseccin de una parbola con una recta y luego trasladarlo al campo del
algebra, en donde el mismo se transforma en buscar las soluciones de una ecuacin
de segundo grado. Este mtodo de traslacin horizontal ha dado grandes
resultados en la matemtica.

Demostracin en lgica:
Una demostracin de un teorema es una verificacin escrita que muestra que el
teorema es verdadero. Informalmente, desde el punto de vista de la lgica, una
demostracin de un teorema es un argumento lgico que establece la verdad del
teorema. Consiste de una sucesin de afirmaciones (1),(2), . . . ,(n), tales que cada
afirmacin tiene una o ms razones que justifican su validez, que pueden ser
hiptesis, definiciones, afirmaciones anteriores en la misma demostracin o
proposiciones matemticas ya demostradas y adems la ltima afirmacin, (n), es
la tesis que queremos demostrar.
LOS MTODOS DE DEMOSTRACIN DIRECTA E INDIRECTA
Cuando quieres probar que la proposicin Si A entonces B es verdadera, lo
primero que tienes que hacer es reconocer quin es la proposicin A y quin es B.
Por lo general, todo lo que est entre las palabras si y entonces constituye la
proposicin A, y todo lo que est despus de entonces, la B.
Otra forma de reconocerlo: todo lo que supones que es cierto, o sea, la hiptesis, es
A y todo lo que tienes que probar que es cierto, o sea, la tesis, es B.
Consideremos el siguiente ejemplo:
Proposicin: Si el tringulo rectngulo XYZ de catetos x e y e hipotenusa z tiene de
rea, entonces es issceles.

z2 X
rea =
4 z
y

Z x Y
En este ejemplo tenemos las proposiciones A El tringulo rectngulo XYZ de
z2
catetos x e y e hipotenusa z tiene de rea y B El tringulo rectngulo XYZ es
4
issceles.
Si A entonces B, para probar que A implica B, puedes suponer que A es
verdadera y usar de alguna forma esta informacin para concluir que B es
verdadera.

DEMOSTRACIN INDIRECTA Y REDUCCIN AL ABSURDO

En el mtodo de demostracin indirecta, debes empezar preguntndote: Cmo, o
cundo, debo concluir que la proposicin B es verdadera? Esta pregunta debes
hacerla de forma general.
La reduccin al absurdo consiste en negar la tesis y trabajar en forma lgico -
deductiva hasta llegar a una contradiccin. Una contradiccin es un juicio donde
se afirma la veracidad de una cierta proposicin P y su negacin. A veces es difcil
intuir desde el inicio de la prueba a qu tipo de contradiccin llegaremos. Las
pruebas al absurdo son bastante cortas y espectaculares en la mayora de los casos.
Es justo reconocer que su carcter existencial, las hace difciles de entender para
los que se inician en las matemticas.
Las pruebas al absurdo se limitan solamente a constatar la veracidad o falsedad de
la tesis, sin aportar elementos de tipo constructivo que nos permitan llegar a la
solucin de los problemas. Son definitivamente booleanas: slo saben responder
con un s o un no ante una pregunta. Ellas no aportan mtodos ni algoritmos de
solucin, mientras que la demostracin indirecta establece la verdad de una
afirmacin demostrando la falsedad de la afirmacin contraria.
Por ejemplo, la famosa demostracin de Euclides sobre la infinidad de los nmeros
primos, aunque es muy inteligente, increblemente corta y elegante, no dice nada
sobre cmo se obtienen los nmeros primos.
Para simplificar los clculos, de ahora en adelante usaremos la notacin
A(n) = n(n + 1) (n + 2)
Probare una proposicin un poco ms dbil que la original.
Proposicin Existen infinitos A(n) que son divisibles entre 6.
La demostracin la iniciamos negando lo que quiero probar. Cul es la negocin
de la tesis? Negar la tesis significa aceptar que slo un nmero finito de los A(n)
son divisibles entre 6.
Muy bien, si acepto esto, entonces en ese conjunto o lista finita de nmeros
enteros, que llamaremos L, debe haber un elemento mximo. Digamos que A(k) es
el mximo de ellos, para algn k entero positivo.
Considero el nmero siguiente: m = A(k) + 3(k + 1)(k + 2) Claramente este
nmero es divisible entre 6, pues tanto A(k) como 3(k+1)(k+2) lo son ( es un
hecho muy fcil de verificar que si dos nmeros son divisibles entre 6, su suma
tambin los es). Sin embargo
A(k + 1) = (k + 1)(k + 2)(k + 3)
= k (k + 1)(k + 2) + 3((k + 1)(k + 2
= A(k) + 3(k + 1)(k + 2) Como resultado nos da otro nmero m en la
lista L y que adems, es mayor que el mximo! Esto, por supuesto, es una
contradiccin. La contradiccin viene de suponer la finitud de la lista L. Por lo
tanto vale lo contrario, es decir, la lista L es infinita.

Demostracin Directa.
Una demostracin directa es aquella en la cual se aceptan las hiptesis como
verdades y a partir de ellas se deduce la veracidad de la tesis mediante un proceso
lgico deductivo. Est basada en la tautologa [(P Q) P] Q conocida como
Modus Ponens. Las demostraciones directas tienen la gran virtud de ser muy
transparentes en cuanto a su dinmica interna. Estn guiadas por un principio muy
bsico de apuntar hacia la tesis en todo momento siguiendo el camino ms corto
posible, y de emplear en caso de necesidad, los teoremas y axiomas que tengamos
a la mano.
La notacin de congruencias para los nmeros enteros fue creada por Karl
Friedrich Gauss. Si n es un nmero entero positivo fijo, diremos que dos enteros a y
b son congruentes mdulo n, si n divide a la diferencia a - b. La notacin dada por
Gauss y que todava hoy se utiliza es a b mod n.
Sea n un entero positivo. Entonces probaremos que la expresin
A(n) = n(n + 1) (n + 2)
Es divisible entre 6.
Tenemos entonces
A(n) = n3 + 3n2 + 2n
Podemos plantearnos la misma ecuacin usando congruencias mdulo 2 y 3. As se
obtiene
A(n) n3 + n2 mod 2
n2 (n + 1) mod 2
0 mod 2
Por otro lado, mirando a A(n) como un entero mdulo 3 se tiene:
A(n) n 3 + 2n mod 3

Pero, por el pequeo Teorema de Fermat, obtenemos

n 3 n mod 3
Por lo tanto
A(n) n + 2n mod 3 0 mod 3
Combinando ambos resultados nos da
A(n) 0 mod 6
Segunda etapa:
Socializar la conceptualizacin y mnimo tres ejemplos de alguna de las
terminologas de las leyes de inferencia lgica (slo selecciona una e informa en el
foro cual escogi, para que no sea escogido por otro integrante), la terminologa de
las leyes de inferencia es la siguiente:

Modus Ponendo Ponens y Modus tollendo Tollens.

Silogismo Hipottico y Silogismo Disyuntivo.
Dilema Constructivo y Absorcin.
Simplificacin y Ley de la conjuncin.
Ley de Adicin y Tollendo Ponens.

SILOGISMO HIPOTTICO (S: H)

p q Se lee: si p entonces q
q r Se lee: si q entonces r
p r Se lee: de donde Si p entonces r
Es un argumento que se expresa simblicamente as:
[(p q) (q r)] (p r)

Ejemplo 1.
Premisa 1. Si el agua se hiela, entonces sus molculas forman cristales.
Premisa 2. Si las molculas forman cristales, entonces el agua aumenta de volumen.
Conclusin. Si el agua se hiela, entonces el agua aumenta de volumen.

Simblicamente: Sean las proposiciones

p: El agua se hiela
q: Sus molculas forman cristales
r: El agua aumenta de volumen
Premisa 1. p q
Premisa 2. q r
Conclusin. p r

SILOGISMO DISYUNTIVO (S. D) O MODUS TOLLENDO PONENS (MTP)

pq
~p
q
Esta ley se enuncia as:
Si una disyuncin es verdadera y una de sus proposiciones simples es falsa,
entonces necesariamente la otra proposicin ser verdadera. Simblicamente se
escribe as:
[(p V q) ~p] ~ q o [( p V q ) ~q] p

Ejemplo 1
Premisa 1: O la energa interna de un tomo puede cambiar con continuidad o
cambia slo a saltos.
Premisa 2: La energa interna de un tomo no puede cambiar con continuidad
Conclusin: La energa interna de un tomo cambia slo a saltos

Simblicamente:
p: La energa de un tomo puede cambiar con continuidad
q: La energa de un tomo slo cambia a saltos

Premisa 1: p v q
Premisa 2: ~p
Conclusin: p
Tercera etapa:
Planteamiento y resolucin (utilizando las operaciones necesarias de las tablas de
verdad) y la aplicabilidad de las leyes de inferencia lgica de uno de los problemas
de enunciados tipo argumento del ANEXO 1; adems adjuntar un pantallazo de la
comprobacin de la tabla de verdad con el simulador TRUTH dicho simulador est
dispuesto en el entorno de Aprendizaje Prctico. En el foro de Interaccin y
Produccin encontrar un link que le permitir descargar un PDF con un ejemplo
de cmo realizar el proceso de demostracin de la validez del argumento con el
uso de la tabla de verdad. (Recuerde slo seleccionar uno e informar en el foro el
seleccionado para que no sea escogido por otro integrante).

Anexo 1. Problema 1.
En la ciudad de Pereira se ha creado un buffet de abogados entre cuatro amigos,
del cual Juan Arroyo y Mara Aguirre hacen parte; en cierta ocasin se gener una
discordia laboral por diferentes puntos de vista en el proceso de acompaamiento
legal a una persona sindicada de varios delitos; Juan ha asumido la defensa de
Alberto quien es la fuente de discordia con Mara. Mara ha decidido tomar
acciones radicales frente a lo ocurrido con Juan: Si el cliente de Juan gana la
apelacin, entonces Mara se retira del buffet de abogados. Mara se retira del
buffet de abogados si y slo si Alberto el cliente de Juan no es llevado a prisin. Por
lo tanto, si el cliente de Juan gana la apelacin, entonces no es llevado a prisin.
Determinar con el uso de las dos formas, la tabla de verdad la validez del
razonamiento que hace Mara y hacerlo tambin con el uso de las leyes de
inferencia.

SOLUCIN:
Declaracin de proposiciones simples:

P: Si el cliente de Juan Arroyo gana la apelacin.

Q: Mara Aguirre se retira del buffet de abogados
R: si y solo si el cliente de Juan Arroyo (Alberto) no es llevado a prisin.

Declaracin de premisas compuestas, proposiciones compuestas en lenguaje

natural:
Premisa 1: si el cliente de Juan Arroyo gana la apelacin entonces Mara Aguirre se
retira del buffet de abogados.
Premisa 2: Mara Aguirre se retira del buffet de abogados si y solo si el cliente de
Juan Arroyo (Alberto) no va a prisin.
Conclusin: por lo tanto si el cliente de Juan Arroyo (Alberto) gana la apelacin,
entonces no es llevado a prisin.

Declaracin de premisas en lenguaje formal:

1. (p q)
2. ( q ~r)
3. ( p r)
4. ( p ~r)

Demostracin por tabla de verdad.

[(p q) (q ~r) (p r)] (p ~r)

Aplico Truth Table Generator

http://web.stanford.edu/class/cs103/tools/truth-table-tool/

p q r [ (p q) (q r) (p r) ] (p r)
F F F T
F F T T
F T F T
F T T T
T F F T
T F T T
T T F T
T T T T

Esta es una expresin es una tautologa por tanto es verdadera.

Anexo 1. Problemtica 4.
En un colegio de la ciudad se est buscando brindar un premio al estudiante con el
mejor promedio acadmico; para lo cual se quiere exonerar a dicho estudiante de
los exmenes finales. Es as que en la reunin acadmica se hace el siguiente
anlisis: Si Jaime posee un promedio ms alto que Pablo, entonces Martha posee
un promedio ms bajo que Aura. Martha no tiene un nivel acadmico ms bajo que
Aura. Si Jaime y Lina tienen el mismo promedio, entonces Jaime est con un
promedio ms alto que Pablo. Por consiguiente Jaime y Lina no tienen el mismo
promedio. Con el uso de las dos maneras de la tabla de verdad y con el uso de las
leyes de inferencia comprobar la validez del razonamiento hecho.

SOLUCIN.

Variables:
P: Jaime posee un promedio ms alto que Pablo.
Q: Martha posee un promedio ms bajo que Aura.
R: Martha no tiene un nivel acadmico ms bajo que Aura.
S: Jaime y Lina tienen el mismo promedio.

Se prueba validez por TABLA DE VERDAD

{[((P Q (R)) (S P)] (S)}

(P Q) Primera premisa
(R) Segunda premisa
(S P) Tercera premisa
(S) Conclusin.
 P Q R S (P R ((PQ)( (S [((PQ)(R)) S {[((PQ)(R))(S
Q) R)) P) (SP)] P)](S)}
V V V V V F F V F F V
V V V F V F F V F V V
V V F V V V V V V F F
V V F F V V V V V V V
V F V V F F F V F F V
V F V F F F F V F V V
V F F V F V F V F F V
V F F F F V F V F V V
F V V V V F F F F F V
F V V F V F F V F V V
F V F V V V V F F F V
F V F F V V V V V V V
F F V V V F F F F F V
F F V F V F F V F V V
F F F V V V V F F F V
F F F F V V V V V V V

ARGUMENTO NO VALIDO.

Aplicando Truth Table Generator

P Q R S (((P (Q R)) (S P)) S)

F F F F T
F F F T T
F F T F T
F F T T T
F T F F T
F T F T T
F T T F T
F T T T T
T F F F T
T F F T T
T F T F T
T F T T T
T T F F T
 T T F T F
T T T F T
T T T T T

Se prueba validez por REGLAS DE INFERENCIA

(P Q) Primera premisa
(R) Segunda premisa
(S P) Tercera premisa
(S) conclusin.
Cuarta premisa = (S Q) SH

Teniendo en cuenta las anteriores premisas, y aplicando las diferentes leyes de

inferencia notamos que no existe resultado para la comprobacin de:
(S) Conclusin.
Conclusin:
En la primera etapa de este trabajo pude afianzar los conocimientos de una forma
lgica, creativa y de forma analtica; Adems coloque en marcha el manejo de la
tabla de verdad y el Truth Table Generator con el fin de conocer las inferencias
lgicas para la prctica y el manejo de ellas en la vida cotidiana.

Bibliografas:
Giraldo, J. (2016) uso de las leyes de inferencia en la demostracin de la validez de
un argumento. Recuperado de http://hdl.handle.net/10596/7964

Villalpando, B. J. F. (2000). Matemticas discretas: aplicaciones y ejercicios. :

Larousse Grupo Editorial Patria. Pginas 29 38. Recuperado de:
http://hdl.handle.net/10596/6544

Maia, M. (2012). Lgica proposicional, teoremas y demostraciones, recuperado de:

http://hdl.handle.net/10596/7964

https://www.ecured.cu/Demostraci%C3%B3n_matem%C3%A1tica

ORIENTACIONES TRABAJO COLAVORATIVO TRES (1). Pdf.

PROBLEMA DE INFERENCIA LOGIC. Pdf.

PARTE COLABORATIVA
La fase grupal corresponde a la produccin intelectual que como grupo lleguen a
consolidar.
Deben tener presente que la fecha mxima para evidenciar la produccin grupal es
el Martes 27 de Junio a las 23:55 horas.
La Fase Grupal est comprendida en dos etapas:

Primera etapa:
Consiste en la participacin significativa de cada integrante en el E-Portafolio (este
recurso lo encuentran en el entorno de Seguimiento y Evaluacin). Para este
aporte, cada estudiante escoger una de las terminologas del lgebra de Boole
(publicar en el Foro de Interaccin y Produccin la terminologa seleccionada
para evitar que otro integrante la seleccione) y realizar una pequea presentacin
en PREZI, de la conceptualizacin o un ejemplo de lo seleccionado, evidenciando en
el E-Portafolio el enlace de acceso. Las terminologas del lgebra de Boole son:

Definicin y ejemplos del lgebra de Boole.

Teoremas del lgebra de Boole.
Principio en la dualidad del lgebra de Boole.
Compuertas Lgicas.
Aplicaciones en el mundo real del lgebra de Boole.

Definicin:
Para comprender qu es el lgebra booleana es necesario entender el concepto de
lgebra y saber quin fue George Boole.
El britnico George Boole (1815-1864), por su parte, fue un destacado matemtico
que est considerado como uno de los pioneros en el desarrollo de las ciencias de
la computacin. Sus aportes tericos dieron lugar a la especializacin que se
conoce como lgebra de Boole o lgebra booleana.
Es ms, incluso se le atribuye a este matemtico y lgico britnico ser el padre de
lo que son los operadores lgicos simblicos. Por eso, para muchos especialistas,
sin lugar a dudas, gracias a ello hoy se puedan realizar todo tipo de operaciones
lgicas, s gracias a elementos de tipo simblico.
Boole propuso un esquema o sistema para la expresin simplificada de problemas
lgicos a travs de dos estados (falso o verdadero) mediante un procedimiento
matemtico. A esta estructura se la denomina lgebra booleana.
A travs del sistema ideado por Boole, se utilizan smbolos para el desarrollo de las
operaciones lgicas SI, NO, O e Y (o YES, NOT, OR e IF en ingls), que
de este modo pueden esquematizarse. Este es uno de los pilares de la aritmtica
computacional y de la electrnica.
Puede decirse que el lgebra booleana apela a nociones algebraicas para el
tratamiento de enunciados de la lgica proposicional. Las operaciones ms
habituales son las binarias, que requieren de dos argumentos. Se llama conjuncin
lgica al resultado verdadero que se obtiene cuando los dos enunciados son
verdaderos: si A es verdadero y B es verdadero, la conjuncin de A y B ser
verdadera.

Qu es el lgebra de Boole?
El lgebra de Boole 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 tienen que ver con el mbito de
diseo electrnico.
Constituyen un rea de las matemticas que ha pasado a ocupar un lugar
prominente con el advenimiento de la computadora digital. Son usadas
ampliamente en el diseo de circuitos de distribucin y computadoras, y sus
aplicaciones van en aumento en muchas otras reas.
Es la rama de las matemticas que apela a la generalizacin de las operaciones
aritmticas utilizando signos, letras y nmeros. Estos elementos se encargan de la
representacin de entidades matemticas mediante el simbolismo
El lgebra booleana es un sistema matemtico deductivo centrado en los valores
cero y uno. Es un operador binario definido en este juego de valores acepta un par
de entradas y produce un solo valor booleano, por ejemplo, el operador boolenao
AND acepta dos entradas booleanas y produce una sola salida booleana.

Ejemplo: Algebra de Boole y lgebra de proposiciones

Teorema lB (principio de dualidad). Demostrar que cada asercin o identidad
algebraica deducible de los postulados del lgebra de Boole sigue siendo vlida si
las operaciones " + " y " . " y los elementos identidad (1 y 0) se intercambian entre
si.
Solucin.
Tomando los postulados (a) de Huntigton e intercambiando en ellos los
operadores y elementos identidad resulta:

1 a) a+b=b+a a.b=b.a

2 a) a+0=a a.1=a
 3 a) a + (b . c) = (a + b) . (a + c) a . (b + c) = (a .b) + (a . c)

4 a) a + a = 1 a . a = 0

Es decir, que a partir de los postulados (a) se obtienen los postulados (b). Esto
demuestra lo que nos habamos propuesto.

Ejemplo 2: Algebra de Boole y lgebra de proposiciones

De las siguientes sentencias o frases, cules representan proposiciones?
a) 3 es un nmero primo
b) cuando se aade 5 a 7, la suma es 14
c) Existen seres vivos en Venus
d) Esta sentencia que Vd est leyendo es falsa
e) Es primo el nmero ll?
Si la sentencia p es
"el buen tiempo es agradable"
Escribir p' de varias formas.

Solucin
Las frases a), b) y c) SI son proposiciones porque son sentencias declarativas libres
de ambigedad. Estn expresadas en modo gramatical indicativo. Las frases d) y e)
NO son proposiciones. La primera de ellas porque es una paradoja y est sujeta a
ambigedad; la segunda porque no est expresada en modo gramatical indicativo.

Para la sentencia p' de la segunda parte podemos escribir, por ejemplo:

"el buen tiempo no es agradable"
No es cierto que el buen tiempo sea agradable"
Algebra de Boole y circuitos con puertas lgicas.
Los circuitos que componen una computadora son muy diversos: los hay
destinados a aportar la energa necesaria para las distintas partes que componen la
mquina y los hay dedicados a generar, procesar y propagar seales que contienen
informacin. En el segundo grupo se distinguen a su vez circuitos que trabajan con
informacin analgica y los que tratan con valores digitales. Los circuitos digitales
se fundamentan en las bases tericas en el lgebra de Boole.
Las puertas lgicas son una manera muy convenientes de realizar circuitos lgicos
por lo que son usadas en las computadoras digitales.
Ejemplo de un circuito lgico.

Bibliografas:
Definicin. de: Definicin de lgebra booleana (http://definicion.de/algebra-
booleana/)
Algebra de Boole y circuitos con puertas lgicas. Rescatado de:
http://www.esi2.us.es/~jaar/Datos/FIA/T3.pdf
Segunda etapa:
Consiste en la interaccin acadmica de los integrantes del grupo en el cual
realicen la interpretacin, el planteamiento y la solucin del enunciado problmico
de la demostracin de la validez de un argumento lgico del ANEXO 2 y hacer uso
del simulador TRUTH para comprobar la respectiva tabla de verdad.
El grupo de trabajo colaborativo debe hacer entrega de un nico documento en
PDF en el Entorno de Seguimiento y Evaluacin con el desarrollo del problema de
la Fase Grupal. El documento debe contener:

Portada
Objetivos
Introduccin
Proceso operativo de la resolucin de la situacin problmica de Inferencia
Lgica planteada para desarrollar de forma grupal, con el respectivo
pantallazo de la comprobacin con el uso del simulador TRUTH.
Conclusiones
Bibliografa
Introduccin
En matemticas no se acepta una proposicin como verdadera hasta que se
construye su demostracin formal, aunque la proposicin sea vlida para un
numero finito de casos no significa que sea vlida para todo el universo, por
ejemplo, la conjetura de Gold Bach se ha verificado utilizando computadoras para
millones de casos, pero a pesar de ello no se acepta como verdadera.
Un mtodo de demostracin es un esquema argumentativo valido con fundamento
lgico no perteneciente en si a la matemtica sino como elemento propio de una
meta teora. La validez de la argumentacin radica en la veracidad de las hiptesis
consideradas para deducir una conclusin.
A continuacin se presenta la solucin de un problema mediante el uso de las leyes
de inferencia, esta parte consiste en interpretar, plantear y exponer la solucin de
un enunciado para mostrar su validez en cuanto argumento lgico.

Objetivo General
Comprender y entender el significado lgico matemtico para as mismo razonar y
entender contextos de la lgica, nuestra manera de pensar, con conocimientos e
investigaciones de la misma; con argumentos verdaderos, ayudndonos a
establecer criterios de verdad. Por medio de las leyes de inferencia.

Objetivos especficos
Mostrar la forma como se resuelve un problema mediante las leyes de
inferencia de la lgica matemtica para comprobar el silogismo.
Observar si el resultado obtenido procede como tautologa, contingencia o
contradiccin.
Poner a prueba los conocimientos adquiridos en la unidad mediante el
trabajo practico
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.

Anlisis del enunciado

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.

Declaracin de proposiciones simples:

P: Ximena se gan el computador
Q: Johan recibi la Tablet
R: Ricardo fue quien recibi la Tablet
S: Carlos fue quien recibi la Tablet

Declaracin de premisas:
Premisa 1: Si Ximena se gan el computador entonces Jhoan recibi la Tablet o
Ricardo fue quien recibi la Tablet.
Premisa 2: Jhoan fue quien recibi la Tablet, entonces Ximena no obtuvo como
premio el computador
Premisa 3: Carlos fue quien recibi la Tablet entonces Ricardo no fue quien recibi
la Tablet.
Premisa 4: Ximena se gan el computador.
Conclusin: Carlos no fue quien recibi la Tablet.
Declaraciones premisas en lenguaje formal:
Premisa 1: P Q R
Premisa 2: Q P
Premisa 3: S R
Premisa 4: P
Conclusin: S

Razonamiento en lenguaje formal:

{[(P (Q R)) (Q P) (S R)] (P)]} (S)

LEYES DE INFERENCIA COMPROBACION.

Premisa 1 = (P (Q R)
Premisa 2 = Q P
Premisa 3 = S R
Premisa 4 = P
Premisa 5 = Q R PP (1). (4)
Premisa 6 = QTT (2). (4)
Premisa 7 = RDS (5). (6)
Premisa 8 = STT (3). (7) conclusin
SIMULADOR TRUTH

(((P (Q R)) ((Q P) ((S R) P)))

P Q R S
S)
F F F F T
F F F T T
F F T F T
F F T T T
F T F F T
F T F T T
F T T F T
F T T T T
T F F F T
T F F T T
T F T F T
T F T T T
T T F F T
T T F T T
T T T F T
T T T T T

Es verdadera por lo tanto es una tautologa.

CONCLUSIONES
La lgica matemtica, nos permite relacionar diferentes esquemas y puntos para el
aprendizaje, de este modo, tener una buena estructura cognitiva. Con la lgica
podemos crear e infundir conocimientos, proporcionando reglas y tcnicas para la
solucin de problemas con el fin de llegar a un resultado propio.
BIBLIOGRAFIAS:
Bustamante A. A. (2009). Lgica y Argumentacin: De los argumentos inductivos a
las lgebras de Boole. 1. Edicin. Mxico: Editorial Pearson. (pp. 9-54).
Recuperado de: http://hdl.handle.net/10596/7960

Zazueta B. L. Clix L. C. (2008). Lgica II. Primera Edicin. Mxico: Universidad

autnoma de Sinaloa. (pp. 91 197). Recuperado de:
http://hdl.handle.net/10596/7963

Villalpando, B. J. F. (2000). Matemticas discretas: aplicaciones y ejercicios.

Larousse - Grupo Editorial Patria. (pp. 29 38). Recuperado de:
http://hdl.handle.net/10596/6544
Giraldo, J. (2016) Uso de las Leyes de Inferencia en la demostracin de la validez
de un argumento. Recuperado de http://hdl.handle.net/10596/7964