0:00
BegynderLogisk ÆkvivalensTræk og Slip Bevis

Arrangér følgende trin i den korrekte rækkefølge for at bevise Q ud fra de givne præmisser.

Mål: Bevis Q

P → Q, P ⊢ Q

Tilgængelige trin

P → QPræmis
PPræmis
QModus Ponens (1, 2)

Mål: Bevis Q

Træk trin hertil for at bygge dit bevis