"syst\u00E9m striktn\u00ED implikace"@cs .