0:00
IntermedioEquivalenza LogicaDimostrazione

Date le premesse:

  1. P → Q
  2. Q → R

Dimostrare: P → R

P → Q, Q → R ⊢ P → R

Obiettivo: Dimostrare ?

Costruisci la tua dimostrazione passo dopo passo

1.
P → Q
Premessa
2.
Q → R
Premessa