p: "Bütün x gerçek sayıları için gerçek bir sayının karesi kendisinden büyüktür. önermesinin niceleme sembolleriyle gösterimi​