0:00
AvanzatoEquivalenza LogicaProva Trascina e Rilascia

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

Passaggi Disponibili:

  • R ∧ S (Conjunction Introduction su 5, 6)
  • P ∧ Q (Premessa)
  • P (Conjunction Elimination su 1)
  • P → R (Premessa)
  • Q → S (Premessa)
  • R (Modus Ponens su 4, 3)
  • Q (Conjunction Elimination su 1)
  • S (Modus Ponens su 5, 7)

Obiettivo: Dimostrare R ∧ S

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

Passaggi disponibili

Tutti i passaggi usati nella dimostrazione

Obiettivo: Dimostrare Q

Trascina i passaggi qui per costruire la tua dimostrazione