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

R'yi verilen öncüllerden kanıtlamak için aşağıdaki adımları doğru sıraya koyunuz.

Hedef: R'yi kanıtlayın

P ∨ Q, ¬P, Q → R ⊢ R

Mevcut adımlar

P ∨ QÖnerme
¬PÖnerme
Q → RÖnerme
QAyrık Kıyas (1, 2)
RModus Ponens (3, 4)

Hedef: R ispatla

İspatınızı oluşturmak için adımları buraya sürükleyin