0:00
İleriMantıksal EşdeğerlikSürükle ve Bırak Kanıt

Verilen ö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 ⊢ ¬P

Mevcut 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