(TJ - SP 2017 - Escrevente Técnico Judiciário - Banca: VUNESP) Considerando falsa a afirmação “Se Ana é gerente, então Carlos é diretor”, a afirmação necessariamente verdadeira é: 

(A) Ana não é gerente, ou Carlos é diretor.
(B) Ana não é gerente, e Carlos não é diretor.
(C) Ana é gerente.
(D) Ana é gerente, e Carlos é diretor.
(E) Carlos é diretor.

Solução: nesta questão de Raciocínio Lógico do Concurso de 2017 para Escrevente Técnico Judiciário do TJ - SP, Banca examinadora: VUNESP, temos que usar a tabela verdade da condicional.

“Se Ana é gerente, então Carlos é diretor”   tem valor de Falso, de acordo com o enunciado.

A = "Ana é gerente"
B = "Carlos é diretor"

Para que a condicional seja Falsa, precisamos que A seja Verdadeiro e que B seja Falso.

A = Verdadeiro  
"Ana é gerente" Verdadeiro

B =  Falso    
"Carlos é diretor" Falso

Ou também, 

"Carlos não é diretor"  Verdadeiro

Analisando as opções de resposta:
(C) Ana é gerente.    Verdade!

Alternativa correta é a letra c).

Aproveite e continue praticando com uma lista de questões de matemática do TJ-SP Escrevente Técnico Judiciário.

Um forte abraço e bons estudos.