0:00
Vanskelighetsgrad: MellomKategori: Logisk EkvivalensType: BevisGitt premissene:
- P → Q
- P
Bevis: Q
P → Q, P ⊢ QMål: Bevis ?
Bygg beviset ditt trinn for trinn
1.
P → Q
Premiss
2.
P
Premiss
Gitt premissene:
Bevis: Q
P → Q, P ⊢ QBygg beviset ditt trinn for trinn