Difference between revisions of "Modelos (lógica)"
Jump to navigation
Jump to search
m Tag: 2017 source edit |
m Tag: 2017 source edit |
||
Line 8: | Line 8: | ||
== Veja também == | == Veja também == | ||
− | * | + | * [[Acarretamento]] (consequência semântica, entailment) |
== Links externos == | == Links externos == |