Propositional logic là gì?

Lôgic mệnh đề (propositional logic) là nhánh lôgic học nghiên cứu các cách nối (join) và / hoặc sửa đổi toàn bộ mệnh đề (proposition), phát biểu (statement) hoặc câu để tạo thành các mệnh đề, phát biểu hoặc câu phức tạp hơn, cũng như các mối quan hệ và tính chất lôgic. có nguồn gốc từ các phương pháp kết hợp hoặc thay đổi các phát biểu này.

Ví dụ chúng ta có hai mệnh đề sau:

• Adam là một cầu thủ xuất sắc
• Adam là nam.

Chúng ta nối hai mệnh đề trên bằng phép nối kết và (and) như sau: Adam là một cầu thủ xuất sắc và Adam là nam

Một ví dụ khác là chúng ta có mệnh đề sau: Adam thích đọc sách.

Chúng ta sửa đổi mệnh đề trên bằng phép phủ định (negation) như sau: Adam không thích đọc sách.