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