Para esse caso temos um Modus ponens. Os modus ponens é uma forma de argumento válido e uma das regras de inferência na lógica proposicional. Pode ser resumido como "se P implica Q, e se Pé verdade; então Q também é verdadeiro. " A história do modus ponens remonta à antiguidade. O modus ponens pode ser formalmente estabelecido como:

\[\dfrac{{P \to Q,P}}{{\therefore Q}}\]

onde a regra é quando \(P → Q\) " e " \(P\) " aparecem por si mesmos na mesma linha de um teste lógico, Q pode ser escrito validamente em uma linha subsequente. Note que a premissa de P e a implicação "dissolve", com seu único traço sendo o símbolo Q que é mantido para uso posterior, por exemplo, em uma dedução mais complexa.

----

Embora o modus ponens seja um dos conceitos mais utilizados na lógica, não deve ser confundido com uma lei lógica. Pelo contrário, é um dos mecanismos aceitos para a construção de evidências dedutivas que incluem a "regra de definição" e a "regra da substituição".

----

Portanto, a alternativa correta é a alternativa C.