Lógica de Primeira Ordem
Lógica de Primeira Ordem · predicados & quantificadores 🔍 lógica de primeira ordem · predicados, quantificadores & axiomas 📌 Definição e exemplos A lógica de primeira ordem — ou cálculo de predicados de primeira ordem — expande a lógica proposicional ao introduzir quantificadores (\(\forall\), \(\exists\)), variáveis e predicados . Com isso, é possível formalizar sentenças como "todo número natural é maior ou igual a zero" ou "existe um número primo par". É a linguagem padrão para axiomatizar a matemática. \[ \forall x \, ( \text{Nat}(x) \rightarrow x \ge 0 ) \qquad \exists y \, ( \text{Primo}(y) \land \text{Par}(y) ) \] Os símbolos lógicos incluem con...