Niceleyici Değilleme Kuralları (Eşdeğerlilik)
~ " x F x º $ x ~Fx ~ $ x F x º " x ~Fx ~ " x ~ F x º $ x Fx ~ $ x ~ F x º " x Fx

Sizi Sembolik Mantık okumaya davet ediyorum.