결정 공리 oor Engels

결정 공리

Vertalings in die woordeboek Koreaans - Engels

axiom of determinacy

voorbeelde

공리주의는 모든 행동은 “두가지 지배적인 주인”, 즉 고통과 쾌락에 의해 결정되어야 한다고 주장한다.
Utilitarianism claims that all actions must be determined by “two sovereign masters” —pain and pleasure.

“이 금지 조처는 기상천외의 일이나 다름 없는 것으로 간주될 수 있으며, 또한 제2차 세계 대전 중 사람들이 행한 일이 1958년에 와서 어떤 공리적인 전쟁 기념관을 사용할 권리에 대한 시험이 되어야 한다고 결정한 것은 손톱만큼의 공의도 없는 처사입니다.
“This ban can be regarded as nothing less than fantastic and there is not the slightest justification for deciding that what persons did during World War II should be the test in 1958 regarding their rights with some utilitarian war memorial.

I 및 II propositional 미적분과 우려 장, tautologies 토론과 의사 결정 문제, 이중성, 일관성과 완성도, 그리고 공리계과 추론의 규칙의 독립.
Chapters I and II are concerned with the propositional calculus, discussing tautologies and the decision problem, duality, consistency and completeness, and independence of the axioms and rules of inference.