Sumários
Tautologias e verdades lógicas
2 Outubro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Resolução dos exercícios 20, 21 e 22.
T5
1 Outubro 2019, 10:30 • Mário Jorge Edmundo
Regras de substituição: associatividade e omissão de parênteses, distributividade, absorção, negação dupla, leis de De Morgan; Exemplo de aplicação das regras de substituição; tt-equivalência, exemplo; tt-equivalência e equivalência lógica, exemplo; forma normal negativa, forma normal conjuntiva e forma normal disjuntiva; métodos para: obter a fnn; passar da fnn para a fnc; passar da fnn para fnd; exemplo de sentenças simultaneamente na fnc e na fnd.
Lógica dos conectivos booleanis
1 Outubro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Resolução dos exercícios 16, 17, 18 e 19.