mostrar texto associado

A proposição S é uma tautologia.