Um argumento representa um conjunto de “n”_________, ou fórmulas, sendo que uma é a consequência (conclusão), isto é, deriva das premissas (outras). Sendo assim, as premissas são notadas como Pi, na qual, i = 1, 2, 3, ..., (n-1) e a conclusão é “C”. MORTARI, C. A. Introdução à Lógica. São Paulo: Editora UNESP: Imprensa Oficial do Estado, 2001. Assinale a alternativa que preenche a lacuna do texto corretamente:

Em Lógica, um argumento é composto por um conjunto de enunciados declarativos que podem ser verdadeiros ou falsos. Esses enunciados são chamados de proposições (ou fórmulas).

No texto, diz-se que o argumento representa um conjunto de “n” ________, “ou fórmulas”, em que uma é a consequência (conclusão) e as demais são as premissas. Em notação padrão, as premissas são indicadas por $P_i$ (para $i = 1,2,3,\ldots,n-1$) e a conclusão por $C$. Isso corresponde exatamente à ideia de conjunto de proposições (premissas e conclusão).

• Predicados são expressões com variáveis (ex.: “$x$ é mortal”), não “premissas/conclusão” prontas.
• Refutações não são o conteúdo básico de um argumento, mas um tipo de resposta/contestação.
• Asserções é um termo possível em linguagem comum, mas na Lógica formal o termo técnico esperado é proposições.

Alternativa correta: (d).