Changes

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

22 bytes added , 02:35, 26 September 2020

m

no 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]]

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

== Links externos ==

*

525

edits