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 21:16, 3 September 2020
, 21:16, 3 September 2020no edit summary
== Interpretações ==
* '''Interpretações boolianas ''' para a Lógica Proposicional Clássica<!--
--><p>[VIDEO]</p>
* '''Semântica de valorações ''' para a Lógica Proposicional Clássica<!--
--><p>[VIDEO]</p>
* O algoritmo das '''tabelas de verdade'''<!--
--><p>[VIDEO]</p>
== Noção de acarretamento associada ==
* '''Consequência semântica ''' para a Lógica Proposicional Clássica<!--
--><p>[VIDEO]</p>
* '''Congruencialidade''': Teorema de Substitutividade de Equivalentes ("replacement"), pela via semântica<!--
--><p>[VIDEO]</p>
== Para reflexão ==
* Como comprovar que a relação de acarretamento associada à semântica da Lógica Clássica é ''invariante por substituição''?
== Veja também ==
* [[Poder expressivo dos operadores clássicos]]
* [[Acarretamento]] (consequência semântica, ''entailment'')
* [[Correção e completude para a Lógica Proposicional Clássica]]
* [[Exercícios de semântica formal para a Lógica Proposicional Clássica]]
