491340174-Ejercicio-2-Unidad-1-nombre-Del-Estudiante

Vista previa del material en texto

Ejercicio 2: Identificación de las reglas de la inferencia lógica 
� A continuación, encuentra el lenguaje simbólico de expresiones que
representan algunas leyes de inferencia. 
� B. Expresión simbólica 
� Nombrar la ley de inferencia que representa cada expresión 
simbólica. 
1. a  b (P)
2. a (P)
3. ¬b (MP 1,2)
1. ¬p  q
2. q 
3. p (MT 1,2)
1. p v q
2. p  r
3. q  s
4. r v s (DS 1,2)
MP = Modus Ponens
MT = Modus Tollens 
DS = Silogismo Disyuntivo
Definir las proposiciones simples, tendrá la libertad de definirlas bajo una 
descripción basada en un contexto, el que se solicita es un contexto 
académico (puede usar las mismas proposiciones simples en cada una de
las 3 expresiones simbólicas seleccionadas) 
a = Los gatos son independientes
b = Los perros son obedientes
1. Si Los gatos son independientes entonces Los perros no son 
obedientes
2. Los gatos son independientes
3. Los perros no son obedientes
p = El año 2020 fue de cuarentena
q = El año 2021 es de cambios
1. Si El año 2020 no fue de cuarentena entonces El año 2021 no es de
cambios
2. El año 2021 es de cambios
3. El año 2020 fue de cuarentena
p = El año 2020 fue de cuarentena
q = El año 2021 es de cambios
r = El año 2019 era maravilloso
s = El año 2022 es de expectativa
1. O El año 2020 fue de cuarentena o El año 2021 es de cambios
2. Si El año 2020 fue de cuarentena entonces El año 2019 era 
maravilloso
3. Si El año 2021 es de cambios entonces El año 2022 es de 
expectativa
4. O El año 2019 era maravilloso o El año 2022 es de expectativa