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

Cho các tiền đề:

  1. P → Q
  2. R → S
  3. P ∨ R

Chứng minh: Q ∨ S

P → Q, R → S, P ∨ R ⊢ Q ∨ S

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.
R → S
Tiền đề
3.
P ∨ R
Tiền đề