phép logic liên kết hai phán đoán thành một phán đoán mới bằng một kết từ logic, thường được diễn đạt trong ngôn ngữ bằng nếu... thì... (P ( Q: nếu P thì Q).