0:00
İleriMantıksal Eşdeğerlikİspat

Verilen öncüller:

  1. P ∨ Q
  2. ¬P

İspatlayın: Q

P ∨ Q, ¬P ⊢ Q

Hedef: ? ispatla

İspatınızı adım adım oluşturun

1.
P ∨ Q
Önerme
2.
¬P
Önerme