Sie sind auf Seite 1von 12

PENSAMIENTO LOGICO MATEMATICO

MARILYN ELENA PALMA GALLARDO

TEMA: PROPOSICIONES Y TABLA DE LA VERDAD

TUTOR

JOSE CARLOS BERMEJO

GRUPO: 2006_234

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

VALLE DEL GUAMUEZ (PUTUMAYO)

MARZO DEL 2019


INTRODUCCION

EN EL PESENTE TRABAJO PROFUNDIZAREMOS EN LA UNIDAD 1 DE LA TAREA 1 LA LOGICA


PROPOSICIONAL, TABLAS DE VERDAD DE PROPOSICIONES COMPUESTAS, ALGEBRA DE
PROPOSICIONES, TAUTOLOGIAS, CONTRADICCIONES Y CONTINGENCIAS, PROPOSICIONES
CATEGORICAS, CUANTIFICADORES.

EL CUAL PONDREMOS EN PRACTICA, TAMBIEN COMO PODEMOS ASEGURAR LA VALIDEZ DE UNA


CONCLUCION CON AYUDA DE LAS TABLAS DE VERDAD, APOYADOS CON CONECTORES LOGICOS.

ESTE TRABAJO NOS SUMERGE EN EL MUNDO DE LA LOGICA MATEMATICA, ALGO DE LO QUE A


DIARIO HACEMOS USO SIN DARNOS CUENTA; ES INTERESANTE RETOMAR LOS CONCEPTOS QUE
NOS AYUDAN A ESTRUCTURAR DE UNA MANERA MUY PARTICULAR LAS PROPOSICIONES, LA
APLICACION DE LOS ENUNCIADOS LAS TABLAS DE VERDAD. APARTIR DEL APRENDIZAJE DE LA
LOGICA MATEMATICA OBTENDREMOS UN ESTUDIO MATEMATICO DE LA LOGICA Y EN LA
APLICACION DE ESTE ESTUDIO A OTRAS AREAS DE LAS MATEMATICAS.

SE REALIZAN LOS EJERCICIOS EN LOS CUALES SE PONGA EN PRACTICA TODO LO APRENDIDO EN


LA RESPECTIVA UNIDAD Y ASI DEMOSTRAR LA VALIDEZ DE UN ARGUMENTO POR MEDIO DE ESTAS
HERRAMIENTAS LOGICAS.
OBJETIVOS

 COMPRENDER EL CONCEPTO DE PROPOSICION Y EN LA FORMA EN QUE SE PUEDEN


ELABORAR PROPOSICIONES COMPUESTAS USANDO CORRECTOS LOGICOS.

 EVALUAR PROPOSICIONES LOGICAS POR MEDIO DE TABLAS DE VERDAD

 REPRESENTAR ENUNCIADOS EN FORMA DE TEOREMA USANDO SIMBOLOGIA LOGICA

 APRENDER A UTILIZAR DE MANERA CORRECTA LA LOGICA MATEMATICA EN LA VIDA


DIARIA Y NO SOLO QUEDARSE CON UN SIMPLE CONCEPTO

 OBTENER MEJORES CONOCIMIENTOS DE CADA UNO DE ESTOS TEMAS QUE SERAN DE


SUMA IMPORTANCIA EN NUESTRA VIDA FUTURA

 APRENDER A RESOLVER EJERCICIOS DE LOGICA MATEMATICA UTILIZANDO EL METODO


DIRECTO, CONTRADICCION, TAUTOLOGIA, CONTINGENCIA Y TABLAS DE VERDAD.
A CONTINUACION ADJUNTO DESARROLLO DE LOS 3 EJERCICIOS

EJERCICIO 1:
EJERCICIO 2

 ARGUMENTO SELECCIONADO

D. Juan juega básquet por hobby o practica tenis de forma profesional. Si practica
tenis de forma profesional entonces juega por más de tres horas diarias y quema
muchas calorías.

 DEFINIR LAS PROPOSICIONES SIMPLES DEL ARGUMENTO.

p: Juan juega básquet por hobby


q: practica tenis de forma profesional
r: juega por más de tres horas diarias
s: quema muchas calorías

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

(pvq) juan juega básquet por hobby o practica tenis de forma profesional

q→r^s si practica tenis de forma profesional entonces juega por mas de tres horas
diaria y quema muchas calorías

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

Generar una tabla de verdad manualmente a partir del lenguaje simbólico
y determinar si el resultado es una tautología, contingencia o contradicción.

p q r s pvq q→r r^s q→r^s


V V V V V V V V
V V V F V V F F
V V F V V F F F
V V F F V F F F
V F V V V V V V
V F V F V V F V
V F F V V V F V
V F F F V V F V
F V V V V V V V
F V V F V V F F
F V F V V F F F
F V F F V F F F
F F V V F V V V
F F V F F V F V
F F F V F V F V
F F F F F V F V

El resultado obtenido de la tabla de la verdad es una “CONTIGENCIA” ya que aquel


resultado de la preposición puede ser verdadera o falsa según las preposiciones que la
compongan

EJERCICIO 3

 proposición compuesta de lenguaje simbólico escogida

D. (𝑝∧𝑞)→(𝑞 ∨¬𝑟)

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

si Marilyn realiza los trabajos de pensamiento lógico matemático y participa en el foro
colaborativo saca buena nota, entonces Marilyn participa en el foro colaborativo saca
buena nota o no realiza ninguna de las actividades ella perderá la materia
p: si Marilyn realiza los trabajos de pensamiento lógico matemático
q: participa en el foro colaborativo saca buena nota
r: no realiza ninguna de las actividades ella perderá la materia

(𝑝∧𝑞): si Marilyn realiza los trabajos de pensamiento lógico matemático y participa en


el foro colaborativo saca buena nota

(𝑞 ∨¬𝑟) Marilyn participa en el foro colaborativo saca buena nota o no realiza ninguna
de las actividades ella no perderá la materia

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

p q r (𝑝∧𝑞) ¬𝑟 (𝑞 ∨¬𝑟) (𝑝∧𝑞)→(𝑞 ∨¬𝑟)


V V V V F V V
V V F V V V V
V F V F F F V
V F F F V V V
F V V F F V V
F V F F V V V
F F V F F F V
F F F F V V V

 Definir si el argumento seleccionado inicialmente es una tautología,


contradicción o contingencia

EL ARGUMENTO SELECCIONADO ES TAUTOLOGIA porque es verdadera para todos los valores de


la verdad
CONCLUSIONES.

Con este trabajo se logra comprender el manejo de una nueva herramienta,


como lo es la tabla de la verdad, la cual muestra el valor de una proposición
conpuesta, para cada combinación de verdad que se pueda asignar.

Gracias a las actividades propuestas se logra identificar y comprender los


elementos esenciales en la lógica proposicional y la forma de aplicarlos para
resolver problemas cotidianos por merdio de tablas de verdad

BIBLIOGRAFIA.

 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/re
ader.action?ppg=20&docID=3226457&tm=152924625992
4

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


de sistemas y computación. (pp. 9-28). Ediciones Elizcom,
Madrid. Recuperado
dehttps://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/re
ader.action?ppg=12&docID=3199701&tm=152933584901
3

 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/r
eader.action?ppg=109&docID=3199701&tm=1529510366
591
 Moscote, H. (2016) Aplicación de las tablas de verdad en el
álgebra de proposiciones, [Vídeo]. Recuperado
de http://hdl.handle.net/10596/7961