0:00
Vanskelighetsgrad: NybegynnerKategori: Logisk EkvivalensType: Dra og Slipp BevisArranger følgende steg i riktig rekkefølge for å bevise Q fra de gitte premissene.
Mål: Bevis Q
P → Q, P ⊢ QTilgjengelige trinn
P → QPremiss
PPremiss
QModus Ponens (1, 2)
Mål: Bevis Q
Dra trinn hit for å bygge beviset ditt