Sorunuzu yanlış değerlendirmiyorsam p,q,r leri önermeler mantığında herhangi bir önerme yerine kullanabiliriz. Büyük harflerle olan A B C gibi ifadelerde nicelemele mantığında yüklemleri işaret etmek için kullanılır fakat tek başına değil A(x) gibi bir serbest değişken yada A(a) gibi kapalı değişkenle anılır. Bu tamamen uzlaşıdır. yani özelde p,q,r,A,B,C gibi imlerin arasında içkin bir fark yoktur.