Birinci mertebeden mantik icin bir grammer veriniz.

Question

Birinci mertebeden mantik icin (first order logic ) Backus-Naur formunda bir grammer verin.

Comments

Bunun mantığı nedir tam olarak,derleyici mantığı gibi geldi bana,tam emin olmamakla beraber.

---

Evet derleyicilerin oge ayristirma kismi (lexer/parser) programlama dillerinin grammerlerinden yola cikilarak yazilir. Grammerler dillerde gecerli olan cumleleri betimler. Birinci dereceden mantik matematik yapmak icin kullanabilecegimiz bir dil en nihayetinde. Bu dilde gecerli olan cumleleri betimlemek ilginc geldi :). Grammerden sonra bu grammerin semantik yorumu uzerine dusunebiliriz. Belki hilbert tarzi tumdengelimci "ispat" yapabilen programlar yazabiliriz. Bir de asagida verdigim grammerden emin degilim biri duzeltir diye umuyorum

---

bu işin teorik kısmını bilmediğimden pek anlayamadım.ama çok farklı gelmesi benim açımdan ilgi çekici oldu :)

Answer 1

$\begin{align}  \text{Formul} \quad :& \quad\text{BasitFormul} \quad \\ |& \quad \lnot \text{Formul} \\ |&\quad \text{Formul} \quad \text{Baglac} \quad \text{Formul}  \\ |& \quad \text{Niceleyici} \quad \text{Degisken} \quad \text{Formul}\\ & \\ \text{BasitFormul} :& \quad \text{Oncul}(\text{TerimListesi}) \\ & \\ \text{Terim} :& \quad \text{Fonksiyon}(\text{TerimListesi}) \\ |&\quad \text{Sabit} \\ |& \quad \text{Degisken}\\ & \\ \text{TerimListesi}:& \quad \text{Terim} \\ |& \quad \text{Terim , TerimListesi} \\&\\\text{Baglac} :& \quad \land \\ |& \quad \lor \\|& \quad \Leftrightarrow \\ |& \quad \Rightarrow \\ & \\ \text{Niceleyici} :& \quad \forall \\ |& \quad \exists \\&\\ \text{Sabit} :& \quad \text{degisken oncul yada fonksiyon olarak kullanilmayan her sozcuk} \\&\\ \text{Degisken} :& \quad \text{sabit oncul yada fonksiyon olarak kullanilmayan her sozcuk} \\&\\ \text{Oncul} :& \quad \text{degisken sabit yada fonksiyon olarak kullanilmayan her sozcuk} \\&\\ \text{Fonksiyon} :& \quad \text{degisken sabit yada oncul olarak kullanilmayan her sozcuk}\end{align}$

Comments

turkce terimleri yanlis yazmis olabilirim. Duzeltirseniz sevinirim :)