0:00
BegynderLogisk ÆkvivalensBevisfuldførelse

Udfyld de manglende begrundelser for dette bevis.

Mål: Bevis Q

P → Q, P ⊢ Q

Mål: Bevis Q

Klik på de tomme felter for at udfylde beviset

1.
P → Q
Præmis
2.
P
Præmis
3.
Q
Vælg regel
Vælg linjereferencer