0:00
IntermedioEquivalenza LogicaProva Trascina e Rilascia

Disponi i seguenti passaggi nell'ordine corretto per dimostrare S dalle premesse date.

Obiettivo: Dimostrare S

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

Passaggi disponibili

P → QPremessa
Q → RPremessa
R → SPremessa
PPremessa
QModus Ponens (1, 4)
RModus Ponens (2, 5)
SModus Ponens (3, 6)

Obiettivo: Dimostrare S

Trascina i passaggi qui per costruire la tua dimostrazione