Mantığın Aritmetik Denklem Dilinin Geleneksel/Klasik Akıl Yürütme Biçimlerine Uygulanması