• aksiyom.
    belit.

    "bir dil üzerine kurulu ilksavlı kuram, en az sayıdaki belli birtakım tamdeyimlerden yola çıkarak bu dizgenin tümdengelimli bir düzenlenişini gerçekleştirmekle kurulur; belli kurallar aracılığıyla, bu az sayıdaki tamdeyimlerden bütün öbür tamdryimler çıkarılır." bilge karasu - imbilim ders notları

    "bir ilksavlı kuram terimlerle tamdeyimlerden oluşmuştur. tamdeyimler ise terimlerden oluşur. terimler içerisinde de ilkel terimlerle türetilmiş terimler (tanımlanmış terimler) bölümlemesi yapılır. ilkel terimler tanımlanamaz. tanımlanmış terimler ise ilkel terimler, ya da daha önce tanımlanmış terimler, ya da hem ilkel hem tanımlanmış terimler yardımıyla oluşturulur." bilge karasu - imbilim ders notları

    "ancak ilksavlara ilişkin bir özellik olan bağımsızlık ise, bir ilksavı başka bir ilksavdan çıkarsamanın olanaksızlığıdır. bir ilksavın bağımsızlığını, onu değiştirdiğimiz, genellikle değillediğimiz halde dizgenin tutarlı kalmasıyla anlayabiliriz. değillenen bir ilksav, öbürleriyle çelişiyorsa, yani dizge tutarsızlaşıyorsa, ilksavın bağımlı olduğu, ötekilerden türetilebileceğj, dolayısıyla bir kanıtsav olduğu ortaya çıkar." bilge karasu - imbilim ders notları

    (bkz: tamdeyim)
    (bkz: üst-mantık)
hesabın var mı? giriş yap