Hüperonüümid:
loogika 3(n)
formaalloogika 1(n), formaalne loogika 1(n)

loogika haru, mis uurib mõistete, otsustuste, järelduste ja tõestuste struktuuri (EKSS)

ILI-1.5 relation(s)

eq_synonym

PWN-3.0 relation(s)

eq_synonym
formal logic 1(n), mathematical logic 1(n), symbolic logic 1(n) any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity

CILI relation(s)

eq_synonym
formal_logic 1(n), mathematical_logic 1(n), symbolic_logic 1(n) any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity