0:00
GemiddeldLogische EquivalentieBewijs Voltooiing

Voltooi het volgende bewijs:

  1. P → Q (Premise)
  2. Q → R (Premise)
  3. P (Premise)
  4. _____ (?)
  5. _____ (?)

Doel: Bewijs R

P → Q, Q → R, P ⊢ R

Doel: Bewijs R

Klik op de lege velden om het bewijs in te vullen

1.
P → Q
Premisse
2.
Q → R
Premisse
3.
P
Premisse
4.
Q
Selecteer regel
Selecteer regelreferenties
5.
R
Selecteer regel
Selecteer regelreferenties