Niceleme mantığında özneyi gösteren semboller a, b, c harfleriyle, yüklemi gösteren semboller ise F, G, H harfleriyle sembolleştirilir. Buna göre Hande öğretmendir. önermesinin niceleme mantığına göre sembolleştirilmiş hali aşağıdakilerden hangisidir?
~Fa
~Fab
Fa
Fabc