Sumários

Inferência em Lógica Proposicional

26 Abril 2024, 17:00 • Paulo Jorge Cunha Vaz Dias Urbano

Em lab e em python: 

A validade, satisfabilidade e insatisfabilidade das fórmulas lógicas proposicionais.
Verificação de Modelos e Príncípio da Resolução.

Inferência em Lógica Proposicional

26 Abril 2024, 14:00 • Paulo Jorge Cunha Vaz Dias Urbano

Em lab e em python: 

A validade, satisfabilidade e insatisfabilidade das fórmulas lógicas proposicionais.
Verificação de Modelos e Príncípio da Resolução.

Inferência em Lógica Proposicional

24 Abril 2024, 13:30 • Sara Silva

Em lab e em python: 

A validade, satisfabilidade e insatisfabilidade das fórmulas lógicas proposicionais.
Verificação de Modelos e Príncípio da Resolução.

Inferência em Lógica Proposicional

23 Abril 2024, 17:00 • Paulo Jorge Cunha Vaz Dias Urbano

Exercícios sobre:

A validade, satisfabilidade e insatisfabilidade das fórmulas lógicas proposicionais.
Verificação de Modelos e Príncípio da Resolução.

Inferência em Lógica Proposicional

23 Abril 2024, 15:30 • Paulo Jorge Cunha Vaz Dias Urbano

Exercícios sobre:

A validade, satisfabilidade e insatisfabilidade das fórmulas lógicas proposicionais.
Verificação de Modelos e Príncípio da Resolução.