0:00
NybegynnerLogisk EkvivalensDra og Slipp Bevis

Arranger følgende steg i riktig rekkefølge for å bevise Q fra de gitte premissene.

Mål: Bevis Q

P → Q, P ⊢ Q

Tilgjengelige trinn

P → QPremiss
PPremiss
QModus Ponens (1, 2)

Mål: Bevis Q

Dra trinn hit for å bygge beviset ditt