👤

(P ^ Q) -> R
P ^ Q
P -> Q
~ (P v Q)