Câu hỏi được gắn thẻ «propositional-logic»

Đối với tôi, dường như 'hàm ý' trong ngôn ngữ tiếng Anh không có nghĩa giống như toán tử logic 'ngụ ý', theo cách tương tự như từ 'OR' trong hầu hết các trường hợp có nghĩa là 'Độc quyền HOẶC' trong cách sử dụng ngôn ngữ hàng ngày của …

24 terminology  logic  first-order-logic  propositional-logic 

Tôi muốn biết nếu có một quy tắc để chứng minh điều này. Ví dụ: nếu tôi sử dụng luật phân phối, tôi sẽ chỉ nhận được .( Một ∨ Một ) ∧ ( A ∨ ¬ B )(Một∨Một)∧(Một∨¬B)(A \lor A) \land (A \lor \neg B)

22 logic  propositional-logic 

Gần đây tôi đã suy nghĩ về tính hợp lệ của bằng chứng bằng mâu thuẫn. Tôi đã đọc trong vài ngày qua những điều về logic trực giác và các định lý của Godel để xem liệu chúng có cung cấp cho tôi câu trả lời cho câu hỏi …

19 logic  first-order-logic  propositional-logic  incompleteness 

Tôi đã đọc câu hỏi Tính nhất quán và đầy đủ có nghĩa là sự đúng đắn? và tuyên bố đầu tiên trong đó nói: Tôi hiểu rằng âm thanh ngụ ý sự nhất quán. Điều mà tôi đã khá bối rối vì tôi nghĩ rằng âm thanh là một …

12 terminology  logic  first-order-logic  propositional-logic  incompleteness