El Ejercicio B
El Ejercicio B
El Ejercicio B
p q r (p ˄ q) (q ∨ r) (p ˄ q)⇔ (q ∨ r)
V V V V V V
V V F V V V
V F V F V F
V F F F F V
F V V F V F
F V F F V F
F F V F V F
F F F F F V
conector símbolo
o v
Si entonces →
negación ¬
y ∧
Construir el lenguaje simbólico correspondiente al argumento.
(p ∨ q) → (¬p ∧ s)
p q s (p ∨ q)→(~p ∧ s)
v v v F
v v f F
v f v F
v f f F
f v v V
f v f F
f f v V
f f f V
deberá identificar e indicar las leyes de inferencia y las premisas utilizadas en cada
uno de los pasos para la demostración del argumento
Expresión simbólica
(∼r ᴧ s) → ∼r
P1 (∼r ᴧ s)
Conclusión : ∼r
Ley utilizada: simplificación
Expresión simbólica:
[ (p → q) ∧ (q →r) ∧ q ∧ (~r ∨ ~q)]→ (~p ᴧ ~r)
DEMOSTRACION
P1: (p → q) PREMISAS DADAS
P2: (q →r)
P3: q
Definir las proposiciones simples, tendrá la libertad de definirlas bajo una descripción
basada en un contexto académico o social. Las proposiciones simples deben contener
1. Sujeto, 2. Verbo y 3. Predicado.
comencé a estudiar una nueva carrera entonces en la unad las materias son virtuales y
en la unad las materias son virtuales entonces la internet comunica al mundo y en la
unad las materias son virtuales y la internet no comunica al mundo o en la unad las
materias no son virtuales entonces no comencé a estudiar una nueva carrera y la
internet no comunica al mundo