1

Tarea 1 – Proposiciones y Tablas de Verdad

Luis jose acuña mosquera

Curso 200611_850 – Pensamiento Lógico y Matemático

Grupo 850

Tutor
Laura Marroquín

Universidad Nacional abierta y a distancia-UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería
Ingeniería Industrial
Barranquilla
2020
2

INTRODUCCION

En este trabajo vamos a desarrollar actividades que incluyan Lógica

proposicional, tablas de verdad en proposiciones compuestas, álgebra
de proposiciones, tautologías contingencias, proposiciones
categóricas, cuantificadores. También haremos una presentación en
power poin sobre el concepto de conceptualización de cuantificadores
y hay daré ejemplo de lo antes mencionado.
3

OBJETIVOS

Comprender los conceptos fundamentales de la Cuantificador Universal

Afirmativo cuantificador universal cuantificador existencia cuantificador
existencial único
Definir el concepto de cuantificador existencial dar ejemplo para la
resolución de problemas Interpretar proposición y tabla de verdades
Identificar en forma clara y demostrar problemas de aplicaciones
aplicando

tabla de verdad aplicando Simulador lógica de la unad

4

Ejercicio 1: Conceptualización de Cuantificadores

Ejercicios que corresponden a la letra c

Presentación en power poin

DIAPOSITIVA 1
5
6
7
8

Ejercicio 2: Proposiciones y Tablas de verdad

Argumento:
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 del argumento: Se denomina enunciado o proposición

simple o atómica a aquel enunciado o proposición que no tiene conectores lógicos.

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:

(𝑝 ∧ 𝑞 ) ↔ (𝑟 ∧ 𝑠 )

 Tabla de verdad manual:

Para el desarrollo de la tabla de verdad se debe tener en cuenta las siguientes tablas:

p 𝐪 𝐩∧𝐪
V V V

V F F

F V F

F F F

Tabla 1: Conjunción.
9

𝐩 𝐪 𝐩↔𝐪
V V V

V F F

F V F

F F V

Tabla 2: Bicondicional.

Para la construcción de la tabla de verdad se debe tener en cuenta la siguiente formula:

𝑓𝑖𝑙𝑎𝑠 = 2𝑛

𝑛 = 𝑛ú𝑚𝑒𝑟𝑜 𝑑𝑒 𝑣𝑎𝑟𝑖𝑎𝑏𝑙𝑒𝑠.

Pera este ejercicio se tiene.

𝑓𝑖𝑙𝑎𝑠 = 2𝑛

𝑛=4

Se reemplaza:

𝑓𝑖𝑙𝑎𝑠 = 24

Se resuelven las operaciones:

𝑓𝑖𝑙𝑎𝑠 = 16
10

𝐩 𝐪 𝐫 𝐬 𝐩∧𝐪 𝐫∧𝐬 (𝒑 ∧ 𝒒) ↔ (𝐪 ∧ 𝐫)

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
Tabla 3: Tabla de verdad (𝑝 ∧ 𝑞 ) ↔ (𝑟 ∧ 𝑠).

Resultado de la tabla de verdad: CONTINGENCIA

Una proposición es una contingencia si no es ni verdadera ni falsa independientemente de

los valores de verdad de las proposiciones simples que la componen.
11

 Simulador lógica UNAD

Figura 1: Simulador lógica UNAD.

12

Ejercicio 3: Problemas de aplicación

 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: Estudio en la UNAD

q: Curso pensamiento lógico matemático

r: Estudio mi carrera en la UNAD

 Lenguaje natural de la expresión formal:

Si estudio en la UNAD entonces, curso pensamiento lógico matemático. Si y solo si,

estudio mi carrera en la UNAD

 Tabla de verdad manual:

Para el desarrollo de la tabla de verdad se debe tener en cuenta las siguientes tablas:

p 𝐪 𝐩→𝐪
V V V

V F F

F V V

F F V

Tabla 4: Condicional.

p 𝐪 𝐩↔𝐪
V V V

V F F

F V F

F F V
13

Tabla 5: Bicondicional.

Para la construcción de la tabla de verdad se debe tener en cuenta la siguiente formula:

𝑓𝑖𝑙𝑎𝑠 = 𝑛2

𝑛 = 𝑛ú𝑚𝑒𝑟𝑜 𝑑𝑒 𝑣𝑎𝑟𝑖𝑎𝑏𝑙𝑒𝑠.

Pera este ejercicio se tiene.

𝑓𝑖𝑙𝑎𝑠 = 2𝑛

𝑛=3

Se reemplaza:

𝑓𝑖𝑙𝑎𝑠 = 23

Se resuelven las operaciones:

𝑓𝑖𝑙𝑎𝑠 = 8

𝐩 𝐪 𝐫 𝐩→𝐪 [(𝒑 → 𝒒) ⟷ 𝒓]
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
Tabla 6: Tabla de verdad [(𝑝 → 𝑞) ⟷ 𝑟]
14

Resultado de la tabla de verdad: CONTINGENCIA

Una proposición es una contingencia si no es ni verdadera ni falsa independientemente de

los valores de verdad de las proposiciones simples que la componen.

 Simulador lógica UNAD

Figura 2: Simulador lógica UNAD

15

Conclusión

Finalmente, en este trabajo, logré identificar ejercicio propuesto, desarrolle de

forma no fácil el ítems al principio, me enfoque en los videos publicados
anteriormente en YouTube video en dé como desarrollar esta actividad el
cual me facilitó y despeje dudas en cuanto al tema cuantificador existencial
proporciones y tabla de verdades demostración de la validez del argumento se
me dificulta un poco el tema con la ayuda de los antes escrito logre el
desarrollar la actividad. disfrute haciéndolo ya que me entretuve y concentre
en terminarlo y poderlo entender en su totalidad para la entrega
16

OBJETIVOS

Comprender los conceptos fundamentales de la lógica proposicional y se

aplican para la resolución de problemas.
Interpretar problemas contextualizados y aplicar los elementos y
propiedades operativas de teoría de conjuntos.
Identificar en forma clara y demostrar la validez de argumentos, mediante
la aplicación correcta de las reglas de inferencia lógica, los
razonamientos por inducción y deducción en formulaciones de
situaciones específicas del mundo real.
17

Bibliografía

https://prezi.com/es/

https://www.slideshare.net/ppsmatematica/cuantificadores-37426724/2

https://www.google.com/search?q=power+point&oq=powe&aqs=chrome.1.69
i57j0l5j46j0.6854j0j7&sourceid=chrome&ie=UTF-8

200611_850_Tarea_1_LUIS JOSE