«first-order-logic» etiketlenmiş sorular

Bana göre, ingilizcede 'ima ediyor', mantıksal operatörün ima ettiği ile aynı anlama gelmez, benzer şekilde, çoğu durumda 'OR' kelimesinin günlük dil kullanımımızda 'Özel OR' anlamına geldiği gibi. İki örnek alalım: Bugün Pazartesi ise yarın Salı. Bu doğru . Ama eğer söylersek: Güneş yeşilse, çimen yeşildir. Bu da doğru olarak kabul …

24 terminology  logic  first-order-logic  propositional-logic 

Son zamanlarda, ispatın çelişkinin geçerliliğini düşünüyordum. Geçtiğimiz birkaç gün boyunca sezgisel mantık ve Godel'in teoremleri hakkında sorularıma cevap verip vermeyeceklerini okudum. Şu anda hala sorularım var (belki de okuduğum yeni materyalle ilgili) ve bazı cevaplar almayı umuyordum ( UYARI : mantığı çok karışık temelleri olan içeriği okumaya devam edersiniz, her …

19 logic  first-order-logic  propositional-logic  incompleteness 

Ben soruyu okuyor Tutarlılık ve tamlık sağlamlığını ima? ve içindeki ilk ifade şöyle diyor: Sağlamlığın tutarlılığı ima ettiğini anlıyorum. Hangi oldukça şaşırdım çünkü sağlamlık tutarlılıktan daha zayıf bir ifade olduğunu düşündüm (yani tutarlı sistemlerin sağlam olması gerektiğini düşündüm ama sanırım doğru değil). Scott Aaronson'un MIT'deki 6.045 / 18.400 kursunda tutarlılık …

12 terminology  logic  first-order-logic  propositional-logic  incompleteness 

Aşağıdaki egzersizi çözmeye çalıştım ama tüm kritik çiftleri bulmaya çalışırken takıldım . Aşağıdaki sorularım var: Hangi kritik çiftin yeni bir kural ürettiğini nasıl bilebilirim? Tüm kritik çiftleri bulduğumu nasıl bilebilirim? Let burada ikili, tekli ve bir sabittir. Σ = { ∘ , i , e }Σ={∘,ben,e}\Sigma= \left \{ \circ, i, …

10 logic  first-order-logic