Changes

== Interpretações == * '''Interpretações boolianas ''' para a Lógica Proposicional Clássica<!--[VIDEO]--><p>{{#ev:youtube|wK8E792poy4}}</p>* '''Semântica de valorações ''' e noção de '''satisfação''' para a Lógica Proposicional Clássica; ''classe de modelos que satisfazem'' uma dada fórmula ou conjunto de fórmulas<!--[VIDEO]--><p>{{#ev:youtube|BszIcAW6ftQ}}</p>* O algoritmo das '''tabelas de verdade'''<!----><p>{{#ev:youtube|k55iZI4by5Q}}</p> == Noção de acarretamento associada ==[VIDEO]* '''Consequência semântica ''' para a Lógica Proposicional Clássica<!----><p>{{#ev:youtube|sS-teSnboTU}}</p>* '''Congruencialidade''': Meta-teorema de Substitutividade de Equivalentes (EN: ''replacement theorem''), pela via semântica<!--[VIDEO]--><p>{{#ev:youtube|HG0uRcIw11U}}</p>

* Você seria capaz de definir ''todas'' as funções auxiliares que sejam porventura 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''?* 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'' [https://www.flip.pt/Duvidas-Linguisticas/Duvida-Linguistica/DID/1694 ainda não foi dicionarizado]. Vamos ter que esperar um pouco mais, mas não há que ficar parado por conta disso!

* [[Semântica formal para a lógica proposicional]]* [[Poder expressivo dos operadores clássicos]]* [[Acarretamento]] (consequência semântica, ''entailment'')* [[Expressibilidade dos operadores clássicosExercícios de semântica formal para a Lógica Proposicional Clássica]]* [[Correção e completude para a Lógica Proposicional Clássica]]* [[Introdução Computacional à Lógica Matemática]]