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:
- L & W
- L ⇒ ¬ F
- W eleme
- L eliminasyonu
- ¬ F modus ponens
- 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.
Gene Simmons, KISS Çizgi Romanlarının Potansiyel Olarak "İnsanlığı Yeniden Yaratabileceğini" Söyledi
Charly Reynolds Yakın Zamandaki Vokal Kord Ameliyatını Açıkladı: 'Şarkı Söylemekte Sorun Yaşıyordum'
Tom Girardi Dolandırıcılık Suçlamalarından Yargılanma Yetkisinin Belirlenmesi İçin Duruşmaya Katıldı