0:00
Zorluk: BaşlangıçKategori: Mantıksal EşdeğerlikTür: Sürükle ve Bırak KanıtVerilen ö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 ⊢ QMevcut 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