yüklemler mantığı logic biliminin yardım aldığı ve sembolik mantığın doruk noktaya ulaştığı halidir. örneğin kenan para çalarsa hapse girer önermesini klasik mantıkta (halk arasında aristo mantığıda denir) p=) q şeklşinde ifade edebiliriz. yani kenan para çalar yargısı p'ye , hapise girmek ise q'ya tekavül eder. açıkça görüldüğü gibi kllasik mantıkta öncüllerin iç yapısı hakkında her hangi bir belirti alamazsınız. fakat yüüklemler mantığında ka =) pa şeklinde ya da a ipucunu bile değiştirerek ka=) pb şeklinde bile yazılabilir. ancak önermenin tutarlılığı denetlenirken bazı sorunların çıkacağını şimdiden söylemeliyim. tabi anlamayan arkadaşlar için ise ekleminin değil p ve ya q (-p v q ) şeklinde de gösterebilceğimizi söyleyelim ki sözel bir ifade ile rahatlıkla denetlenebilme yapılabilsin
