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

From Logic Wiki
Jump to navigation Jump to search
Tag: 2017 source edit
Tag: 2017 source edit
Line 9: Line 9:
  
 
* [[Acarretamento]] (consequência semântica / EN: ''entailment'')
 
* [[Acarretamento]] (consequência semântica / EN: ''entailment'')
 +
* [[Introdução Computacional à Lógica Matemática]]
  
 
== Links externos ==
 
== Links externos ==
  
 
*
 
*

Revision as of 13:14, 6 October 2020