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 12:44, 6 October 2020
, 12:44, 6 October 2020no edit summary
== Veja também ==
* [[Semântica formal para a lógica proposicional]]
* [[Poder expressivo dos operadores clássicos]]
* [[Acarretamento]] (consequência semântica, ''entailment'')
