PanLinx: vyvozování nových závěrů

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

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

PanLex-PanLinx