A previdência é um sistema que visa efetuar o controle e gerenciamento de concessão de aposentadorias, e para isso são necessárias obedecer algumas...

A previdência é um sistema que visa efetuar o controle e gerenciamento de concessão de aposentadorias, e para isso são necessárias obedecer algumas regras como idade, sexo e tempo de contribuição. Alguns advogados previdenciários utilizam softwares para auxiliar nos cálculos e verificar se o cliente de fato possui o direito de aposentadoria.

Para tal, ao se desenvolver uma aplicação com essas características, utiliza-se os conceitos encontrados na lógica matemática e computacional, para que seja possível, segundo as entradas, que o programa tome algumas decisões.

Entre as condicionas apesentadas temos uma frase que determina se a pessoa se enquadra no sistema previdenciário, em que: "Se for criança, então a pessoa não é um aposentado". Se considerarmos ser criança como a proposição C, e ser aposentado como a proposição A, qual das alternativas representa corretamente essa fórmula proposicional?