Expresión simbólica: [(p∨q)∧(p→r)∧(q→s)⋀(¬r)]→s
Premisas:
P1: p∨q
P2: p→r
P3: q→s
P4: ¬r
Conclusión: s
Definir las proposiciones simples, tendrá la libertad de definiría bajo una descripción basada en un contexto, el que se solicita es un contexto académico.
Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.
Demostración de la validez del argumento mediante las leyes de la inferencia lógica
Respuestas a la pregunta
Respuesta.
Una proposición es un conjunto de palabras bien estructuradas que permite tener un sentido lógico, de tal manera que se puede establecer una información o un proceso. Estas pueden ser simples o compuestos, en nuestra vida cotidiana usamos siempre compuestas, sin embargo para estudiarlas comenzamos desde lo básico.
Por ejemplo, tenemos que en una escuela se están estudiando los números primos, el profesor indica, que el 9 y 27 son factores primos. Entonces Oscar indaga y dice: el número 1 es natural y también es primo.
En este ejemplo tenemos dos proposiciones simples fundamentales.
El 9 y 27 son factores primos.
El número 1 es natural y también es primo.
Expresión simbólica: [(p→q)∧(q→r)⋀(¬r)]→(¬p)
Premisas:
P1: p→q
P2: q→r
P3: ¬r
Conclusión: ¬p
Premisas:
P1: p∨q
P2: p→r
P3: q→s
P4: ¬r