Kéo theo vật chất: p→q ⊨ ¬p∨q có hợp lệ không?

p → q đúng đúng ở những dòng mà ¬p ∨ q đúng: hoặc tiền đề sai, hoặc hệ quả đúng. Kéo theo là một tuyển trá hình.

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¬p∨qphủ định của kết luận
      1. 3¬p
        1. 4q
          1. 5p
            1. 6p

            2. 7q

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