525
edits
Changes
Jump to navigation
Jump to search
m
* [[Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica]]
Semântica formal para a Lógica de Primeira Ordem Clássica (view source)
Revision as of 02:35, 26 September 2020
, 02:35, 26 September 2020no edit summary
* [[Acarretamento]] (consequência semântica, ''entailment'')
* [[Quantificadores]]
* [[Exercícios de semântica formal para a Lógica de Primeira Ordem Clássica]]
* [[Correção e completude para a Lógica de Primeira Ordem Clássica]]
== Links externos ==
*
