Önermede her S ad sembolü yerine s elemanı yazılır.

1 numaralı kök noktasına elde edilen ifadeyazılır.

Tümel özelleme ve tikel özelleme kurallarını, tümel ve tikel nicelemelerin değillenmesi kurallarını ve önerme eklemlerine ait kuralları uygulayarak ilerlenir.

Bir dalda ilerlenirken bir ifade ve onun değili ortaya çıkarsa o dal kapalıdır ve bu durum o dalın sonuna x konularak belirtilir.

İşlem uygulanacak bir ifade kalmadığı halde kapanmayan bir dal açık bir daldır. Bu durum o dalın sonuna √ işareti konularak gösterilir.