PanLinx: logické odvozování

čeština	ces-000
logické odvozování

čeština	ces-000	dedukce
čeština	ces-000	vyvozování nových závěrů

PanLex-PanLinx