Está en la página 1de 14

1

UNIDAD1 LÓGICA PROPOSICIONAL

TAREA1 PROPOSICIONES Y TABLAS DE LA VERDAD

ESTUDIANTE: BELCY LOPEZ MENDEZ


CODIGO:200611
NUMERO DE GRUPO: 1053

TUTORA: NINI JOHANNA VARGAS

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA(UNAD)


PROGRAMA DE CONTADURIA PUBLICA
PENSAMIENTO LOGICO MATEMATICO
FLORENCIA-CAQUETÁ
2020
2
UNIDAD1 LÓGICA PROPOSICIONAL

INTRODUCCION

He realizado este trabajo, para evidenciar los conocimientos adquirido en esta primera tarea del
curso, por ello se encontrarán las diapositivas que diseñe en donde explico que es un
cuantificador universal positivo y doy 3 ejemplos, de la misma manera encontraran dos ejercicios
donde se puede observar el desarrollo e interpretación del tema de las tablas de la verdad.
Cuantificador universal positivo, un cuantificador universal positivo es aquella proposición
simple que siempre va en positivo, por ejemplo, el ejercicio siempre es saludable, en lógica
proposicional se expresaría (∀x), siendo (x) ejercicio.
proposiciones simples, 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 que método utilizar para
definir si las premisas son verdaderas o falsas.
3
UNIDAD1 LÓGICA PROPOSICIONAL

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.
4
UNIDAD1 LÓGICA PROPOSICIONAL

Ejercicio 1: Conceptualización de Cuantificadores

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.
5
UNIDAD1 LÓGICA PROPOSICIONAL
6
UNIDAD1 LÓGICA PROPOSICIONAL
7
UNIDAD1 LÓGICA PROPOSICIONAL
8
UNIDAD1 LÓGICA PROPOSICIONAL

Ejercicio 2: Proposiciones y Tablas de verdad

D: si las películas de marvel han sido las más taquilleras en los últimos años entonces, la gran
mayoría de las personas las han visto y si la gran mayoría de las personas no las han visto
entonces The avengers no es una película taquillera.

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:

 Definir las proposiciones simples del argumento.


P: las películas de marvel han sido las más taquilleras en los últimos años
q: la gran mayoría de las personas no las han visto
r: The avenger no es una película taquillera

 Definir la expresión del argumento en lenguaje simbólico o formal.


(p –>q) ^ ( q → r)
23 = 2x2=4x2=8
Fórmula para hallar el resultado; una regla de tres simple, (2n)

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje simbólico
(El estudiante encontrará la Guía para el uso de recursos educativos Simulador Lógica UNAD,
en el Entorno de Aprendizaje Práctico, así como el link de acceso al recurso)
9
UNIDAD1 LÓGICA PROPOSICIONAL

RESULTADO: TABLA DE CONTINGENCIA

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel o
foto del desarrollo manual).


10
UNIDAD1 LÓGICA PROPOSICIONAL

Ejercicio 3: Problemas de aplicación

A continuación, encontrará proposiciones compuestas en lenguaje simbólico (argumento) para el


desarrollo del ejercicio 3:

D. {𝑝 ⟷ [𝑞 ∧ (𝑟 ∨ 𝑠)]}.

A partir de la proposición compuesta en lenguaje simbólico que haya seleccionado deberá:

 Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción basada en
un contexto, el que se solicita es un contexto académico.

p: la profesora enseña en la universidad


q: los estudiantes pierden materias
r: la profesora les pone ejercicios.
s: la profesora les hace la recuperación

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural. Las


proposiciones simples deben ser de autoría de cada estudiante.

la profesora enseña en la universidad si los estudiantes pierden materias Y la profesora les


pone ejercicios o les hace la recuperación.

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico.
11
UNIDAD1 LÓGICA PROPOSICIONAL

TABLA CONTINGENCIA

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel o
foto del desarrollo manual).
12
UNIDAD1 LÓGICA PROPOSICIONAL

TABLA: CONTINGENCIA
13
UNIDAD1 LÓGICA PROPOSICIONAL

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í).
14
UNIDAD1 LÓGICA PROPOSICIONAL

REFERENCIA

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


(pp. 106 - 112). Ediciones Elizcom, Madrid.

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

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

También podría gustarte