Mantıkta kullanılan bazı semboller şunlardır: 1. Önerme Sembolleri: Basit önermeler "p, q, r, s" gibi küçük harflerle, bileşik önermeler ise bu sembollerin birleşimiyle gösterilir. 2. Önerme Eklemleri Sembolleri: - Ve (∧): İki önermenin hem doğru olması durumunda bileşik önermenin de doğru olduğunu ifade eder. - Veya (∨): İki önermeden en az birinin doğru olması durumunda bileşik önermenin de doğru olduğunu ifade eder. - Değil (¬): Bir önermenin doğruluğunun tersini ifade eder. - Koşul (→): Birinci önermenin doğru olması durumunda ikinci önermenin de doğru olması gerektiğini ifade eder. - Karşılıklı Koşul (↔): İki önermenin doğruluk değerlerinin aynı olduğunu ifade eder. 3. Niceleme Mantığı Sembolleri: - Tümel Niceleyici (∀): "Bütün", "her", "tüm" gibi ifadeleri temsil eder. - Tikel Niceleyici (∃): "Bazı", "kimi", "bir kısım" gibi ifadeleri temsil eder. - Belirsiz Özneler (x, y, z): Önermelerde geçen belirsiz özneleri gösterir.