0:00
AvanzatoEquivalenza LogicaProva Trascina e Rilascia

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

Passaggi Disponibili:

  • Q → R (Premessa)
  • ¬R (Premessa)
  • ¬Q (Modus Tollens su 1, 2)
  • P → Q (Premessa)
  • ¬P (Modus Tollens su 4, 5)

Obiettivo: Dimostrare ¬P

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

Passaggi disponibili

Tutti i passaggi usati nella dimostrazione

Obiettivo: Dimostrare Q

Trascina i passaggi qui per costruire la tua dimostrazione