Kuantor, Negasi, Ekuivalen, dan Silogisme | Pintarly