0:00
AvanzatoEquivalenza LogicaDimostrazione

Date le premesse:

  1. P → Q
  2. R → S
  3. P ∨ R

Dimostrare: Q ∨ S

P → Q, R → S, P ∨ R ⊢ Q ∨ S

Obiettivo: Dimostrare ?

Costruisci la tua dimostrazione passo dopo passo

1.
P → Q
Premessa
2.
R → S
Premessa
3.
P ∨ R
Premessa