WN

06165147-n

German_3.0

Synset:: Aussagenlogik

English_3.0

Synset:: propositional_calculus, propositional_logic
Gloss:: a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them

French_3.0

Synset:: calcul_des_propositions, calcul_propositionnel

Spanish_3.0

Synset:: cÃ¡lculo_proposicional, lÃ³gica_proposicional
Gloss:: None

Relações

inv-has_hyponym: 06164665-n
inv-rgloss: 00713167-v
inv-rgloss: 03091374-n
inv-rgloss: 06164665-n
inv-rgloss: 06750804-n
inv-rgloss: 07963711-n