Dar un comprobante de dos columnas de la deducción(P∨Q)⇒(R&S), (R∨S)⇒(P&Q), ∴P⇒Q P" label="pr.basicproofargPQRS-R->P">[Pr...Dar un comprobante de dos columnas de la deducción(P∨Q)⇒(R&S), (R∨S)⇒(P&Q), ∴P⇒Q P" label="pr.basicproofargPQRS-R->P">[Pr.basicproofargPQRS-R->P] Dar un comprobante de dos columnas de la deducción(R∨S)⇒(P∨Q), ¬Q, \ ∴R⇒P