«propositional-logic» etiketlenmiş sorular


11
Neden ?
Bunu kanıtlamak için bir kural olup olmadığını bilmek istiyorum. Örneğin, eğer dağıtım yasasını kullanırsam, sadece alacağım .(A∨A)∧(A∨¬B)(A∨A)∧(A∨¬B)(A \lor A) \land (A \lor \neg B)

4
Çelişkili kanıt, dışlanmış orta yasası olmadan işe yarayabilir mi?
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 …

5
Sağlamlık neden tutarlılık anlamına gelir?
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 …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.