Question

Buenas tardes, necesito que alguien me ayude a demostrar la validez del argumento mediante las leyes de inferencia lógica:

Lenguaje simbólico: [ (p →r) ∧ (∼r ∧ q)]→ ∼p

Proposiciones simples:
p= Carla es una persona muy inteligente.
q= Carla pierde el semestre en la universidad.
r= Carla tiene excelentes notas en sus trabajos.

Premisas:
P1: p →r
P2: ∼r ∧ q
Conclusión: ∼p
HELP!​

Answer 1

Respuesta:

Lo ciento mucho pero ese tema no me han enseñado