1063 - Tarea 1 - Laura Zamora

1
Unidad 1 – Tarea 1 Métodos para probar la validez de argumentos
Laura sofia zamora
Pensamiento Lógico y Matemático 200611
Grupo:1063
Director-Tutor
Leandro andres silva gomez
Universidad Nacional Abierta y a Distancia - UNAD
Escuela de Ciencias Básicas, Tecnología e Ingeniería
2024
2
Introducción
En este trabajo realizare los ejercicios de la letra A en el cual realizare ejercicios de lógica
proposicional, tablas de verdad, leyes de inferencia, guiándome de guías puestas en el entorno de
aprendizaje
Objetivos
General
Construir tablas de verdad
Específicos
Realizar tablas de verdad utilizando la lógica proposicional
Utilización e identificación de reglas de inferencia
Realización de lenguaje simbólico y natural

3
Ejercicio 1: Proposiciones y tablas de verdad
➢ Escribir la proposición compuesta del leguaje simbólico en un lenguaje natural.
A. p: La generación de gases de efecto invernadero producen el calentamiento.
q: Uno de los sectores que más producen gases de efecto invernadero es la generación
energética en centrales termoeléctricas.
r: Es necesario recurrir a fuentes de energía de bajas emisiones.
(p Ʌ q) → r
4
Respuesta/ la generación de gases de efecto invernadero produce el calentamiento Y uno
de los sectores que mas producen gases de efecto invernadero es la generación energética en
centrales termoeléctricas SI es necesario ENTONCES recurrir a fuentes de energía de bajas
emisiones
➢ 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.
Es una contingencia
P Q R pɅq (p Ʌ q) → r
V V V V V
V V F V F
V F V F V
V F F F V
F V V F V
F V F F V
F F V F V
F F F F V
5
Link vídeo explicativo ejercicio 1: explicación ejercicio 1.mp4
Ejercicio 2: Aplicación de la lógica fundamental
A. Si se utiliza la Realidad Virtual Aumentada (RA) en el ámbito médico para realizar
diferentes procedimientos ENTONCES la tecnología (RA) proporciona beneficios
significativos respaldados por investigaciones científicas Y la (RA) implementa imágenes
médicas tridimensionales para diagnósticos precisos.
➢ Definir cuáles son las proposiciones simples que intervienen en el argumento.
P: en el ámbito medico para realizar diferentes procedimientos entonces la tecnología
q: proporciona beneficios significativos respaldados por investigaciones científicas
r: implementa imágenes médicas tridimensionales para diagnósticos precisos

6
➢ Identificar los conectores que intervienen en el argumento.
Los conectores del argumento son: conjunción (∧) y condicional (→)
➢ Construir el lenguaje simbólico correspondiente al argumento.
(p→q) ∧ r
➢ Determinar si el argumento es una tautología, contradicción o contingencia a través de un
simulador de tablas de verdad.
la tabla de verdad es una contingencia
Ejercicio 3: Demostración de un argumento usando las reglas de la inferencia lógica
A. Expresión simbólica
7
B. [((r ∨ s) → s) ᴧ ~s]→ ~(r ∨ s)
P1:
P2:
Conclusión:
Ley utilizada:
Ejercicio 4: Problemas de aplicación.
Espacio para solución del ejercicio 4
Conclusiones
Identifico los lenguajes simbólicos y naturales de las proposiciones, realizo tablas de
verdad, y conozco la definición de cada tipo de argumento, la tautología, contradicción y
contingencia, realizo la utilización del simulador de la unad e identifico algunas premisas pero
sigo sintiendo que me falta mucho más aprendizaje

