525
edits
Changes
Jump to navigation
Jump to search
m
Semântica formal para a Lógica Proposicional Clássica (view source)
Revision as of 19:07, 28 October 2020
, 19:07, 28 October 2020no edit summary
* 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''?
* Uma questão terminológica: ''booleano'' ou ''booliano''? [https://tribunadoceara.com.br/blogs/orlando-nunes/gramatica-2/shakespeareano-ou-shakespeariano/].
== Veja também ==
