PT logic của GS Tạ Quang Bửu

PHƯƠNG TRÌNH LOGIC
CỦA GS TẠ QUANG BỬU
Gi[í thiêu: GS Tạ Quang Bửu, nhà khoa học Việt Nam nổi tiếng, khi còn sống tuy bận nhiều về công tác lãnh đạo vẫn dành nhiều thời giờ nghiên cứu khoa học và bồi dưỡng cán bộ. Giáo sư khi giảng dạy thường dùng những ví dụ vui, dễ hiểu, rất sâu sắc để minh họa các khái niệm.
Trong một lớp học bồi dưỡng về logic, giáo sư ra cho cả lớp 1 bài toán vui như sau:
“EM VỢ ÔNG ẤY = CẬU CHỒNG TÔI” => ÔNG ẤY là ai?

Đề ra : Bà A cùng đi với 1 cụ già đến gặp ông B. Ông B hỏi bà A:
“Cụ già ấy là ai?”. Bà A trả lời: “Em vợ ông ấy là cậu chồng tôi”.
Hỏi cụ già ấy có quan hệ như thế nào với bà A.
Bài giải :

Bài này có thể giải bằng phương trình logic như sau.:
Em vợ ông ấy = cậu chồng tôi, viết cho ngắn gọn là
E.V.Ô = C.Chồng.T
Thay Cậu (C) bằng Em mẹ (E.M) ta có

E.V.Ô = E.M.Chồng.T
Lại thay mẹ bằng Vợ cha (V. Cha) ở vế phải ta có
E.V.Ô = E.V.Cha.Chồng.T [ 1 ]
Ước lược 2 vế của phương trình [ 1 ] cho E.V. ta có
Ô = Cha.Chồng.T

Nghĩa là : ông ấy là cha chồng tôi.

Đáp án Ông ấy là Bố chồng bà A
Sưu tầm từ sách “Giai thoại toán học” của Phan Thanh Quang