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:13, 28 October 2020
, 19:13, 28 October 2020no edit summary
* 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/].
* Outra questão terminológica: aparentemente o termo ''satisfatível'' ainda não foi dicionarizado ([https://www.flip.pt/Duvidas-Linguisticas/Duvida-Linguistica/DID/1694]). Vamos ter que esperar um pouco mais, mas não há que ficar parado por conta disso!
== Veja também ==
