0:00
Svårighetsgrad: NybörjareKategori: Logisk EkvivalensTyp: Dra och Släpp BevisOrdna följande steg i rätt ordning för att bevisa Q från de givna premisserna.
Mål: Bevisa Q
P → Q, P ⊢ QTillgängliga steg
P → QPremiss
PPremiss
QModus Ponens (1, 2)
Mål: Bevisa Q
Dra steg hit för att bygga ditt bevis