Ana Sayfa » İstanbul Üniversitesi AUZEF » Felsefe Lisans Programı » Mantık Çeşitleri 1

Ünite 10: Bazı Özel Bağıntılar 2 — Bilgi Kartları

1 / 8

Tarski'nin Gösterim Yöntemi

Ünlü mantıkçı Tarski, bileşim bağıntılarını ifade ederken günümüzdeki standart gösterimlerin yanı sıra araya (/) sembolünü koyarak 'Bxy/Cyz' şeklinde özgün bir sembolleştirme yöntemi geliştirmiştir.