Tam đoạn luận tuyển: p∨q, ¬p ⊨ q có hợp lệ không?

Một tuyển cần ít nhất một vế đúng, nên p ∨ q cùng với ¬p để lại q. Loại một vế thì vế kia đứng vững.

Hợp lệp∨q, ¬p ⊨ q

Mọi nhánh của bảng đều đóng, nên không phép gán nào làm các tiền đề đúng mà kết luận sai.

Chứng minh (bảng ngữ nghĩa)

  1. 1p∨qtiền đề
    1. 2¬ptiền đề
      1. 3qphủ định của kết luận
        1. 4p
          1. 5p

          2. 6q

nhánh đóng

Bảng ngữ nghĩa hoạt động thế nào →

Thử trong Máy tính

Thêm chứng minh mẫu