Kısaca Özdeşlik Mantığı Nedir?
Ö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 ( Bu forumdaki linkleri ve resimleri görebilmek için en az 25 mesajınız olması gerekir. degismezi anlamina gelir. Böylece önerme a=b seklinde sembollestirilmis olur.
(atanjumusul) |