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
Donovan, Şarkılarından 1'ini The Beatles'ın "Lucy in the Sky with Diamonds" şarkısıyla karşılaştırdı
Tom Girardi Dolandırıcılık Suçlamalarından Yargılanma Yetkisinin Belirlenmesi İçin Duruşmaya Katıldı