0:00
Trung CấpTương Đương LogicChứng Minh

Cho các tiền đề:

  1. P → Q
  2. ¬Q

Chứng minh: ¬P

P → Q, ¬Q ⊢ ¬P

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.
¬Q
Tiền đề