Sumários

Inferência de lógica de predicados de 1ª ordem (Dedução)

21 Fevereiro 2025, 09:30 Filipa Ribeiro Sá da Costa


Exercícios sobre inferência de lógica de predicados de 1ª ordem (dedução).
Ver enunciados no moodle.

Inferência de lógica de predicados de 1ª ordem (Dedução)

20 Fevereiro 2025, 14:30 Ana Rita Henrique Peixoto


Exercícios sobre inferência de lógica de predicados de 1ª ordem (dedução).
Ver enunciados no moodle.

Inferência de lógica de predicados de 1ª ordem (Dedução)

20 Fevereiro 2025, 11:00 Eugénio Ribeiro


Exercícios sobre inferência de lógica de predicados de 1ª ordem (dedução).
Ver enunciados no moodle.

Raciocínio em lógica de predicados de primeira ordem - 2ª parte

20 Fevereiro 2025, 08:00 Sancho Moura Oliveira


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)

19 Fevereiro 2025, 14:30 Eugénio Ribeiro


Exercícios sobre inferência de lógica de predicados de 1ª ordem (dedução).
Ver enunciados no moodle.