Changes

Semântica formal para a Lógica Proposicional Clássica (view source)

117 bytes added , 10:28, 29 September 2020

m

* Você seria capaz de definir ''todas'' as funções auxiliares que sejam porventuras necessárias à implementação do algoritmo das tabelas de verdade?

* Por que podemos dizer, em geral, que cada linha de uma tabela de verdade representa uma ''classe''de valorações?

* Como comprovar que a relação de acarretamento associada à semântica da Lógica Clássica é ''invariante por substituição''?

525

edits