“A linguagem da lógica proposicional se trata de uma linguagem com regras específicas que utiliza as variáveis proposicionais e os conectivos lógic...

“A linguagem da lógica proposicional se trata de uma linguagem com regras específicas que utiliza as variáveis proposicionais e os conectivos lógicos para formar expressões. [...] E para simplificar a análise as sentenças são substituídas por letras. Como por exemplo: uma expressão p conectivo q pode ser representada por uma proposição composta P.” SILVA, F. S. C. da; FINGER, M.; MELO, A. C. V. D. Lógica para computação. 2. ed. São Paulo: Cengage Learning Brasil, 2018. E-book. p. 37. Diante do excerto apresentado, marque a alternativa correta que representa os termos usados para definir outras proposições com base nas proposições já existentes. Escolha uma opção: a. Cálculo lógico. b. Operador lógico. c. Símbolo lógico. d. Formalismo lógico. e. Resultante lógica.