0:00
Sværhedsgrad: MellemliggendeKategori: Logisk ÆkvivalensType: BevisGivet præmisserne:
- P → Q
- P
Bevis: Q
P → Q, P ⊢ QMål: Bevis ?
Opbyg dit bevis trin for trin
1.
P → Q
Præmis
2.
P
Præmis
Givet præmisserne:
Bevis: Q
P → Q, P ⊢ QOpbyg dit bevis trin for trin