0:00
Nâng CaoTương Đương LogicChứng Minh

Cho các tiền đề:

  1. P ∨ Q
  2. ¬P

Chứng minh: Q

P ∨ Q, ¬P ⊢ Q

Mục tiêu: Chứng minh ?

Xây dựng chứng minh của bạn từng bước

1.
P ∨ Q
Tiền đề
2.
¬P
Tiền đề