CURSO:

PENSAMIENTO LGICO Y MATEMTICO

RONALD EDWIN CHAVES MORA

PASO 2 USO DE LAS TABLAS DE VERDAD

TUTOR
CESAR AUGUSTO QUINTERO

BOGOTA COLOMBIA 16 DE ABRIL DE 2017

 INTRODUCCION

En este trabajo aprenderemos del uso de las tablas de la verdad desarrollando varios
ejercicios y aplicando conceptos visos en la gua de actividades y el entorno del
conocimiento.
 OBJETIVOS

Resolver problemas con las tablas de la verdad.

 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.

DECLARACION PROPOSICON 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

DECLARACIONES PREMISAS
Premisa 1: si Ximena se gan el computador, entonces Johan recibi la Tablet o Ricador es
quien recibi la Tablet
Premisa 2: Si Johan 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.

CONCLUSION; CARLOS NO FUE QUIEN RECIBIO LA TABLET

DECLARACIONES DE PREMISAS EN LENGUAJE FORMAL

Premisa 1: PQvR

Premisa 2: QP

Premisa 3: SR
Premisa 4: P

LENGUAJE FORMAL
{[(P(QvR)](QP)(SR)(P)]}(S)

LEYES DE INTEFERENCIA COMPROBACION

Premisa 1: p(QvR)

Premisa 2: QP

Premisa 3: SR
Premisa 4: P

Premisa 5: QvR PP(1).(4)

Premisa 6: QTT (2).(4)

Premisa 7: RDS(5).(6)

Premisa 8: STT (3).(7) CONCLUSION

PANTALLAZO TRUTH
 CONCLUSIONES

En conclusin esta actividad fue muy constructiva a nivel personal ya que conoc como aplicar las
tablas de la verdad a los diferentes enunciados y profundice a cerca de las leyes de inferencia
 BIBLIOGRAFA

Repaso Lgica Matemtica.

http://erenriquez.net/largoty/Ova01MD/
Argoty, L. (2015).

Matemticas discretas: aplicaciones y ejercicios.

Larousse - Grupo Editorial Patria.
http://hdl.handle.net/10596/6551
Villalpando, B. J. F. (2000).

Compendio de lgica.
Larousse - Grupo Editorial Patria.
http://hdl.handle.net/10596/6552
Villalpando, B. J. F. (2000).

Aciertos matemticos 11: serie para la educacin media.

Educar Editores S.A.
http://hdl.handle.net/10596/6541
Gonzles, T. L., & Saavedra, M. (2009).