Home
Random
Log in
Settings
About Logic Wiki
Disclaimers
Open main menu
Logic Wiki
Search
Acarretamento
Read in another language
Watch
Edit
Revision as of 00:44, 1 September 2020 by
Jmarcos
(
talk
|
contribs
)
(
diff
)
← Older revision
|
Latest revision
(
diff
) |
Newer revision →
(
diff
)
Relação de acarretamento (ou consequência semântica, ou
entailment
) associada a uma propriedade unária, e suas meta-propriedades fundamentais
[VIDEO]
Para reflexão
Veja também
Relação de consequência
Relação de compatibilidade
Semântica formal para a Lógica Proposicional Clássica
Semântica formal para a Lógica de Primeira Ordem Clássica
Links externos
You need to log in to edit this page.
Log in
Sign up