“O primeiro a ter a ideia de usar linguagens artificiais na
Lógica foi Gottfried Leibniz, no século XVI. Sua ideia era de
desenvolver uma lingua philosophica, que seria uma linguagem
artificial espelhando a estrutura dos pensamentos. Ao lado disso,
ele propôs o desenvolvimento de um calculus ratiocinator, um
cálculo que permitiria tirar automaticamente conclusões a partir
de premissas representadas na lingua philosophica”.
MORTARI, César A. Introdução à lógica. São Paulo: UNESP, 2001.
Adaptado.
De acordo com o excerto, a proposta lógica de Leibniz antecipa
uma concepção segundo a qual a
Autenticação
Limite Diário Atingido
Você atingiu o limite de 10 questões diárias para usuários sem plano. Ao se tornar um membro, você poderá:
Resolver mais questões e melhorar seu desempenho.
Acessar conteúdo exclusivo da IAProvatec.
Potencializar seus estudos com estatísticas avançadas.
Que tal se tornar um membro agora e aproveitar todos os recursos da plataforma?