Formální logika, zajímavé logické úlohy, řešení úloh z přijímacích testů na VŠ (OSP, TSP apod.)