Denetlemeler Soruları

Yx (Fa Ga) koşul önermesinin niceleme mantığına göre çözümlenmesi aşağıdakilerden hangisidir? A) ^ Fe Ga B) Fa 7 Ga - C) ~Fa Ga D) ~Fa ~Ga E) ~Fa 7 ~Ga = Hx(HY Fyl önermesinin değillemesinin