Özdeslik Mantigi

Bu mantik türü niceleme mantigina benzer ancak niceleme mantigini da içine alan daha kapsamli mantiktir. Özdeslik mantiginda özdes, bir mantik degismezidir ve = sembolüyle gösterilir.Bu mantikta ~ , ? , V, ?, ? eklemleri ve ” , $ niceleme sembollerine ilave olarak = (özdes) sembolü de kullanilir. Bu sembol özdeslik önermesinin öznesi ve yükleminin birbirine esit veya özdes olduklarini gösterir.

Örnek: “Ay, Dünyanin uydusudur.” Önermesinde “Ay”, a sembolü ile ; “Dünyanin uydusu”, b sembolü ile gösterilebilir.Bu durumda “dur” eki, özdeslik (degismezi anlamina gelir. Böylece önerme a=b seklinde sembollestirilmis olur.

(atanjumusul)