transkript: 12. Aşağıdakilerden hangisi Vx(Gx <-> HA) HB çıkarımının denetlenebileceği bir modeldir? A) SM : (a,b,c), GM : (b), HM : (c), AM : a, BM : b SM : (a,b), GM : (b), AM : a, BM : (::) SM : (a,b,c), GM : (b), HM : (c), AM : (a,b), BM : (c) SM : (a,b), GM : (b), HM : (c), AM : (a,b,c) SM : (a_b), GM : (b), HM : (ç), AM : a, BM : (C)