b. Expresión simbólica:
[
(
p∧¬q
)
∧
(
p→ ¬ r
)
∧
(
q∨¬ s
)
]
⟶
(
¬r ∧¬ s
)
Premisas:
P1:
p∧¬ q
P2:
p →¬ r
P3:
q∨¬ s
Conclusión:
¬ r ∧¬ s
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
= lunes es un día de la semana
q
=la semana tiene siete días.
r
=un año tiene muchas semanas
s
=un mes tiene cuatro semanas
-Remplazar las variables expresadas simbólicamente y llevarlas al
lenguaje natural. Las proposiciones simples deben ser de autoría de
cada estudiante.
[
(
p∧¬q
)
∧
(
p→ ¬ r
)
∧
(
q∨¬ s
)
]
⟶
(
¬r ∧¬ s
)
Lunes es un día de la semana y la semana no tiene siete días. si lunes es un
día de la semana entonces un año no tiene muchas semanas. Si la semana
tiene siete días o un mes no tiene cuatro semanas por lo tanto un año no
tiene muchas semanas y un mes no tiene cuatro semanas.
