Difference between revisions of "Modelos (lógica)"

From Logic Wiki
Jump to navigation Jump to search
m
Tag: 2017 source edit
Tag: 2017 source edit
 
(7 intermediate revisions by one other user not shown)
Line 1: Line 1:
* [[Semântica formal para a Lógica Proposicional]]
+
* [[Semântica formal para a lógica proposicional]]
* [[Semântica formal para a Lógica de Primeira Ordem]]
+
* [[Semântica formal para a lógica de primeira ordem]]
  
 
== Para reflexão ==
 
== Para reflexão ==
Line 8: Line 8:
 
== Veja também ==
 
== Veja também ==
  
* [[Acarretamento]] (consequência semântica, entailment)
+
* [[Acarretamento]] (consequência semântica / EN: ''entailment'')
 +
* [[Introdução Computacional à Lógica Matemática]]
  
 
== Links externos ==
 
== Links externos ==
  
* [https://pt.wikipedia.org/wiki/%C3%81lgebra_booliana Álgebra de Boole]
+
* [http://pt.wikipedia.org/wiki/Acarretamento Acarretamento (Wikipédia)]
* [https://en.wikipedia.org/wiki/Heyting_algebra Álgebra de Heyting]
 

Latest revision as of 20:19, 15 October 2020