With the simple definition of the h

With the simple definition of the horseshoe we have just established, (pq)  (~pq) statements in which the horseshoe is the connective can be conveniently replaced by statements in which the wedge is the connective; and likewise, statements in disjunctive form may be readily replaced by statements in implicative form. When we seek to present a formal proof of the validity of deductive arguments, replacements of this kind are very useful indeed.

Kết quả (Việt) 1:

Với định nghĩa đơn giản của móng ngựa chúng tôi đã chỉ cần thiết lập,  (pq) (~ pq) báo cáo trong đó có móng ngựa là liên kết có thể thuận tiện thay thế bởi những lời mà nêm là liên kết; và tương tự như vậy, các báo cáo trong các hình thức ly phản có thể được dễ dàng thay thế bằng báo cáo theo hình thức implicative. Khi chúng tôi tìm kiếm để trình bày một chứng minh tính hợp lệ của lập luận suy diễn chính thức, thay thế loại này có thực sự rất hữu ích.

Kết quả (Việt) 2:

Với định nghĩa đơn giản của móng ngựa, chúng tôi đã chỉ thành lập, (pq)  (~ pq) báo cáo trong đó móng ngựa là những liên kết có thể được thay thế thuận tiện bởi các lệnh trong đó nêm là kết; và tương tự như vậy, báo cáo ở dạng rời rạc có thể được dễ dàng thay thế bởi những câu ở dạng implicative. Khi chúng tôi tìm cách trình bày một bằng chứng chính thức về giá trị của đối số suy luận, thay thế của loại hình này là rất hữu ích.