Hàm ý là một thuật ngữ với một số cách sử dụng, theo các định nghĩa được chỉ ra bởi từ điển của Học viện Hoàng gia Tây Ban Nha (RAE) . Nó có thể là hậu quả hoặc hậu quả của một cái gì đó, một mâu thuẫn giữa các điều khoản hoặc sự không tương thích về đạo đức hoặc pháp lý để đưa ra quyết định công bằng .

Như nó xảy ra với nhiều thuật ngữ khác trong ngôn ngữ của chúng tôi, từ này được chấp nhận chủ yếu ở một số quốc gia Nam Mỹ, chẳng hạn như Argentina, Uruguay và Chile, trong khi ở Tây Ban Nha, sự tham gia của Tây Ban Nha được sử dụng, bắt nguồn trực tiếp từ một từ Latin. Mặc dù ý nghĩa của chúng là tương đương, nhưng chúng có những khác biệt nhất định, chẳng hạn như ý nghĩa của tiếng Uruguay và tiếng Chile có nghĩa là không tương thích về mặt pháp lý hoặc đạo đức, được nêu trong đoạn đầu tiên.

Biết rằng hàm ý và hàm ý là các thuật ngữ đồng nghĩa, có thể nói về vai trò của chúng trong logic . Tính toán logic, còn được gọi là đạo hàm logic, là một hệ thống hoặc thuật toán cung cấp khả năng suy luận hoặc suy ra một tuyên bố đúng, dựa trên một hoặc nhiều điều đã được xác thực là đúng; Hai trong số những cách mà nó cho phép kết nối và đề xuất liên quan là sự thật chức năng có điều kiện và hàm ý .

Có thể đọc hoạt động logic sau A -> B theo hai cách, tùy thuộc vào việc đó là điều kiện chức năng thực sự hay hàm ý: trong trường hợp đầu tiên, cách đọc của nó sẽ là A, sau đó B và điều này có thể được minh họa bằng mệnh đề "Nếu chúng ta ở trong năm 2014, thì năm tiếp theo sẽ là 2015" ; cách đọc khác có thể là A ngụ ý B, trong đó hai mệnh đề có liên quan với nhau, mỗi mệnh đề có một giá trị khác nhau và một ví dụ có thể là "Chúng ta đang ở trong năm 2014", do đó "tiếp theo sẽ là 2015" .

Tìm hiểu sâu hơn về sự khác biệt, việc đọc có điều kiện dẫn đến mệnh đề có một trong hai giá trị có thể là đúng và sai; trong bảng các giá trị chân lý của nó (được sử dụng để hiển thị các giá trị chân lý của các mệnh đề ghép, dự tính tất cả các kết hợp có thể có của sự thật), có thể thấy rằng tuyên bố này chỉ có thể sai nếu A đúng và B, sai. Mặt khác, hàm ý của B phụ thuộc vào tính hợp lệ của khẳng định A: nếu chúng ta nói dối khi nói rằng "chúng ta đang ở trong năm 2014", thì bất kỳ đề xuất nào liên quan đến nó đều mất đi tính hợp lệ.