Uso de reglas de Inferencia (Colaborativa)

Por
Darien Stiven Trivio Avilez
T.I: 990327-12980
Pensamiento Lgico y Matemtico 200611
Presentado a
Adrian Reinaldo Valencia

Universidad Nacional Abierta y a Distancia UNAD

CERES Mariquita
Escuela de Ciencias Bsicas Tecnologas e Ingenieras (ECBTI)
28-11-2016

OBJETIVOS

Realizar una pequea presentacin de la conceptualizacin de Compuertas Lgicas.

Interpretar el planteamiento y la solucin del enunciado problmico de la demostracin de la

validez de un argumento lgico.

INTRODUCCIN
Este trabajo tiene un breve contenido de una presentacin en PREZI de Compuertas Lgicas y la
solucin del enunciado problmico de la demostracin de la validez del argumento lgico del
ANEXO 2.

Primera etapa:
Compuertas Lgicas:
https://prezi.com/wjpcfc1ldkjt/compuertas-logicas/

Segunda etapa:
ANEXO 2
SITUACIN PROBLMICA DE LA INFERENCIA LGICA FASE GRUPAL
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.
Desarrollo de la expresin:
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.
Premisa 1: Si Ximena se gan el computador entonces Johan recibi la Tablet o Ricardo fue quien
recibi la Tablet.
Premisa 2: Si Ximena fue quien recibi la Tablet, entonces Ximena no obtuvo como premio el
computador.
Premisa 3: Si Carlos fue quien recibi la Tablet entonces Ricardo no fue quien recibi la Tablet.
Premisa 4: Ximena se gan el computador.
Conclusin: Por lo tanto, Carlos no fue quien recibi la Tablet.
Simblicamente:

P: Ximena se gan el computador

Q: Johan recibi la Tablet
R: Ricardo recibi la Tablet
S: Ximena recibi la Tablet
T: Carlos recibi la Tablet
Premisa 1: P (Q v R)
Premisa 2: S ~P

P (Q v R)
S ~P
T ~R

Premisa 3: T ~R
Premisa 4: P
Conclusin: ~T

_P__________
~T

{[P (Q v R)] ^ (S ~P) ^ (T ~R) ^ P} ===> ~T

P
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

Q
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F

R
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F

S
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F

T {[P (Q v R)]
V
V
V
F
V
V
V
V
V
F
V
V
V
V
V
F
V
V
V
V
V
F
V
V
V
V
V
F
V
V
V
V
V
F
V
V
V
F
F
F
F
F
V
F
F
F
F
F
V
V
V
F
V
V
V
V
V
F
V
V
V
V
V
F
V
V
V
V
V
F
V
V
V
V
V
F
V
V
V
V
V
F
V
V
V
V
F
F
V
F
V
V
F
F
V
F

^ (S ~P)
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
F
V
F
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
V
F
V
F
V
F
V

^ (T ~R) ^ P} ===> ~T
F
F
F
V
F
V
F
V
F
F
F
V
V
V
V
V
F
V
F
V
F
V
F
V
V
V
V
F
V
V
V
V
F
F
F
V
F
V
F
V
F
F
F
V
V
V
V
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
F
F
V
V
V
F
V
F
F
F
V
V
V
F
V
V
V
F
V
V
V
F
V
V
V
F
V
V
V
F
V
F
F
F
V
V
V
F
V
F
F
F
V
V
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V

CONCLUSIN
Se puede ver que en algunos casos el uso de las tablas de la verdad se puede hacer muy extensas
cuando involucra numerosas ideas, pero se hace ms nfasis en las leyes de inferencia lgica
resaltndolas ya que son muy esenciales al momento de resolver este tipo de problemas ya que se
necesita formalizarlas y ordenarlas para poder desarrollarlas.

BIBLIOGRAFIA

http://www.monografias.com/trabajos71/compuertas-logicas/compuertas-logicas.shtml

http://www.profesormolina.com.ar/electronica/componentes/int/elec_digit.htm

http://www.profesormolina.com.ar/electronica/componentes/int/comp_log.htm

http://bioingenieria.edu.ar/academica/catedras/electronica_digital/archivos/teorias/02_comps
_boole_09a.pdf