8
Referencias Bibliográficas
Castaño, C. (2022). Tablas de verdad.
[Objeto_virtual_de_aprendizaje_OVA]. Repositorio institucional
UNAD. https://repository.unad.edu.co/handle/10596/52744
Castaño, C., Victoria, D., Amaya, H., Vega, J. (2020). [Objeto
Virtual de Aprendizaje OVA]. Lógica Proposicional. Repositorio
Institucional UNAD.
https://repository.unad.edu.co/handle/10596/37836
Castaño, C. (2019). Leyes de la inferencia. [Objeto Virtual de
Aprendizaje OVA]. Repositorio Institucional UNAD.
https://repository.unad.edu.co/handle/10596/31590

1063 - Tarea 1 - Laura Zamora

Cargado por

Copyright:

Formatos disponibles

1063 - Tarea 1 - Laura Zamora

Cargado por

Información del documento

Título original

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

1063 - Tarea 1 - Laura Zamora

Cargado por

Copyright:

Formatos disponibles

1

Unidad 1 – Tarea 1 Métodos para probar la validez de argumentos

Laura sofia zamora

Pensamiento Lógico y Matemático 200611

Leandro andres silva gomez

Universidad Nacional Abierta y a Distancia - UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería

proposicional, tablas de verdad, leyes de inferencia, guiándome de guías puestas en el entorno de

Construir tablas de verdad

Realizar tablas de verdad utilizando la lógica proposicional

Utilización e identificación de reglas de inferencia

Realización de lenguaje simbólico y natural

Ejercicio 1: Proposiciones y tablas de verdad

➢ Escribir la proposición compuesta del leguaje simbólico en un lenguaje natural.

A. p: La generación de gases de efecto invernadero producen el calentamiento.

energética en centrales termoeléctricas.

r: Es necesario recurrir a fuentes de energía de bajas emisiones.

Respuesta/ la generación de gases de efecto invernadero produce el calentamiento Y uno

centrales termoeléctricas SI es necesario ENTONCES recurrir a fuentes de energía de bajas

si el resultado es una tautología, contingencia o contradicción.

Link vídeo explicativo ejercicio 1: explicación ejercicio 1.mp4

Ejercicio 2: Aplicación de la lógica fundamental

A. Si se utiliza la Realidad Virtual Aumentada (RA) en el ámbito médico para realizar

diferentes procedimientos ENTONCES la tecnología (RA) proporciona beneficios

significativos respaldados por investigaciones científicas Y la (RA) implementa imágenes

médicas tridimensionales para diagnósticos precisos.

➢ Definir cuáles son las proposiciones simples que intervienen en el argumento.

P: en el ámbito medico para realizar diferentes procedimientos entonces la tecnología

q: proporciona beneficios significativos respaldados por investigaciones científicas

r: implementa imágenes médicas tridimensionales para diagnósticos precisos

➢ Identificar los conectores que intervienen en el argumento.

Los conectores del argumento son: conjunción (∧) y condicional (→)

➢ Construir el lenguaje simbólico correspondiente al argumento.

➢ Determinar si el argumento es una tautología, contradicción o contingencia a través de un

simulador de tablas de verdad.

la tabla de verdad es una contingencia

Ejercicio 3: Demostración de un argumento usando las reglas de la inferencia lógica

B. [((r ∨ s) → s) ᴧ ~s]→ ~(r ∨ s)

Ejercicio 4: Problemas de aplicación.

Espacio para solución del ejercicio 4

Identifico los lenguajes simbólicos y naturales de las proposiciones, realizo tablas de

verdad, y conozco la definición de cada tipo de argumento, la tautología, contradicción y

sigo sintiendo que me falta mucho más aprendizaje

Castaño, C. (2022). Tablas de verdad.

[Objeto_virtual_de_aprendizaje_OVA]. Repositorio institucional

Castaño, C., Victoria, D., Amaya, H., Vega, J. (2020). [Objeto

Virtual de Aprendizaje OVA]. Lógica Proposicional. Repositorio

Castaño, C. (2019). Leyes de la inferencia. [Objeto Virtual de

Aprendizaje OVA]. Repositorio Institucional UNAD.

También podría gustarte