p(x) açık önermesinde her sembolünün değili bazı, bazı sembolünün olumsuzu ise her niceleyicisidir. Ayrıca ve bağlacının değili veya, veya bağlacının değili ve, eşittir sembolünün değili eşit değildir, eşit değildir sembolünün değili eşittir, küçüktür sembolünün değili büyük eşittir, büyük sembolünün değili küçük eşittir, küçük eşittir sembolünün değili büyüktür, büyük eşittir sembolünün değili küçüktür sembolüdür. Sayı kümelerinin değili alınmaz. Konu içerisinde verilen bilgilerin dışında daha önce görmüş olduğumuz tüm konular bu konuda da geçerlidir.