Bài giảng Lôgích - Chương 5 Suy luận

Định nghĩa SL có tiền đề nói về sự tương đồng về tính chất của các quan hệ giữa các cặp sự vật để đi đến kết luận nói rằng các quan hệ đó còn có chung một vài tính chất khác. Công thức Quan hệ R1(A,B) và quan hệ R2(C,D) có chung những tính chất: a1, a2, ., ak; Mà quan hệ R2(C,D) còn có thêm một số tính chất: b1, b2, ., bl; Vậy, có thể quan hệ R1(A,B) cũng có những tính chất: b1, b2, ., bl.