mostrar texto associado

Se a proposição R for falsa e se a proposição composta (P∧Q)→(~QVR) for verdadeira, então a proposição P será verdadeira.