“Bazı başarılı öğrenciler, arkadaşları tarafından sevilmeyen öğrencilerdir” önermesini verilen sembolleştirme anahtarına göre sembolleştiriniz:
F: a başarılıdır.G: a öğrencidir.H: a arkadaşları tarafından sevilir.A: Ahmet
1. adımda,Bazı x ((x başarılıdır ve x öğrencidir) ve (değildir x arkadaşları tarafındansevilir ve x öğrencidir))ifadesi elde edilir.2. adımda, birinci adımda elde ettiğimiz ifadede niceleme ifadeleri ve önermeeklemleri yer