Lógicas dos Predicados

• Regras de Inferência

  • Todas as regras de inferência definidas na Lógica Proposicional são válidas para a Lógica de Predicados, apenas referenciando-as para os quantificadores.

Slide anterior

Slide seguinte

Voltar para o primeiro slide

Exibir versão do elemento gráfico