Changes

Jump to navigation Jump to search
m
no 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 ==

Navigation menu