Forma lógica
28 Setembro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça
Exercício de determinação da forma lógica de fórmulas bem formadas do Cálculo Proposicional.
Os diferentes graus de abstracção na determinação de todas as formas lógicas possíveis de uma dada fórmula do Cálculo.
Tabelas de verdade de fórmulas complexas.