mostrar texto associado

A proposição "Se o país é próspero, então todos os trabalhadores têm emprego" pode ser representada simbolicamente por Q → S.