Buenas, estoy cursando Discreta cuatrimestral y me esta costando bastante este punto del tp, ya van 2 veces que lo hago y las 2 mal y este martes es la entrega.
Este es el enunciado:

Logro sacar las premisas y armarlas pero no logro obtener una demostración coherente, por eso quería ver si alguien me podía ayudar un poco .

Esto es lo que hice que esta bien supuestamente:

P(X): X está aprobada.
Q(X): X está archivada.
R(X): X de clientes extranjeros .
S(X): X que tienen menos de 2 meses.
U = { x / x es una solicitud}
AP es una solicitud de Ariel Prado

∀ X: P(X) v ¬Q(X)
∀ X: R(X) ∧ S(X) ⇒ ¬P(X)
S(AP) ∧ Q(AP)

Ya se que debe ser muy tonto el ejercicio pero la verdad es q no logro entenderlo, hasta volví a ver la teoría de la unidad. Espero que alguien se cope, se lo agradecería mucho, saludos!