Üye : Giriş |Kayıt |Yükleme bilgisi
Arama
Saptanabilirlik: mantık
1.Hesaplanabilirlik ile ilişkisi
2.Mantıksal bir sistemin karar verilebilirliği [Değişiklik ]
Her mantıksal sistem, diğer şeylerin yanı sıra, kanıtlanabilirlik kavramını ve mantıksal geçerlilik kavramını belirleyen semantik bir bileşeni belirleyen bir sözdizimsel bileşenle birlikte gelir. Sistemin mantıksal olarak geçerli formülleri, bazen sistemin teoremleri olarak adlandırılır, özellikle de Gödel'in tamlık teoreminin anlamsal ve sözdizimsel sonucun denkliğini oluşturduğu birinci dereceden mantık bağlamında. Lineer mantık gibi diğer ayarlarda, sözdizimsel sonuç (provabilite) ilişkisi bir sistemin teoremlerini tanımlamak için kullanılabilir.
Mantıksal sistemin teoremleri olup olmadığını belirlemek için etkili bir yöntem varsa mantıksal bir sisteme karar verilebilir. Örneğin, önermeli mantık kararlıdır, çünkü doğruluk-tablo yöntemi, rasgele bir teklif formülü mantıksal olarak geçerli olup olmadığını belirlemek için kullanılabilir.
Birinci mertebeden mantık genel olarak kararsız değildir; özellikle, eşitlik ve iki ya da daha fazla argüman içeren en az bir diğer yüklemeyi içeren herhangi bir imzadaki mantıksal geçerlilikler kümesi kararsız değildir. İkinci dereceden mantık ve tip teorisi gibi birinci dereceden mantığı genişleten mantıksal sistemler de tartışmasızdır.
Bununla birlikte, monadik yüklemli hesapların kimlikli geçerlilikleri, ancak, kararlıdır. Bu sistem, hiçbir işlev sembolüne sahip olmayan ve eşitlik dışındaki ilişki sembolleri hiçbir zaman birden fazla argümanı taşımayan imzalarla sınırlı olan birinci dereceden mantıktır.
Bazı mantıksal sistemler, tek başına teorem seti tarafından yeterince temsil edilmez. (Örneğin, Kleene'nin mantığının hiç bir teorisi yoktur.) Bu gibi durumlarda, mantıksal bir sistemin karar verilebilirliğinin alternatif tanımları sıklıkla kullanılır; bu, formüllerin geçerliliğinden daha genel bir şey belirlemek için etkili bir yöntem talep eder; örneğin, dizilerin geçerliliği veya sonuç ilişkisi {(Г, A) | Mantığın ⊧ A}.
[Söz dizimi: mantık][Resmi kanıt][Tip teorisi][Mantıksal sonuç]
3.Bir teorinin karar verebilirliği
4.Bazı kararlı teoriler
5.Oyunlar bağlamında
6.Bazı kararsız teoriler
7.Semidecidability
8.Bütünlük ile ilişki
[Yükle Daha fazla Içindekiler ]


Telif hakkı @2018 Lxjkh