0:00
BaşlangıçMantıksal EşdeğerlikSürükle ve Bırak Kanıt

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

Hedef: Q'yu kanıtlayın

P → Q, P ⊢ Q

Mevcut adımlar

P → QÖnerme
PÖnerme
QModus Ponens (1, 2)

Hedef: Q ispatla

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