0:00
NybörjareLogisk EkvivalensDra och Släpp Bevis

Ordna följande steg i rätt ordning för att bevisa Q från de givna premisserna.

Mål: Bevisa Q

P → Q, P ⊢ Q

Tillgängliga steg

P → QPremiss
PPremiss
QModus Ponens (1, 2)

Mål: Bevisa Q

Dra steg hit för att bygga ditt bevis