Changes

Semântica formal para a Lógica Proposicional Clássica (view source)

78 bytes added , 01:54, 2 September 2020

no edit summary

== Veja também ==

* [[Poder expressivo dos operadores clássicos]]

* [[Acarretamento]] (consequência semântica, entailment)

* [[Expressibilidade dos operadores clássicos]]

* [[Correção e completude]]

* [[Exercícios de semântica formal para a Lógica Proposicional Clássica]]

== Links externos ==

525

edits