Chủ YếU triết học & tôn giáo

Logic pháp lý bắc cầu và toán học

Logic pháp lý bắc cầu và toán học
Logic pháp lý bắc cầu và toán học

Video: TOÁN RỜI RẠC Bài 1 Logic mệnh đề 2024, Tháng BảY

Video: TOÁN RỜI RẠC Bài 1 Logic mệnh đề 2024, Tháng BảY
Anonim

Luật chuyển tiếp, trong toán học và logic, bất kỳ tuyên bố nào có dạng Tiết Nếu aRb và bRc, thì aRc, Hồi trong đó, R R R là một mối quan hệ cụ thể (ví dụ:

bằng

Chỉ), a, b, c là các biến (thuật ngữ có thể được thay thế bằng các đối tượng) và kết quả của việc thay thế a, b và c bằng các đối tượng luôn là một câu đúng. Một ví dụ về luật bắc cầu là Giá Nếu a bằng b và b bằng c, thì a bằng c. Có luật bắc cầu cho một số quan hệ nhưng không phải cho những người khác. Một mối quan hệ bắc cầu là một mối quan hệ giữ giữa a và c nếu nó cũng giữ giữa a và b và giữa b và c cho bất kỳ sự thay thế nào của các đối tượng cho a, b và c. Do đó, người Đức

bằng

Là một mối quan hệ như vậy, cũng như

lớn hơn

ít hơn

Giáo dục

Có hai loại quan hệ mà không có luật chuyển tiếp: quan hệ nội động và quan hệ không truyền. Một mối quan hệ nội động là một mối quan hệ không giữ giữa a và c nếu nó cũng giữ giữa a và b và giữa b và c cho bất kỳ sự thay thế nào của các đối tượng cho a, b và c. Do đó, người Đức

là con gái (sinh học) của

Nghiêng là nội tâm, bởi vì nếu Mary là con gái của Jane và Jane là con gái của Alice, Mary không thể là con gái của Alice. Tương tự như vậy

là hình vuông của

Mối quan hệ không tự phát là mối quan hệ có thể hoặc không thể giữ giữa a và c nếu nó cũng giữ giữa a và b và giữa b và c, tùy thuộc vào các đối tượng được thay thế cho a, b và c. Nói cách khác, có ít nhất một sự thay thế mà mối quan hệ giữa a và c giữ và ít nhất một sự thay thế mà nó không có. Các mối quan hệ

yêu

Không bằng

Mùi là những ví dụ.