Sumários
Inferência de lógica de predicados de 1ª ordem (Dedução)
27 Fevereiro 2026, 08:00 • Filipa Ribeiro Sá da Costa
Exercícios sobre inferência de lógica de predicados de 1ª ordem (dedução).
Inferência de lógica de predicados de 1ª ordem (Dedução)
26 Fevereiro 2026, 14:30 • Sofia Silva
Exercícios sobre inferência de lógica de predicados de 1ª ordem (dedução).
Inferência de lógica de predicados de 1ª ordem (Dedução)
26 Fevereiro 2026, 11: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 - 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 .