0:00
MellanliggandeLogisk EkvivalensBevisavslutning

Komplettera följande bevis:

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

Mål: Bevisa R

P → Q, Q → R, P ⊢ R

Mål: Bevisa R

Klicka på de tomma fälten för att fylla i beviset

1.
P → Q
Premiss
2.
Q → R
Premiss
3.
P
Premiss
4.
Q
Välj regel
Välj radreferenser
5.
R
Välj regel
Välj radreferenser