0:00
NybegynnerLogisk EkvivalensBevis Fullføring
Fyll inn de manglende begrunnelsene for dette beviset.
Mål: Bevis Q
P → Q, P ⊢ QMå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