sembolik mantık önermenin doğruluk tablosu çözmlü sorular lys