SL'de İlkel Kanıt

Nov 04 2020

Bu yüzden şu anda SL ile tanışıyorum ve bir ifadeyi kanıtlamam isteniyor. L & W ve L ⇒ ¬ F öncülüyle basit bir soru Benden W & ¬ F'yi kanıtlamam isteniyor Birisi benim çözümümü doğrulayabilir mi?

Yani benim adımlarım:

  1. L & W
  2. L ⇒ ¬ F
  3. W eleme
  4. L eliminasyonu
  5. ¬ F modus ponens
  6. W & ¬ F tanıtımı

Teşekkürler.

Yanıtlar

GrahamKemp Nov 04 2020 at 14:13

Evet, bu geçerlidir, ancak gerekçeler "birleşik eleme" ve "birleşik giriş" olsa da. Ayrıca satır numaralarının alıntısını da eklemelisiniz.