Respostas
respondido por:
1
Explicação passo-a-passo:
ME PERDOAAAAAAAAAAAAA
respondido por:
0
Resposta:
Na lógica matemática, a lógica de predicados é um termo genérico para sistemas formais simbólicos como lógica de primeira ordem, lógica de segunda ordem, many-sorted logic ou infinitary logic. Este sistema formal se distingue de outros sistemas em que suas fórmulas contêm variáveis que podem ser quantificadas.
Perguntas similares
4 anos atrás
4 anos atrás
4 anos atrás
7 anos atrás
7 anos atrás
7 anos atrás
8 anos atrás
8 anos atrás
8 anos atrás