PENSAMIENTO LÓGICO Y MATEMÁTICO

PROPOSICIONES Y TABLAS DE VERDAD

Presentado por:
Osmery Camargo Castañeda
Código: 1082842255

Tutora:
Carolina Castaño

Número de grupo:
200611_1112

Universidad Nacional abierta y a distancia

UNAD
INTRODUCCIÒN

Las proposiciones y tablas de verdad es el razonamiento lógico de un proceso mental en

el cual hay muchas formas y reglas enmarcadas en la validez para la elaboración,

también analizar cómo usar los sistemas de símbolos para representar en gráfica,

además de obtener el conocimiento, la decisión más importante que hay que tomar es la

expresividad de la representación del conocimiento. Cuanto más expresiva es, decir algo

es más fácil y más compacto. Sin embargo, cuanto más expresivo es un lenguaje, más

difícil es derivar inferencias automáticamente de él.

OBJETIVOS

 Fortalecer los conceptos y temas adquiridos en las unidades de pensamiento y

lógica matemáticas

 Dar uso a las formas básicas de las tablas de verdad

 Tener en cuenta las reglas para la realización de las tablas de verdad

EJERCICIO 1

LINK DE CUANTIFICADOR UNIVERSAL AFIRMATIVO

https://prezi.com/view/9GJCImzoDZzKKU5mDGZL/

.
EJERCICIO 2

Si el vehículo de Gabriela necesita mantenimiento entonces, ella lo lleva al

concesionario o Si ella no lo lleva al concesionario entonces, lo lleva taller de Fernando.

Definir las proposiciones simples del argumento.

P= el vehículo de Gabriela necesita mantenimiento

Q= ella lo lleva al concesionario

R= lo lleva taller de Fernando

Definir la expresión del argumento en lenguaje simbólico o formal.

(p→q) v (-q→r)

Generar una tabla de verdad con el simulador Lógica UNAD

contingencia

Generar una tabla de verdad manualmente

P q r -q p→q -q→r (p→q) V (-q→r)

v v v f v v v

v v f f v v v

v f v v f v v

v f f v f f f

f v v f v v v

f v f f v v v

f f v v v v v

f f f v v f v

contingencia
EJERCICIO 3

Si Luis estudia todos los días y cumple con todas sus tareas entonces será reconocido en

su colegio y tendrá un buen promedio

P= Luis estudia todos los días

Q= cumple con todas sus tareas

R= será reconocido en su colegio

S= tendrá un buen promedio

A, (𝑝 ∧ 𝑞) → (𝑟 ⋀ 𝑠)

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 v

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 v

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 f v

f f v f f f v

f f f v f f v

f f f f f f v

Contingencia
CONCLUSIONES

Reforzar los conocimientos adquiridos en esta unidad al dar uso de las formas

básicas de las tablas de verdad, los principios de lógica y los razonamientos

lógicos para demostrar la validez de las situaciones problemáticas propuesta.

BLIBLIOGRAFÌA

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y

computación. (pp. 106-112). Ediciones Elizcom, Madrid. Recuperado

de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=109&docID

=3199701&tm=1529510366591

Castaño, G. (2017). Proposiciones y tablas de verdad, [Vídeo]. Recuperado

de http://hdl.handle.net/10596/13871