Raciocínio Lógico — proposições

A negação da proposição Se um trabalhador tinha qualidade

de segurado da previdência social ao falecer, então seus

dependentes têm direito a pensão é logicamente equivalente

à proposição Um trabalhador tinha qualidade de segurado da

previdência social ao falecer, mas seus dependentes não têm

direito a pensão.