Conforme você estudou sore os tipos de lógica, leia o texto abaixo: É 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.Indique a alternativa que contenha a referência do conceito apresentado no texto: Programa de computador Lógica de argumentação Lógica equacional Lógica referencial