Em Calculus of Constructions seriam… onde não temos a distinção de termos e fórmulas. Um predicado é uma função com domínio em Prop. Mas dúvido que o chatGPT iria responder com esta argumentação se o Marcelo criticar a resposta recebida.
Marcelo, dá uma olhada no artigo do Geoff https://aarinc.org/Newsletters/141-2023-06.html#geoff Ab., Alexandre > On 16 Nov 2023, at 16:51, Adolfo Neto <[email protected]> wrote: > > Função? > > On Thu, 16 Nov, 2023, 2:35 pm Marcelo Finger, <[email protected]> wrote: > <image.png> > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/D5000191-C366-45F2-9740-665532BB7495%40gmail.com.
