mostrar texto associado

A proposição R → S é verdadeira.