Changes

Jump to navigation Jump to search

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

Revision as of 23:53, 31 August 2020

45 bytes added ,  23:53, 31 August 2020
no edit summary
[VIDEO]
* Semântica de valorações para a Lógica Proposicional Clássica
[VIDEO]
* O algoritmo das tabelas de verdade
[VIDEO]
Retrieved from "http://carol.dimap.ufrn.br/logicwiki/index.php/Special:MobileDiff/1061"

Navigation menu