Usuzování pomocí formální logiky - kurz bez lektora