Sembolleştirme, günlük dilde ifade edilen önermelerin ve çıkarımların sembolik dile çevrilmesi işlemidir. Bu yöntem, mantıkta kullanılan semboller ve mantık değişmezleri aracılığıyla gerçekleştirilir. İşte sembolleştirme hakkında daha fazla bilgi:
-
Basit Önermelerin Sembolleştirilmesi:
-
Tek bir basit önerme, sembollerle ifade edilir. Bu semboller genellikle küçük harflerle temsil edilir (örneğin, p, q, r, s, t).
-
Örneğin, “Yağmur yağıyor.” önermesi, sembolleştirildiğinde “p” sembolüyle ifade edilebilir.
-
Bileşik Önermelerin Sembolleştirilmesi:
-
Bileşik önermelerde, öncelikle ana ekleme dikkat edilir.
-
Önermenin bileşenleri paranteze alınarak sembolleştirme yapılır.
-
Örneğin, “Yağmur yağar ise yerler ıslanır.” önermesi iki farklı yargı içerir. “Yağmur yağar” yargısı “t” sembolüyle, “yerler ıslanır” yargısı ise “s” sembolüyle sembolleştirilir. Bu önerme sembolleştirilmiş olarak şu şekilde yazılabilir: t ⇒ s.
-
Çıkarımların Sembolleştirilmesi:
-
Çıkarımlar en az iki öncülden ve bir sonuç önermesinden oluşur.
-
Öncül önermeler ayrı ayrı sembolleştirilir ve sonuç önermesine “o hâlde” anlamına gelen “…” sembolü ile bağlanır.
-
Örneğin, “Tüm hayvanları sevmek gerekir. Maymunlar hayvandır. O hâlde, maymunları sevmek gerekir.” çıkarımı sembolleştirilmiş hâli şöyle olur: p, q … r.
Sembolleştirme, mantıkta netlik ve kesinlik sağlar ve önermelerin daha anlaşılır bir biçimde ifade edilmesini sağlar.
