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

Verilen önermelerden S'yi kanıtlamak için aşağıdaki adımları doğru sıraya koyunuz.

Hedef: S'yi kanıtlayın

P → Q, Q → R, R → S, P ⊢ S

Mevcut adımlar

P → QÖnerme
Q → RÖnerme
R → SÖnerme
PÖnerme
QModus Ponens (1, 4)
RModus Ponens (2, 5)
SModus Ponens (3, 6)

Hedef: S ispatla

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