0:00
NybörjareLogisk EkvivalensBevisavslutning
Fyll i de saknade motiveringarna för detta bevis.
Mål: Bevisa Q
P → Q, P ⊢ QMål: Bevisa Q
Klicka på de tomma fälten för att fylla i beviset
1.
P → Q
Premiss
2.
P
Premiss
3.
Q
Välj regel
Välj radreferenser