PROPOSICIONES Y TABLAS DE VERDAD

Presentado

Por

ALDEMAR ROJAS

Grupo: 1436

Presentado a

Tutor

HUGO LOPEZ

UNIVERCIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

INGENIERIA INDUSTRIAL

NEIVA – HUILA

2019
 INTRODUCCION

Se entiende que hacemos referencia a las matemáticas o al conocimiento

matemático y, aunque es cierto que las nociones matemáticas suponen una de las
posibles formas de pensamiento lógico matemático, no es menos cierto que este
reduccionismo.
 OBJETIVOS

- Conocer la naturaleza, métodos y fines de los distintos campos de la

Matemática junto con cierta perspectiva histórica de su desarrollo.
- Reconocer la presencia de la Matemática subyacente en la Naturaleza, en
la Ciencia, en la Tecnología y en el Arte.
- Reconocer a la Matemática como parte integrante de la Educación y la
Cultura.
 DESARROLLO DE LA ACTIVIDAD

Ejercicio 1: Conceptualización de Cuantificadores

Para el desarrollo de este ejercicio, es necesario que revise en el Entorno de

Conocimiento (Unidad 1), la siguiente referencia:

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

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

Una vez realizada la lectura, desarrolle el ejercicio propuesto.

Descripción del ejercicio

Con base en los contenidos desarrollados en la lectura, el estudiante debe

escoger uno de los siguientes temas y presentarlo de manera gráfica a través de
una presentación, utilizando un recurso didáctico tipo PREZI, PowerPoint u otra
herramienta digital. A partir del tema deberá dar su definición y dos ejemplos.

Los temas propuestos son:

A. Cuantificador Universal Afirmativo.

RTA/: Anexo Ejercicio 1 en PowerPoint.

Ejercicio 2: Proposiciones y Tablas de verdad

Para el desarrollo de este ejercicio, es necesario que revise en el Entorno de

Conocimiento (Unidad 1), las siguientes referencias:

• 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.

Una vez realizadas las lecturas, desarrolle el ejercicio propuesto.

Descripción del ejercicio:

A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:

RTA/:

Argumento:

A. 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.

Proposiciones Simples: (se define cada proposición simple del argumento,

siempre en afirmativo y con letras en minúscula).

p = El vehículo de Gabriela necesita mantenimiento.

q = Ella lo lleva al concesionario.
r = Lo lleva taller de Fernando.

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

( p → q)⋁( q → r )

Tabla de la verdad (manual): recuerde que aparte de las columnas de las

proposiciones simples, debe haber tantas columnas como operadores
lógicos hay en el lenguaje simbólico (incluye negaciones y demás
operadores lógicos, en el caso del ejemplo que estamos trabajando, hay 1
negación y 3 operadores lógicos), por lo tanto, la tabla de verdad está
compuesta por 4 columnas de proposiciones simples, 1 de una negación y
3 columnas de operadores lógicos.
 p q r q ( p → q) ( q→r) ( p → q)⋁( 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 V V

Resultado de la tabla de verdad: contingencia

Simulador Lógica UNAD:

Ejercicio 3: Problemas de aplicación

Para el desarrollo de este ejercicio, es necesario que revise en el Entorno de

Conocimiento (Unidad 1), las siguientes referencias:

• 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.

Una vez realizadas las lecturas, desarrolle el ejercicio propuesto.

Descripción del ejercicio: A continuación, encontrará proposiciones compuestas en

lenguaje simbólico (argumento) para el desarrollo del ejercicio 3:

RTA/:

Expresión formal o simbólica (dada en el planteamiento del ejercicio):

Definición de las proposiciones simples: (se define cada proposición simple del
argumento, siempre en afirmativo y con letras en minúscula).

P = Los estudiantes de Ingenieria Industrial participan en los CIPAS

Q = Participan en los B – learning

R = Participan en la Web Conferencias

S = Ellos ganarían puntos.

(𝑝 ∧ 𝑞) → (𝑟 ⋀ 𝑠)

Lenguaje natural de la expresión formal: (A partir de las proposiciones simples

anteriores y el lenguaje simbólico dado en el ejercicio, se construye la expresión
en lenguaje formal o natural)

Si los estudiantes de Ingenieria Industrial participan en los CIPAS y participan en

los B – learning, entonces, participan en la Web Conferencias y ellos ganarían
puntos.
Generar la tabla de verdad manualmente: recuerde que aparte de las columnas de
las proposiciones simples, debe haber tantas columnas como operadores lógicos
hay en el lenguaje simbólico (incluye negaciones y demás operadores lógicos, en
el caso del ejemplo que estamos trabajando, hay 3 proposiciones simples, hay 2
negaciones y 5 operadores lógicos), por lo tanto, la tabla de verdad está
compuesta por 3 columnas de proposiciones simples, 2 de negaciones y 5
columnas de operadores lógicos.

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 V V
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: contradicción.

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

 CONCLUSIONES

Nos ayuda a desarrollar los procesos de pensamiento encontrando sentido a lo

que normalmente realizamos. Muchas veces utilizamos en nuestros
razonamientos oraciones y frases que suelen estudiarse en esta materia. Las
inferencia lógicas también cotidianas y las hacemos sin darnos cuenta.

REFERENCIAS BIBLIOGRAFICAS
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. Recuperado
de http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?
ppg=20&docID=3226457&tm=1529246259924

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

computación. (pp. 9-28). Ediciones Elizcom, Madrid. Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=12&docID=3199701&tm=1529335849013