FORMAL LOGIC - dịch sang Tiếng việt

• logic hình thức
• logic chính thức
• lôgích hình thức
• luận lý hình thức
• formal logic

Ví dụ về việc sử dụng Formal logic trong Tiếng anh và bản dịch của chúng sang Tiếng việt

Other less important respects- though important enough to be the source of such essentially Hegelian conceptions as the“concrete universal” and the“union of identity in difference”- will be found where he explicitly deals with formal logic.[12].
Những phương diện khác kém quan trọng hơn- mặc dù đủ quan trọng để là nguồn gốc của những khái niệm cơ bản thuộc Hegel như“ phổ quát cụ thể”[ 11] và“ sự hợp nhất về cá tính trong khác biệt”[ 12]- sẽ được tìm thấy ở chỗ ông giải quyết chi tiết rõ ràng với lôgích hình thức[ 13].

rather than formal logic- specifically, macroeconomics or Marshallian microeconomics, which attempt to use the procedural observations
thay vì logic hình thức- cụ thể là kinh tế vĩ mô

Other less important respects-though important enough to be the source of such essentially Hegelian conceptions as the“concrete universal” and the“union of identity in difference”-will be found where he explicitly deals with formal logic.[12].
Những phương diện khác kém quan trọng hơn- mặc dù đủ quan trọng để là nguồn gốc của những khái niệm cơ bản thuộc Hegel như“ phổ quát cụ thể”[ 11] và“ sự hợp nhất về cá tính trong khác biệt”[ 12]- sẽ được tìm thấy ở chỗ ông giải quyết chi tiết rõ ràng với lôgích hình thức[ 13].

technology and science seeking formal logic as responsible for the correction rules and ethics as a fundamental principle to guide their actions.
khoa học của nó tìm kiếm logic hình thức là chịu trách nhiệm cho các quy tắc điều chỉnh và đạo đức như một nguyên tắc cơ bản để hướng dẫn hành động của họ.

of teaching moral and political philosophy as a compulsory subject in schools, even if other areas of philosophy(aesthetics, formal logic, epistemology, and ontology)
ngay cả khi các lĩnh vực triết học khác( thẩm mỹ, logic hình thức, nhận thức luận,

A working hypothesis is a provisionally accepted hypothesis proposed for further research, in a process beginning with an educated guess or thought.A different meaning of the term hypothesis is used in formal logic, to denote the antecedent of a proposition; thus in the proposition"If P, then Q",
Một giả thuyết làm việc là một giả thiết tạm thời được chấp nhận đề xuất cho nghiên cứu sâu hơn. Một ý nghĩa khác của thuật ngữ giả thuyết được sử dụng trong logic chính thức, để biểu thị tiền đề của một mệnh đề;

discovered that a formal logic system that was developed by computer scientists, called“type theory,” could
một hệ thống logic chính thức được phát triển bởi các nhà khoa học máy tính,

But it was based on formal logic.
Nhưng nó dựa trên logic hình thức.

We all use formal logic for everyday purposes.
Cả chúng ta sử dụng logic hình thức cho những mục đích thường ngày.

Knowing some formal logic and Boolean algebra is good.
Biết một số logic hình thức và đại số Boolean là tốt.

Therefore, in decision making, one almost always follows formal logic.
Do đó, trong việc ra quyết định, một người hầu như luôn tuân theo logic.

At the same time, Marxism doesn't abandon formal logic altogether.
Đồng thời, chủ nghĩa Marx cũng không gạt bỏ logic hình thức.

Whereas traditional formal logic seeks to banish contradiction, dialectical thought embraces it.
Trong khi logic hình thức truyền thống tìm cách loại trừ cái đối lập, thì tư duy biện chứng lại nắm lấy nó.

In formal logic, O and E are assumed to be sets of literals.
Trong logic hình thức, O và E được giả định là các tập số chữ.

was based on formal logic.
là dựa trên logic hình thức.

The whole point is that the laws of formal logic break down beyond certain limits.
Toàn bộ vấn đề là ở chỗ những quy luật của logic hình thức bị sụp đổ khi vượt qua một số những giới hạn nhất định.

Logic programming is a type of programming paradigm which is largely based on formal logic.
Logical paradigm là một loại mô thức lập trình mà phần lớn dựa trên logic hình.

You couldn't teach a child a table of multiplication or addition without using formal logic.
Bạn không thể dạy cho một đứa trẻ bản cửu chương mà lại không dùng đến logic hình thức.

Declarative programming often considers programs as theories of a formal logic, and computations as deductions in that logic space.
Lập trình khai báo thường xem chương trình như là lý thuyết của một logic hình thức, và tính toán như là suy luận trong không gian logic đó.

The field incorporates both the mathematical examine of logic and the applications of formal logic to other areas of mathematics.
Logic toán học bao gồm nghiên cứu toán học về logic và ứng dụng của logic hình thức trong những lĩnh vực toán học khác.