1 câu hỏi về logic Trong logic, biểu thức A -> B tương đương với ~ A v B. Để chứng minh nó, người ta so sánh giá trị khi A, B lần lượt nhận giá trị 1 và 0. Trong bảng giá trị đó, dựa vào đâu mà người ta nói là A | B | A -> B 0 | 0 | 1 0 | 1 | 1 1 | 0 | 0 1 | 1 | 1 Có phải đây là tiên đề không ạ? Hic, em bị học mất căn bản quá hateMU!!!
Trong logic tôi biết có mỗt một tiên đề: A ^ ( B v A ) = A v ( B ^ A )= A thôi Còn gì vui thích bằng chúng ta cùng ăn kem sữa chua SUSU
Cái em đưa ra là "Absorption axiom", mà axiom ko phải là tiên đề thì là cái gì[?/] Còn gì vui thích bằng chúng ta cùng ăn kem sữa chua SUSU
cái của bác rõ không là tiên đề. bác chỉ cho tôi cuốn sách nào nói đó là asiom đi. Mà cũng có thể công nhận cái đó là tiên đề. Rồi sau đó cm những cái khác như là một định lý. Россия моя пе?вая лZбовO!!
Của hateMU là định nghĩa chứ sao là tiên đề được. Còn của kakalot là định lý thôi, nó chẳng có tí tẹo gì ý nghĩa "căn bản" cả. Trước thềm chôn hoa rầu rầu người ơi!
Thực ra trong Toán người ta hay nhầm lẫn đinghj nghĩa với tiên đề. Như khi học định nghĩa không gian vec tơ người ta đưa ra 8 cái gọi là tiên đề, mà thực ra là định nghĩa đấy chứ. Về sau mấy cái định nghĩa không gian tô pô, độ đo v.v toàn gọi là tiên đề cả.
Bác xem thử quyển Survey of Modern Algebra của Birkhoff, G. và Mac Lane, S. ,tái bản lần thứ 5 năm 1996 trang 317. Còn gì vui thích bằng chúng ta cùng ăn kem sữa chua SUSU
cái này mặc dù là định nghĩa nhưng em không hiểu được cái trực quan của nó. Em cứ thắc mắc mãi ở chỗ a -> b sao gọi là biểu thức logic mang giá trị 0,1 được. Lâu ngay thấy suy nghĩ mãi qủa là vô ích nên em thôi. Bây giờ em cứ tạm hiểu như vậy, định nghĩa mà!
