Se João é taxista, então comprou um carro adequado. João...

O conectivo se, então (->) é só indo, não existe a volta.

Ainda que João não tenha comprado o carro adequado, ele poderá ser taxista.

O conectivo -> é condicional, ou seja, se joão é motorista então comprou um carro adequado, está correto. - Mas se João não comprou um carro adequado, isso não o impede de ser taxista, portanto, ele pode taxista pois o conectivo -> é apenas condicional e não bicondicional.

Para que a resposta correta fosse a letra C seria o conectivo que é bicondicional, ou seja, indo e voltando... se João não comprou o carro adequado, não é taxista.

(RondinelleWEB)
Alternativa C
Questão onde podemos usar a equivalência contra positiva: (p -> q ~q -> ~p)
Temos:
Se João é taxista, então comprou um carro adequado.

Fazendo a contra positiva fica:
Se João não comprou um carro adequado, então João não é taxista.

Analisando a resposta me parece que a questão foi mal elaborada.
Imagino que ele queria saber o valor lógico do antecedente para que a proposição toda fosse de valor lógico verdadeiro.
No condicional se o consequente é falso, o antecedente necessariamente tem que ser falso para que a proposição seja verdadeira.
Dessa forma seria correta a letra C.

No caso do "SE..., ENTÃO" é condicional
nesse caso tira o "se..., então" e coloca o "e" repeti a primeira parte e nega a segunda.

na frase: Se João é taxista, então comprou um carro adequado. João não comprou um carro adequado

ficaria: João é taxista, e não comprou um carro adequado. Logo João é taxista resposta letra C

No caso do Se... Então... : Repete a primeira, põe o conectivo "e" e nega a segunda!
Ficando assim: João é taxista e não comprou um carro adequado.

Porém João é taxista (Letra D) e o exercício tá dizendo que a resposta correta é João não é taxista (Letra C).

Se João é taxista, então comprou um carro adequado.

podemos escrever que P -> Q, é uma CONDICIONAL.

"TODA E QUALQUER PROPOSIÇÃO IMPOSTA PELO AUTOR PODEMOS AFIRMA QUE É VERDADE", logo:

P -> Q = VERDADE 

ASSIM COMO ELE DIZ SER VERDADE QUE "JOÃO NÃO COMPROU UM CARRO ADEQUADO",

Se ~Q = VERDADE , logo Q= FALSO.

Portanto teremos P -> FALSO = VERDADE.

Para que isso seja VERDADE na TABELA DO SE, ENTÃO. A Proposição P Só PODE SER FALSO, Pois F -> F = VERDADE.

P: JOÃO É TAXISTA É FALSO.

LOGO ~P: JOÃO NÃO É TAXISTA. É VERDADEIRA. 

LETRA C.

ATT.