Pensamiento lógico matemático

Tabla de la verdad

Brian Jose Armenta Cañavera

Grupo: 200611_893

Tutor: David Rodrigo olivares

Universidad Nacional Abierta y a Distancia-UNAD

Escuela De Ciencias Sociales, Artes Y Humanidades ECSAH

Programa Psicología

Cead-Valledupar

2020
 Introducción

El presente trabajo pretende explicar el uso de las preposiciones y las tablas de verdad

haciendo uso de herramientas como el simulador lógico UNAD. Y la elaboración manual de las

respectivas tablas.
Ejercicio 1: Conceptualización de Cuantificadores
 Ejercicio 2: Proposiciones y Tablas de Verdad

 Argumento:

C. Colombia cuenta con una variedad de fauna y flora. Si y solo si, la atraviesa la
cordillera de los Andes y la llanura amazónica.

 Proposiciones Simples:

p = Colombia cuenta con una variedad de fauna

q = Colombia cuenta con una variedad de flora

r = La atraviesa la cordillera de los andes

 s = La atraviesa la llanura amazónica.

 Lenguaje Simbólico: Se convierte el argumento al lenguaje simbólico

( p ∧q ) ↔ ( r ∧ s )

 Tabla de verdad (manual)

Proposiciones Conectores
simples lógicos
 p q r s ( p ∧q) (r ∧ s) ( p ∧q ) ↔(r ∧ s)
v v v v v v v
v v v f v f f
v v f v v f f
v v f f v f f
v f v v f v f
v f v f f f v
v f f v f f v
v f f f f f v
f v v v f v f
f v v f f f v
f v f v f f v
f v f f f f v
f f v v f v f
f f v f f f v
f f f v f f v
f f f f f f v

 Resultado de la tabla de verdad: CONTIGENCIA

 Simulador lógica UNAD:

Ejercicio 3: Problemas de aplicación

 Expresión formal o simbólica:

C. [( p → q)⟷ r ]

 Definición de las proposiciones simples:

p: Voy a la escuela
q: Voy al colegio
r: Ingreso a la UNAD
 Lenguaje natural de la expresión formal:

Voy a la escuela por ende voy al colegio; entonces y sólo entonces ingreso a la UNAD.

 Tabla de verdad con el simulador lógica UNAD:

  Tabla de verdad manual:

Proposiciones Conectores
simples lógicos

p q r ( p → q) [( p → q)⟷ r ]
v v v v v
v v f v f
v f v f f
v f f f v
f v v v v
f v f v f
f f v v v
f f f v f

 Resultado de la tabla de verdad: CONTINGENCIA

.
/

Referencias Bibliográficas

• Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal.

Volumen I: conjuntos numéricos, complementos. (pp. 19-28). Madrid, España: Editorial Tébar Flores. •

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp. 9-28).

Ediciones Elizcom, Madrid.