Ejercicio 2 Unidad 1 - Lina Sarai Burbano Muñoz

 

Ejercicio 2. A continuación, se encuentra el lenguaje simbólico de expresiones que representan algunas leyes de inferencia. Expresión simbólica:

(r  ∨ s )

r  s

 

¬ r 

(r  ∧ s )

s

(r → s )  

r  s

  Nombrar la ley de inferencia que representa cada expresión: r  s

 ; Adjunción (A)

(r  ∧ s ) (r  ∨ s ) ¬ r 

; Modus Tollendo Ponens (MTP)

s

(r → s) r 

; Modus Ponendo Ponens (PP)

s

Definir las proposiciones simples, tendrá la libertad de definirlas bajo un contexto, el que se solicita es un contexto académico (puede (pued e usar las mismas proposiciones simples en cada una de las tres expresiones simbólicas.  r: Sarai estudia psicología en la UNAD

r  s

 

(r  ∧ s )

( r ∨ s ) ¬ r  s

(r → s) r  s

 s: Sarai estudia agronomía en la UNAD  r ∧ s: Sarai estudia psicología y agronomía en la

UNAD

 r

∨ s:

Sarai estudia psicología o estudia agronomía en la UNAD    ¬ r : Sarai no estudia psicología en la UNAD

 r: Sarai estudia psicología en la UNAD  s: Sarai estudia en la UNAD     

r → s :

estudia psicología entonces Sarai estudioSi enSarai la UNAD