Sembolik Mantık 2012 - 2013 Ara Sınavı 18.Soru

18.Soru
Sembolik Mantık 2012 - 2013 Ara Sınavı 18.Soru
transkript: 18. Aşağıdaki hangi A ıyı biçımli formül kümesi için, PF biçimsel sisteminde A ı—PF “(9' E p2)’olur? AA) : ((p. 3 92), (wp; 3 #70) BA) = ((M 3 m (P? 3 A)) C) A ((m3 #71), (% Dpü) D) A: ((*Pz 3 pa), (p< 3 %>) E) A (Hn ) p;). bpg 3 P ))
Yorumlar
  • 0 Yorum