0:00
Zorluk: İleriKategori: Mantıksal EşdeğerlikTür: Sürükle ve Bırak KanıtVerilen önermelerden ¬P'yi kanıtlamak için aşağıdaki adımları doğru sıraya koyunuz.
Kullanılabilir Adımlar:
- Q → R (Önerme)
- ¬R (Önerme)
- ¬Q (Adım 1 ve 2 üzerinde Modus Tollens)
- P → Q (Önerme)
- ¬P (Adım 4 ve 5 üzerinde Modus Tollens)
Hedef: ¬P'yi kanıtlayın
P → Q, Q → R, ¬R ⊢ ¬PMevcut adımlar
İspatta tüm adımlar kullanıldı
Hedef: Q ispatla
İspatınızı oluşturmak için adımları buraya sürükleyin