ili-30-06165147-n CILI: i68954
|
|
|
Explorar o ámbito terminolóxico en [Termonet]
|
|
|
|
|
ES
|
Variantes
|
-
cálculo_proposicional
-
lógica_proposicional
|
|
|
EN
|
Variantes
|
-
propositional_calculus
-
propositional_logic
|
|
|
Glosa
|
|
|
|
|
|
|
FR
|
Variantes
|
-
calcul_des_propositions
-
calcul_propositionnel
|
|
|
|
|
Relacións léxico-semánticas no WordNet vía ILI (6)
-
Amosar
/
Agochar
gráfico:
|
|
Hyperonyms
(has_hyperonym)
|
06164665-n:
any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
|
Glosses
(gloss)
|
00713167-v:
make a logical or causal connection
|
Glosses
(gloss)
|
03091374-n:
an instrumentality that connects
|
Glosses
(gloss)
|
06164665-n:
any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
|
Glosses
(gloss)
|
06750804-n:
(logic) a statement that affirms or denies something and is either true or false
|
Glosses
(gloss)
|
07963711-n:
a collection of things that have been combined; an assemblage of separate parts or qualities
|
|
|
|
| |