• Matéria: Matemática
  • Autor: adilabubacar3
  • Perguntado 5 anos atrás

o que é predicado logico​

Anexos:

Respostas

respondido por: rafinhaaaaaq
1

Explicação passo-a-passo:

ME PERDOAAAAAAAAAAAAA

respondido por: sousajacyelly
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