P: Carlos está ingenieria de sistemas

Q: Carlos estudia el curso de lógica

R: La UNAD imparte la carrera de ingeniería de sistemas

S: Carlos está en Lic en MAtematicas.

P1: r  ¬q (Si la UNAD imparte la carrera de ingeniería de sistemas, ent carlos no estudia el curso
de lógica

P2: P v S: Carlos está ingeniería de sistemas o Carlos esta Lic. En Matemáticas.

P3: Q^P: Carlos estudia el curso de lógica y esta en ingeniería de sistemas

C: ¬ R: La UNAD NO imparte la carrera de ingeniería de sistemas

P1: R  ¬Q

P2: P v S

P3: Q^P

C: ¬ R

SOLUCION

P4: Q  SIMPLIFICACION P3
P5: P  SIMPLIFICACIO P3

P6: ¬R  MTT P2 Y P4