Conforme você estudou sore os tipos de lógica, leia o texto a seguir: É a codificação do algoritmo em linguagem formal, ou seja, uma linguagem compreendida pelo computador e que garante que os passos do algoritmo sejam executados da forma como foram definidos.Com base a quem o texto faz referência, assinale a alternativa CORRETA:
A)  Lógica referencial.
B)  Programa de computador.
C)  Lógica de argumentação.
D)  Lógica equacional.