0:00
PrincipianteEquivalenza LogicaProva Trascina e Rilascia

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

Obiettivo: Dimostrare Q

P → Q, P ⊢ Q

Passaggi disponibili

P → QPremessa
PPremessa
QModus Ponens (1, 2)

Obiettivo: Dimostrare Q

Trascina i passaggi qui per costruire la tua dimostrazione