PENSAMIENTO LOGICO MATEMATICO

Paso 3 - Uso de las reglas de inferencia

Actividad colaborativa

PRESENTADO POR:
FELIX DUBAN LUGO N
79990346
GRUPO: 200611_728

PRESENTADO A:
TUTOR. LUIS GABRIEL PRIETO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

BOGOTA
11 DE MAYO DE 2017
 OBJETIVOS

Poner en práctica lo aprendido hasta el momento para la interpretación el

planteamiento y la solución del enunciado problémico demostrando la validez
del argumento lógico del anexo dos de la rúbrica Aplicando las leyes de
inferencia lógica y el uso de las tablas de verdad.

INTRODUCCION
La Lógica Es la base de todo razonamiento matemático y tiene numerosas
aplicaciones en la filosofía, matemáticas, computación, física y en la vida
diaria. Es la disciplina que se ocupa de los métodos de razonamiento,
suministrando reglas y técnicas que nos permiten decidir si un
argumento o una deducción, es correcta o no. En general la lógica se aplica en
la tarea diaria, ya que cualquier trabajo que se realiza tiene un procedimiento
lógico.
SITUACIÓN PROBLÉMICA DE LA INFERENCIA LÓGICA FASE
GRUPAL

 La Escuela de ciencias Básicas Tecnologías e Ingenierías ECBTI de la

UNAD realizó como evento disciplinar unas Olimpiadas Matemáticas
Virtuales. El Líder Nacional de la Escuela le ha informado al decano
Nacional de Escuela como fue la premiación, el primer lugar recibirá
un computador portátil, el segundo lugar recibirá una Tablet y el tercer
lugar recibirá una colección de libros de matemáticas Schaun; para
dicho fin el líder Nacional hizo el siguiente razonamiento: “Si Ximena
se ganó el computador entonces Johan recibió la Tablet o Ricardo fue
quien recibió la Tablet. Si Johan 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.

o Declaraciones de Premisas
Premisa1: Si Ximena se ganó el computador entonces Johan recibió la Tablet
o Ricardo fue quien recibió la Tablet.
Premisa2: Si Johan fue quien recibió la Tablet, entonces Ximena no obtuvo
como premio el computador.
Premisa3: Si Carlos fue quien recibió la Tablet entonces Ricardo no fue quien
recibió la Tablet.
Premisa 4: Ximena se ganó el computador.
Conclusión: Carlos no fue quien recibió la Tablet.

o Declaración proposición simple

 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

o Declaraciones de premisas en lenguaje formal

Premisa1: P→Q v R
Premisa2: Q→¬P
Premisa3: S→¬R
Premisa 4: P
Conclusión: ¬S
Razonamiento en lenguaje formal:

{[(P → (Q v R)] ˄ (Q → ¬P) ˄ (S →¬R) ˄(P)} → (¬ S)

 Razonamiento en lenguaje formal (Tabla de verdad)

p q r s ~ ~ ~ (q\/r) (p→(q\/r)) (q→~p) (p →(q v (s→~r (p→(q v [(p → (q v r)] ˄ {[(p→(q v r)]˄
p r s r)˄ ) r)˄(q→~p)˄ (q → ¬p) ˄ (s (q→~p)˄(s →~r) ˄(p)}
(q→~p) (s →~r) →¬r) ˄(p) → (~s)

V V V V F F F V V F F F F F V
V V V F F F V V V F F V F F V
V V F V F V F V V F F V F F V
V V F F F V V V V F F V F F V
V F V V F F F V V V V F F F V
V F V F F F V V V V V V V V V
V F F V F V F F F V F V F F V
V F F F F V V F F V F V F F V
F V V V V F F V V V V F F F V
F V V F V F V V V V V V V F V
F V F V V V F V V V V V V F V
F V F F V V V V V V V V V F V
F F V V V F F V V V V F F F V
F F V F V F V V V V V V V F V
F F F V V V F F V V V V V F V
F F F F V V V F V V V V V F V

Tautología: Razonamiento Valido.

pantallazo como evidencia de la comprobación a través del simulador TRUTH

{[(P → (Q v R)] ˄ (Q → ¬P) ˄ (S →¬R) ˄(P)]} → (¬ S)

CONCLUSIONES

A medida que vamos ahondando en la lógica matemática, sus terminologías y

leyes vamos manejando el tema más fluidamente y aprendemos los conceptos
de proposición, la forma en que se pueden formar proposiciones compuestas
usando los conectores lógicos, representando enunciados por medio de
simbología lógica, conociendo los conceptos de tautología, equivalencia
lógica, regla de inferencia. Realizando demostraciones con problemas que nos
son familiares e interesantes. y que sobre todo al final de la unidad él tenemos
la habilidad, confianza e iniciativa para inferir posibles soluciones.
 BIBLIOGRAFIA

ejemplo de solución de problemas tipo argumento

https://www.youtube.com/watch?v=SO_l9XG7u0M&feature=youtu.be

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

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