Sembolik Mantık 2015 - 2016 Dönem Sonu Sınavı 5.Soru

5.Soru
Sembolik Mantık 2015 - 2016 Dönem Sonu Sınavı 5.Soru
transkript: 5_ S = (a, b) olsun. Bu durumda EX (Fx —> Ey (Hy <—> GA)) önermesinin S kümesindeki doğrusal açılımı aşağıdakilerden hangisidir? A) ((Fa v Fb) H ((Ha H GA) A (Hb H GA))) B) (Fa H ((He H GA) v (Hb H GA))) v (Fb H ((Ha H GA) v (Hb H GA))) C) ((Fa A Fb) H ((Ha H GA) v (Hb H GA))) D) ((Fa v Fb) H ((Ha H GA) v (Hb H GA))) E) (Fa # ((He H GA) v (Hb H GA))) A (Fb + ((Ha H GA) v (Hb H GA)))
Yorumlar
  • 0 Yorum