UNIDAD 1 LOGICA PROPOSICIONAL

LILIANA BRAVO CAMACHO

CODIGO: 1030602822

NUMERO DE GRUPO: 114

TUTORA: ELIZABETH PUENTES MONTAÑO

UNAD UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS DE LA SALUD

ADMINISTRACION EN SALUD

03 DE MARZO 2020
INTRODUCCIÓN

Con fundamentos en el material propuesto, se ha identificado una serie de conceptos y

metodologías aplicadas sobre las mismas, que nos permiten establecer una lógica simbólica

proposicional, sobre elementos del lenguaje natural que nos permite operar bajo unas reglas

comunes que terminan concluyendo en tautologías, contradicciones y contingencias.

OBJETIVOS

1. Identificar proposiciones, cuantificadores y conectores.

2. Entender la operación de las tablas de verdad.


EJERCICIO 1. CONCEPTUALIZACION DE CUANTIFICADORES

1) Cuantificador universal afirmativo

Link de la explicación en prezzi

https://prezi.com/p/oa_tmpkyy4oz/?present=1

EJERCICIO 2 PROPOSICIONES Y TABLAS DE VERDAD

A. Si la base de un triángulo mide 6 cm y su altura mide 10 cm. Por lo tanto, su área

mide 60 cm².

Se establecen tres proposiciones simples del argumento, así:

p: base del triángulo mide 6 cm

q: altura del triángulo mide 10 cm.

r: área del triángulo mide 60 cm².

La expresión del argumento en lenguaje simbólico es: (p ꓥ q)→r

Ahora para crear la tabla de verdad, se tendrá en cuenta que la cantidad de filas estará en

función de la fórmula: 2n. Sabiendo que n es igual a 3 (tres proposiciones simples),

entonces:

2n = 2³

2*2*2 = 8

La tabla de verdad tendrá 8 filas. Entonces:

P Q R (p ꓥ q) (p ꓥ q)→r
V V V V V
 V V F V F
V F V F V
V F F F V
F V V F V
F V F F V
F F V F V
F F F F V
RESULTADO DE TABLA DE VERDAD CONTINGENCIA

COMPROBACION CON EL SIMULADOR UNAD:

EJERCICIO 3. PROBLEMAS DE APLICACIÓN

A. Dada la forma simbólica: [~p→(q ꓥ r)]

El argumento propuesto sería: Si yo no obtengo un título universitario, entonces seré una

persona desempleada y seré una persona frustrada.

Se establecen tres proposiciones simples del argumento, así:

p: yo obtengo un título universitario

q: yo seré una persona desempleada

r: yo seré una persona frustrada

La expresión del argumento en lenguaje simbólico es: [~p→(q ꓥ r)]

Ahora para crear la tabla de verdad, se tendrá en cuenta que la cantidad de filas estará en

función de la fórmula: 2n. Sabiendo que n es igual a 3 (tres proposiciones simples),

entonces:

2n = 2³

2*2*2 = 8

La tabla de verdad tendrá 8 filas. Entonces:

P q r ~P (p ꓥ q) [~p→(q ꓥ r)]
V V V F V V
V V F F F V
V F V F F V
V F F F F V
F V V V V V
F V F V F F
F F V V F F
F F F V F F
RESULTADO DE TABLA DE VERDAD CONTINGENCIA
Comprobación con el simulador UNAD:
CONCLUSIONES
Una vez asimilados los contenidos programáticos y efectuados los ejercicios propuestos he

logrado apropiarme y aplicar los elementos simbólicos operados lógicamente con

fundamento en el lenguaje natural.

BIBLIOGRAFIA

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://ebookcentral-

proquest-com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?

docID=3199701&ppg=12

Universidad Nacional Abierta y a Distancia. (02 de septiembre de 2019). José Alfonso

Olaya Benavides. Proposiciones con cuantificadores [video]. Youtube.

https://www.youtube.com/watch?v=4wXSozu4FEs.

Normas APA. (n.d.). Normas APA Séptima Edición. https://normas-apa.org/

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 https://ebookcentral-proquest-

com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3226457&ppg=20

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://ebookcentral-

proquest-com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?

docID=3199701&ppg=12
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://ebookcentral-proquest-

com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?docID=3199701&ppg=109