T18

19 Novembro 2019, 10:30 • Mário Jorge Edmundo

Interpretações de fórmulas de uma LPO; fórmulas satisfazíveis, condição universal, condição impossível, notação. Nota sobre possibilidade lógica, verdade lógica e falsidade lógica para sentenças de LPO (possivelmente com quantificadores). Fórmulas logicamente equivalentes; regras de substituição: idempotência, comutatividade, associatividade, distributividade, absorção, negação dupla, leis de De Morgan, regras para a condição universal e a condição impossível, regra para o condicional, regras para o bicondicional.