Sumários
Raciocínio em lógica de predicados de primeira ordem - 2ª parte
26 Fevereiro 2026, 08:00 • Eugénio Ribeiro
Inferência ( dedução ): Regras de inferência ( cálculo de predicados ), derivações ; Exemplos .
Raciocínio em lógica de predicados de primeira ordem - 2ª parte
25 Fevereiro 2026, 21:00 • Eugénio Ribeiro
Inferência ( dedução ): Regras de inferência ( cálculo de predicados ), derivações ; Exemplos .
Inferência de lógica de predicados de 1ª ordem (Dedução)
25 Fevereiro 2026, 13:00 • Sofia Silva
Exercícios sobre inferência de lógica de predicados de 1ª ordem (dedução).
Raciocínio em lógica de predicados de primeira ordem - 1ª parte
25 Fevereiro 2026, 08:00 • Eugénio Ribeiro
Inferência ( dedução ): Regras de inferência ( cálculo de predicados ), derivações ; Exemplos .