0:00
AvanzatoEquivalenza LogicaDimostrazione

Date le premesse:

  1. P ∨ Q
  2. ¬P

Dimostrare: Q

P ∨ Q, ¬P ⊢ Q

Obiettivo: Dimostrare ?

Costruisci la tua dimostrazione passo dopo passo

1.
P ∨ Q
Premessa
2.
¬P
Premessa