Lógica Proposicional
Conectivo Se...então...
→ "Se estudo, então passo" (Se A, então B)
Sinônimos:
→ "Estudar é condição suficiente/é suficiente para passar" (A é suficiente para B)
→ "Passar é condição necessária/é necessário para estudar" (B é condição necessária para A)
________________________________________________________________________________________________
Na questão, a proposição é: "Se um funcionário obter 18 (ou mais pontos) no exame então ele receberá um aumento salarial".
Vamos considerar A "um funcionário obter 18 (ou mais pontos)" e B "receber um aumento salarial" .
- Alternativa A: "Não obter 18 (ou mais) pontos no exame é uma condição necessária para que um funcionário não receba aumento salarial". (Não A é condição necessária para não B) - Correto.
- Alternativa B: "Obter 18 (ou mais pontos) no exame é condição necessária para um funcionário receber aumento salarial". (A é condição necessária para B). - Errado, ou deveria ser "B é condição necessária para A" ou "A é condição suficiente para B".
- Alternativa C: "Receber aumento salarial é condição suficiente para que um funcionário tenha obtido 18 (ou mais) pontos no exame". (B é condição suficiente para A). - Errado, ou deveria ser "A é condição suficiente para B" ou "B é condição necessária para A".
- Alternativa D: "Receber aumento salarial é condição suficiente para um funcionário ter obtido menos de 18 pontos no exame". - Errado, pelo mesmo motivo de C e pelo uso do termo "menos", que não está inclusa na proposição.
Acho que é isso, não sei se deu pra entender, mas me corrijam se estiver errada!