0:00
Svårighetsgrad: MellanliggandeKategori: Logisk EkvivalensTyp: BevisGivet premisserna:
- P → Q
- P
Bevisa: Q
P → Q, P ⊢ QMål: Bevisa ?
Bygg ditt bevis steg för steg
1.
P → Q
Premiss
2.
P
Premiss
Givet premisserna:
Bevisa: Q
P → Q, P ⊢ QBygg ditt bevis steg för steg