Imagem de fundo

A proposição S é uma tautologia.