0:00
IntermedioEquivalenza LogicaProva Trascina e Rilascia

Disponi i seguenti passi nell'ordine corretto per dimostrare R dalle premesse date.

Obiettivo: Dimostrare R

P ∨ Q, ¬P, Q → R ⊢ R

Passaggi disponibili

P ∨ QPremessa
¬PPremessa
Q → RPremessa
QSillogismo Disgiuntivo (1, 2)
RModus Ponens (3, 4)

Obiettivo: Dimostrare R

Trascina i passaggi qui per costruire la tua dimostrazione