Sembolik Mantık 2012 - 2013 Dönem Sonu Sınavı 3.Soru

3.Soru
Sembolik Mantık 2012 - 2013 Dönem Sonu Sınavı 3.Soru
transkript: 3. Aşağıdaki hangi (A,, A,) iyi biçimli formül kümesi PF biçimsel sisteminde kanıt- kuramsal tutarlıdır? A) (% (Pw APz» B) (wh (m A ma)) C) (*qu (Pw VP2)) D) Haa, %% V p;» E) Hn. —(—pı Vu,»
Yorumlar
  • 0 Yorum