Importante Tarea 1 Logica Matematica Unad

Tarea 1 Logica matemática
UNAD
Lógica Matemática
Universidad Nacional Abierta y a Distancia
16 pag.
Document shared on www.docsity.com

Downloaded by: natalia-alejandra-martinez-pujimuy (natalia.alejandra.martinez@correounivalle.edu.co)
TAREA 1: PROPOSICIONES Y TABLAS DE VERDAD
ESTUDIANTE: ADRIANA MARCELA GONZÁLEZ RODRÍGUEZ

CÓDIGO: 1022436327
GRUPO: 1593
TUTORA: AURA ELISA QUESADA
UNIVERSIDAD NACIONAL ABIAERTA Y A DISTANCIA

PROGRAMA LICENCIATURA EN PEDAGOGÍA INFANTIL
CURSO PENSAMIENTO LÓGICO MATEMÁTICO
FLORENCIA, CAQUETÁ
SEPTIEMBRE 2019

INTRODUCCIÓN
Este trabajo se realiza para evidenciar los conocimientos que he adquirido en este
primer trabajo del curso, por ello se van a encontrar las diapositivas que diseñe en
donde se explica qué es un cuantificador universal positivo y se dan algunos
ejemplos, de igual manera se van a encontrar dos ejercicios dónde se pueden
evidenciar el desarrollo y entendimiento acerca del tema de las tablas de verdad.
Un cuantificador universal positivo es aquella proposición simple que siempre va

en positivo, por ejemplo, todas las verduras son saludables, en lógica
proposicional se expresaría (∀x), siendo x verduras.
Las proposiciones simples pueden convertirse en proposiciones compuestas a

través de conectores como y, o, entonces, si y solo si, entre otros que veremos a
lo largo del curso. Por medio de estos conectores podemos definir qué método
utilizar para definir si las premisas son verdaderas o falsas.

OBJETIVOS
Objetivo general:
 Comprender los conceptos fundamentales de la lógica proposicional y

aplicarlos para la resolución de problemas.
Objetivos específicos:
 Definir qué es un cuantificador y cuáles son los cuantificadores que existen

y diferenciarlos.
 Expresar proposiciones compuestas en lenguaje simbólico o formal.
 Generar tablas de verdad manualmente y comprobar el resultado con el

simulador lógico de la UNAD.

SÍMBOLO
En lógica, se usa el símbolo ∀.
Quiere decir que "para todo"

elemento de un cierto conjunto
se cumple la proposición dada.

Sea A una expresión y sea x
una variable. Si deseamos
indicar que A es verdadero
para todos los posibles valores
de x, escribiremos (∀x) A• (∀
x) es cuantificador •
El cuantificador universal
indica que algo es cierto
para todos los individuos

FRASES
• Todos x - todo x
• Para cada x
• Cada x
• Cada uno x
• Siempre que x
• Para todo x

EJEMPLO
Cada número positivo es mayor que cero
5 es un número positivo
9 es un número positivo
Por lo tanto, 5 y 9 son mayores que cero
Se define:
Px ↔ x es un número positivo

EJEMPLO
Expresar “todos los celulares sirven para llamar” en cálculo de
predicados.
Solución: Hallar primero el ámbito del cuantificador universal,
que es y se define como “Si x es un gato, entonces x tiene
cola”
Cx ↔ x es un celular
Cl ↔ x sirve para llamar
(∀x) Cx → Cl

EJEMPLO
Expresar “toda manzana es una fruta” en cálculo de predicados.
Solución: Hallar primero el ámbito del cuantificador universal,
que es y se define como “Si x es una manzana, entonces x es
una fruta”
Mx ↔ x es una
manzana
Fx ↔ x es Fruta
(∀x) Mx → Fx

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.
Proposiciones simples
p: el vehículo de Gabriela necesita mantenimiento.
q: ella lo lleva al concesionario.
-q: ella no lo lleva al concesionario
r: lo lleva al taller de Fernando.
Lenguaje simbólico o formal

