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

18.Soru
Sembolik Mantık 2012 - 2013 Dönem Sonu Sınavı 18.Soru
transkript: 18. Aşağıdaki hangi (A,, A,) iyi biçimli formül kümesi PFq biçimsel sisteminde kanıt- kuramsal tutarsızdır? A) (Fâaa, —Fı*az) B) (ijaı, Fq'aı) C) (#51, xFHaı) D) (Fâawüaz) E) (F1î31,*NF1.31)
Yorumlar
  • 0 Yorum