Genel bakış
Mantık, geçerli çıkarım biçimlerini, önermeler arasındaki ilişkileri ve akıl yürütmenin yapısını inceleyen disiplindir.[1]
TEMEL ÖZELLİKLER
Tümdengelimde sonuç öncüllerden zorunlu olarak çıkar; biçimsel mantık bu ilişkiyi simgelerle gösterir. Doğruluk ile geçerlilik ayrıdır: geçerli bir çıkarımın öncülleri yanlış olabilir.[1]
ÖNEMİ VE KAPSAMI
Klasik mantık, matematik ve bilgisayar biliminde yaygın kullanılır; kiplik, zaman veya belirsizlik için farklı mantık sistemleri geliştirilmiştir. Mantık, bir iddianın içeriğinden çok çıkarımın yapısını sınamayı sağlar.[1]