Sei sulla pagina 1di 4

1

PENSAMIENTO LOGICO Y MATEMATICO

Aporte 3-Tarea 3- Clasificación de proposiciones categóricas y Métodos para probar

validez de argumentos

Daniel Felipe Acosta Arbeláez

CC: 1122142817

Paulo Andrés Vélez

Universidad Nacional Abierta Y a Distancia (U.N.A.D), Pensamiento Lógico Y Matemático,

Escuela De Ciencias Básicas, Tecnología e Ingeniería (ECBTI), Ingeniería Industrial.

Grupo: 200611_1181

Acacias-Meta

28/03/2020
2
PENSAMIENTO LOGICO Y MATEMATICO

Ejercicio 3: Problemas de aplicación

Descripción del ejercicio

- A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un

argumento para el desarrollo del ejercicio 3:

A. Expresión simbólica: [ ( p → q ) ∧ ( p ∨ s ) ∧ ( ¬ s ∧¬ q )] → q

Premisas:

P1: ( p →q )

P2:( p ∨s )

P3: ( ¬ s ∧¬ q )

Conclusión: q

A partir de la expresión simbólica seleccionada, el estudiante 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: a felipe le gusta el curso de pensamiento lógico

q: participa en el b-learning

s: curso de cálculo diferencial

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

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


3
PENSAMIENTO LOGICO Y MATEMATICO

Lenguaje natural:

A felipe le gusta el curso de pensamiento lógico entonces participara en el b-learning. A felipe

le gusta el curso de pensamiento lógico o el curso de calculo diferencial y como a felipe no le

gusta el curso de calculo diferencial. No participara en el b-learning. Por lo tanto, entonces va a

participar en el b-learning.

-Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje simbólico
4
PENSAMIENTO LOGICO Y MATEMATICO
-Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word, Excel o

foto del desarrollo manual).

El

resultado es una tautología

-Demostración de la validez del argumento mediante las leyes de la inferencia lógica

Es valida por el modus ponens

P1: ( p →q )

P2:( p ∨s )

P3: ( ¬ s ∧¬ q )

Conclusión: q

Potrebbero piacerti anche