sembolik mantık kuralları