0:00
MellemliggendeLogisk ÆkvivalensBevisfuldførelse

Fuldfør følgende bevis:

  1. P → Q (Præmis)
  2. Q → R (Præmis)
  3. P (Præmis)
  4. _____ (?)
  5. _____ (?)

Mål: Bevis R

P → Q, Q → R, P ⊢ R

Mål: Bevis R

Klik på de tomme felter for at udfylde beviset

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