0:00
NybegynnerLogisk EkvivalensBevis Fullføring

Fyll inn de manglende begrunnelsene for dette beviset.

Mål: Bevis Q

P → Q, P ⊢ Q

Mål: Bevis Q

Klikk på de tomme feltene for å fylle ut beviset

1.
P → Q
Premiss
2.
P
Premiss
3.
Q
Velg regel
Velg linjereferanser