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”.