Sembolik mantık, önermeler ve bu önermeler arasındaki mantıksal ilişkileri semboller aracılığıyla ifade eden bir disiplindir. Sembolik mantığın temel yapı taşlarından bazıları şunlardır: Önerme: Doğru veya yanlış olabilen ifadelerdir. Önerme eklemleri: Basit önermeleri bileşik hâle getiren mantık değişmezleridir. Sembolik mantık, matematik, geometri gibi formel bilimlerin yanı sıra fizik, kimya, biyoloji gibi deneysel bilimler, sosyal bilimler, dilbilim ve felsefe alanlarında kullanılır.