Escrever uma valoração para um conjunto de átomos
Atribuir uma valoração a uma fórmula a partir dos valores de seus átomos
Escrever uma valoração que satisfaça (ou falsifique) uma fórmula
Classificar uma fórmula em satisfazível, falsificável, válida ou insatisfazível
Descrever as relações entre as classificações
Desenhar a tabela-verdade de uma fórmula
Verificar se uma fórmula é consequência lógica de outra fórmula
Verificar se uma fórmula é consequência lógica de um conjunto de fórmulas
Verificar se duas fórmulas são logicamente equivalentes
Verificar se uma fórmula usando um novo conectivo é consequência lógica de uma ou mais fórmulas usando um novo conectivo
Verificar se uma fórmula usando um novo conectivo é logicamente equivalente a uma fórmula usando os conectivos vistos anteriormente
Descrever a importância de verificar se uma fórmula é consequência lógica de um conjunto de fórmulas