Notasyon, mantığın en önemli konularından biridir. Modern/sembolik mantık tarihinde başlıca iki farklı notasyon geliştirildiği görülür: iki boyutlu notasyon ve tek boyutlu notasyonlar. 
Bu kitapta, tek boyutlu notasyonların mantığı üzerinde durulmaktadır; önek, içek ve sonek notasyonlarına yer verilmektedir. Bu notasyonlar bağlamında geleneksel/klasik mantıktaki doğrudan ve dolaylı çıkarımlar ele alınmaktadır.