Report copyright - Lógica Proposicional Resolução. Notação na forma de conjuntos H=(Pv QvR)^(Pv Q)^(PvP) Representação na forma de conjuntos: H={[P, Q,R],[P, Q],[P]}
Please pass captcha verification before submit form
Please pass captcha verification before submit form