0:00
AvanzadoEquivalencia LógicaDemostración

Dadas las premisas:

  1. P ∨ Q
  2. ¬P

Demuestra: Q

P ∨ Q, ¬P ⊢ Q

Objetivo: Demostrar ?

Construye tu prueba paso a paso

1.
P ∨ Q
Premisa
2.
¬P
Premisa