mantık çözümlü önerme testleri lys