bir diğer adı modern mantıktır. önermeler üzerinden doğru ve düzgün düşünme formlarını inceleyen bilim dalıdır.
p,q,r,s,t gibi simgeler, öncülleri ifade eder.
a,b,c gibi simgeler, özneyi ifade eder.
>caps lock< f,g,h gibi simgeler, yüklemi ifade eder.
x,y,z gibi simgeler, bilinmeyen değişkenleri ifade eder.
