The logical form of a proposition is a way of representing it (often using the formal grammar and symbolism of a logical system), to reduce it to simpler components if necessary, and to display its similarity with all other propositions of the same type.
Hình thức logic của một mệnh đề là một cách biểu diễn nó (thường sử dụng ngữ pháp và biểu tượng chính thức của một hệ thống logic), để giảm nó thành các thành phần đơn giản hơn nếu cần và để hiển thị sự tương tự của nó với tất cả các mệnh đề khác cùng loại.