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
[Link]
[Link]
[Link]
i57j0l5j46j0.6854j0j7&sourceid=chrome&ie=UTF-8
200611_850_Tarea_1_LUIS JOSE