SI p ENTONCES q pq
SI NO q ENTONCES r -q r
(p  q) ∨ (-q  r)
TABLA DE VERDAD CON EL SIMULADOR LÓGICA UNAD

TABLA DE VERDAD MANUAL
p q -q r Pq -q  r (p  q) ∨ (-q  r)
V V F V V V V
V V F F V V V
V F V V F V V
V F V F F F F
F V F V V V V
F V F F V V V
F F V V V V V
F F V F V F V
Resultado de la tabla: CONTINGENCIA

Ejercicio 3
Lenguaje simbólico o formal
(p ∧ q) → (r ⋀ s)
Proposiciones simples
p: hago los ejercicios de matemáticas.
q: paso la materia.
r: mi papá me felicitará.
s: me comprará un auto
Lenguaje natural
Si hago los ejercicios de matemáticas y paso la materia entonces mi papá me
felicitará y me comprará un auto.
TABLA DE VERDAD CON EL SIMULADOR LÓGICA UNAD

TABLA DE VERDAD MANUAL
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 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: CONTINGENCIA

Conclusiones
 Las tablas de la verdad se pueden clasificar como; tautología, proposición

compuesta que es cierta para todos los valores de verdad; es contradicción,
cuando la proposición compuesta es falsa para todos los valores de verdad;
y contingencia cuando muestra resultados de verdad y falso en las
diferentes líneas de la tabla.
 Toda expresión realizada en lenguaje natural puede convertirse en lenguaje
formal o simbólico y toda expresión en lenguaje simbólico puede pasarse al
lenguaje natural.
 Todas las proposiciones simples se pueden convertir en proposiciones
compuestas a través de conectores lógicos, entre ellos encontramos;
negación (no), conjunción (y), disyunción (o), condicional (si, entonces),
bicondicional (si y solo sí)

REFERENCIA
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
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&docI
D=3199701&tm=1529510366591
Moscote, H. (2016). Aplicación de las tablas de verdad en el álgebra de

proposiciones, [Video]. Recuperado de http://hdl.handle.net/10596/7961
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


Importante Tarea 1 Logica Matematica Unad

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Importante Tarea 1 Logica Matematica Unad

Cargado por

Copyright:

Formatos disponibles

Tarea 1 Logica matemática

Document shared on www.docsity.com

ESTUDIANTE: ADRIANA MARCELA GONZÁLEZ RODRÍGUEZ

TUTORA: AURA ELISA QUESADA

UNIVERSIDAD NACIONAL ABIAERTA Y A DISTANCIA

Document shared on www.docsity.com

Un cuantificador universal positivo es aquella proposición simple que siempre va

Las proposiciones simples pueden convertirse en proposiciones compuestas a

Document shared on www.docsity.com

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

 Definir qué es un cuantificador y cuáles son los cuantificadores que existen

 Expresar proposiciones compuestas en lenguaje simbólico o formal.

 Generar tablas de verdad manualmente y comprobar el resultado con el

Document shared on www.docsity.com

Quiere decir que "para todo"

Document shared on www.docsity.com

Document shared on www.docsity.com

Document shared on www.docsity.com

Document shared on www.docsity.com

Document shared on www.docsity.com

Document shared on www.docsity.com

Lenguaje simbólico o formal

TABLA DE VERDAD CON EL SIMULADOR LÓGICA UNAD

Document shared on www.docsity.com

Resultado de la tabla: CONTINGENCIA

Document shared on www.docsity.com

Lenguaje simbólico o formal

TABLA DE VERDAD CON EL SIMULADOR LÓGICA UNAD

Document shared on www.docsity.com

Resultado de la tabla: CONTINGENCIA

Document shared on www.docsity.com

 Las tablas de la verdad se pueden clasificar como; tautología, proposición

Document shared on www.docsity.com

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

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

Moscote, H. (2016). Aplicación de las tablas de verdad en el álgebra de

Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y

Document shared on www.docsity.com

También podría gustarte