PENSAMIENTO LOGICO MATEMATICO

Paso2_tablas de verdad

Presentado por: mara cristina Vargas mesa

Cdodigo: 1055332373

Grupo: 200611_331

Tutor: Jesús Antonio rueda

Universidad nacional abierta y a distancia

Escuela de ciencias artes y humanidades

Cead Tunja 2018-03-06

Programa psicología
 Introduccion

En el desarrollo de este trabajo se podrá identificar la conceptualización, análisis,

argumentación, la forma de los procedimientos desde la lógica proposicional donde se
demuestra la veracidad y validez de la tabla de verdad, dónde se desarrollara la tabla de
forma manual y luego se procederá a verificarlas mediante la herramienta propuesta por el
curso la herramienta TRUTH.
 Objetivo general

En esta actividad se busca que el estudiante adquiera conocimientos y destrezas al

desarrollar las tablas de verdad donde se tomaran contextos reales para el desarrollo de las
tablas, donde se utilizara la lógica proposicional utilizada para demostrar la validez y
veracidad
 Objetivos específicos

Desarrollar el ejercicio escogido por el estudiante, donde mediante la guía dada por el curso
se irán desarrollando paso a paso el ejercicio escogido.

Comprobar su veracidad y validez mediante la herramienta THUTH

Elaborar la tabla de verdad manualmente este ejercicio no dará la habilidad y destreza para
conocer y desarrollar las tablas de verdad
 DESARROLLO DE LA TAREA

Tarea 1

A. p: El año 2020 será un año bisiesto q: En un año bisiesto febrero tiene 29 días
r: Los años bisiestos se dan cada dos años

[( → )→ ]↔(¬ ∨ )

[(p→q)→r]
p q r ¬q p→q [(p→q)→r] (¬qVr)
↔(¬qVr)
v v v f v v v v
v v f f v f f v
v f v v f v v v
v f f v f v v v
f v v f v v v v
f v f f v f f v
f f v v v v v v
f f f v v f v f

Pantallazo simulador
 Tarea 2: Tablas de verdad

Cada estudiante debe seleccionar uno de los ejercicios referenciados y anunciar su

escogencia en el foro, de tal forma que no coincida con los compañeros

A. Si en las mañanas llueve entonces en la tarde hace frio y si en la tarde hace frio
entonces en la noche llueve

P: Si en las mañanas llueve

q: en la tarde hace frio

r: en la noche llueve

entonces: =>

Y: ˄

(p=>q)˄(q=>r)

p q r p=>q q=>r (p=>q)˄(q=>r)

v v v v v v
v v f v f f
v f v f v f
v f f f v f
f v v v v v
f v f v f f
f f v v v v
f f f v v v
 Pantallazo simulador

Tarea 3: Problemas de aplicación

Cada estudiante debe seleccionar uno de los ejercicios referenciados y

anunciar su escogencia en el foro, de tal forma que no coincida con los
compañeros.

B {( ⟶ )∧( ⟶ )∧[( ∧ )⟶ ]∧( ∧ )

p q r s t p→q r→s (p→q)˄(r→s) q˄s (q˄s)→t (p→q)˄(r→s)˄[(q˄s)→t] p˄r (p→q)˄(r→s)˄[(q˄s)→t]˄(p˄r) {(p→q)˄(r→s)˄[(q˄s)→t]˄(p˄r)}→t
v v v v v v v v v v v v v v
v v v v f v v v v f f v f v
v v v f v v f f f v f v f v
v v v f f v f f f v f v f v
v v f v v v v v v v v f f v
v v f v f v v v v f f f f v
v v f f v v v v f v v f f v
v v f f f v v v f v v f f v
v f v v v f v f f v f v f v
v f v v f f v f f v f v f v
v f v f v f f f f v f v f v
v f v f f f f f f v f v f v
v f f v v f v f f v f f f v
v f f v f f v f f v f f f v
v f f f v f v f f v f f f v
v f f f f f v f f v f f f v
f v v v v v v v v v v f f v
f v v v f v v v v f f f f v
f v v f v v f f f v f f f v
f v v f f v f f f v f f f v
f v f v v v v v v v v f f v
f v f v f v v v v f f f f v
f v f f v v v v f v v f f v
f v f f f v v v f v v f f v
f f v v v v v v f v v f f v
f f v v f v v v f v v f f v
f f v f v v f f f v f f f v
f f v f f v f f f v f f f v
f f f v v v v v f v v f f v
f f f v f v v v f v v f f v
f f f f v v v v f v v f f v
f f f f f v v v f v v f f v
 Pantallazo

Bibliografía

YouTube. (2018). Estrategia B - learning UNAD. [online] Available at:

https://youtu.be/fPG2byJp9k0 [Accessed 16 Feb. 2018].
 Conclusiones

Mediante el del desarrollo de los ejercicios propuestos por la guía se utiliza la herramienta la cual
da la veracidad de la solución de las tablas de verdad elaborada manualmente por cada uno de los
estudiantes, esta herramienta llamada THUTH.

Una tabla de verdad, es una tabla que muestra el valor de una composición compuesta, para cada
combinación que se pueden asignar a sus componentes

Para el desarrollo de las tablas de verdad se deben tener en cuenta las operaciones lógicas como lo
son disyunción, negación, conjunción, incondicional.
 Referencias bibliográficas

Coursehero.com. (2018). Argoty L 2015 Repaso Lógica Matemática. [online] Available at: / [Accessed 11
Mar. 2018]. https://www.coursehero.com/file/p36vbjo/ppg14docID10345286tm1489705371767-Argoty-L-
2015-Repaso-L%C3%B3gica-Matem%C3%A1tica

Turner.faculty.swau.edu. (2018). Truth Tables. [online] Available at:

http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/ [Accessed 11 Mar. 2018].

YouTube. (2018). Ejemplo de uso de un generador de tablas de verdad 2. [online] Available at:
http://www.youtube.com/watch?v=ZKg7wt9EGJI [Accessed 11 Mar. 2018].