Sembolik mantık
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 biri olan önermeler doğru ya da yanlış olabilen ifadelerdir. Bir önermenin doğruluk değeri belirli bir mantıksal sistem çerçevesinde incelenir ve analiz edilir.