1. 这是一个逻辑上的错误

そう これは論理的エラーです

2. 他们在不确定性方面犯逻辑错误

人は不確実な理由付けで 論理的エラーを犯します

3. 二阶逻辑接着被高阶逻辑和类型论所扩展。

二階述語論理もさらに高階述語論理や型理論に拡張される。

4. 多么有力的逻辑!

何という痛烈な論理なのでしょう。

5. 带有Henkin语义的二阶逻辑不比一阶逻辑有更大表达能力。

Henkin semantics を伴った二階述語論理は、一階述語論理と同等の表現能力しかない。

6. 完备性定理是一阶逻辑的中心性质,不在所有逻辑中成立。

完全性定理は一階述語論理の中心的属性だが、あらゆる論理で成り立つわけではない。

7. 论点编排合乎逻辑

資料に基づく論理的な発展

8. 可是,每逢我提出异议,主持研究的弟兄都能以合乎逻辑的圣经观点驳倒我。

しかし,一つの点に対して反論する度に,わたしとの研究を司会していた兄弟は,論理にかなった聖書的見方を持ち出しました。

9. 不过,这听起来不合逻辑!

これは,常識に反することに思えました。

10. 他的话怎样合乎逻辑呢?

その論証には,どんなことが含まれていたでしょうか。

11. 命题逻辑只能表达事实,而自动认识逻辑可以表达关于事实的知识和知识的缺乏。

命題論理は事実しか表現できないが、自己認識論理は知識やある事実に関する知識がないことを表現できる。

12. 在这个过程中,他们不禁想到 如果第五个公理实际上是错的, 逻辑上会有什么问题。

平行線公準を証明しようと試みましたが できませんでした 証明の過程において彼らは 平行線公準が正しくないとすると

13. 二阶逻辑的语义建立每个句子的意义。

二階述語論理の意味論は、個々の文の意味を確立するものである。

14. 不像只有一个标准语义的一阶逻辑,二阶逻辑有两个常用的不同语义:标准语义和Henkin语义。

一階述語論理では単一の標準の意味論しかなかったが、二階述語論理では2種類の意味論 standard semantics と Henkin semantics がある。

15. 但是这个逻辑在生物学中很少见。

生物学では滅多にないことです

16. 知识分子只需要世界语和逻辑语。

知識人はエスペラントとロジバンだけを必要とします。

17. 人们害怕从事自己命中注定的工作?这符合逻辑吗? 人们害怕从事自己命中注定的工作?这符合逻辑吗?

天職だと思うことを― 恐れるのが当然と みなされるのが?

18. 类似的,类 L 是一阶逻辑带有交换传递闭包。

同様にクラス Lは、一階述語論理に可換な推移閉包を加えたものである。

19. 线性逻辑由法国数学家Jean-Yves Girard在1987年提出。

線形論理は1987年、フランスの論理学者ジャン=イヴ・ジラールが提唱した。

20. 工业时代的主导逻辑 就是划分贫富差距。

産業化時代を支配した考え方は 格差が軸となっていました

21. 公理语义学的一个实例是霍尔逻辑。

公理的意味論の典型的な例としてホーア論理がある。

22. 那是一台西门子S7-400 PLC 可编程逻辑控制器

Siemens S7-400 PLC プログラマブルロジックコントローラです

23. 若你这样做 ... 按常理 -- 逻辑你必须转动手腕.

これをひっくり返すには 理屈や常識では 手首を回す

24. 百度和 Search Ads 360 使用不同的逻辑来计算平均排名。

バイドゥと 検索広告 360 は、平均掲載順位の計算において異なるロジックを採用しています。

25. 下面的例子使用always_comb来描述组合逻辑电路。

always_comb ブロックは組合せ論理を生成する。

26. 法利赛人对这么明确中肯的逻辑哑口无言。

パリサイ人たちは,このような簡潔で明快な論理に対して何も答えることができません。

27. 学习清洁言语的一个合乎逻辑的目标是献身受浸。“

清い言語を学ぶ人は当然,献身とバプテスマを目指します。

28. 20.( 甲)罗马书以什么合乎逻辑的理由使人相信上帝?(

20 (イ)ローマ人への書は,神の存在を信ずるどんな論理的理由を提出していますか。(

29. co-NP是用全称二阶逻辑可表达的语言的集合。

co-NP は、全称量化二階述語論理で表現できる言語の集合である。

30. 这个结论显然很荒谬 但是,逻辑的瑕疵在哪呢?

この結論は明らかに 理屈に合いませんが この論理のどこに 欠陥があるのでしょう?

31. 在谓词逻辑的两类基本量化是全称量化和存在量化。

述語論理における2種類の基本的量化として、全称量化と存在量化がある。

32. 本文对评估第三产业的逻辑类型进行了初步探讨。

本論文では第3セクターの評価における理論のタイプの略図を提示する。

33. 在数理逻辑中,最小不动点常与做递归定义有关。

数理論理学では、最小不動点は何らかの再帰的定義を構築することに関連している。

34. 在概率论证理论中,概率不直接附加到逻辑句子上。

en:probabilistic argumentation理論では、確率は直接論理命題に付与されていない。

35. 特别是,有类型 ⊥ 的循环程序,尽管没有“⊥ true”的逻辑证明。

特に、再帰プログラムは型 ⊥ を持つこともあるが、"⊥ true" についての論理的証明は存在しない。

36. 在扭曲的恐惧逻辑影响下, 任何事情都比未知要好。

歪んだ思考にとらわれると 何であれ 未知のものよりましに思えます

37. 公理语义学(Axiomatic semantics)是使用数理逻辑来证明程序正确性。

公理的意味論(こうりてきいみろん、Axiomatics Semantics)とは、数理論理学に基づいてプログラムの正当性を証明する手法。

38. 你可能会说,这些数字 看上去很美,也符合逻辑, 可这现实吗?

これらの数字は 素晴らしく理に適って いるように見えるが 本当に実現可能なのだろうかと 思われるかもしれません

39. 在程式碼中加入斷言,此方法最早是由霍尔逻辑提出。

表明をプログラム内で使うことは、ホーア論理で最初に示唆された。

40. 他们只是无知无畏,按照自己一贯的逻辑在行事罢了”。

論理的に考える頭脳がないから、結果として自分のおかれた状況にふらふらと従うばかりである」と述懐している。

41. 作为当时华沙大学历史上最年轻的博士毕业后,塔斯基在波兰师范学院教授逻辑学、在华沙大学教授数学和逻辑学,并当武卡谢维奇的助手。

タルスキはワルシャワ大学にて最年少で博士号を取得した後、ポーランド教育大学で講師として論理学、ワルシャワ大学でも講師として数学と論理学を教える傍ら、ヤン・ウカシェヴィチの助手を務めた。

42. 乙)从第二章起,经文以合乎逻辑的方式追溯什么族谱的发展?(

ロ)2章の初めからどんな系図を筋道の通った仕方でたどれますか。(

43. 4. 你应当以简单和合乎逻辑的方式将知识传授给学生。

4 知識は平易で,論理的な仕方で研究生に伝えられるべきです。

44. □ 什么可以帮助我们在外勤服务上作合乎逻辑、令人信服的介绍词?

□ 野外奉仕で,論理的な,納得させる話をするには,何が助けになりますか

45. 圣经论及蜂蜜的话清楚表明在这方面表现节制是合乎逻辑的。

節度に関する論理は,聖書がはち蜜について述べている事柄によって裏づけられます。

46. 我的意思,这是一个很好的逻辑, 听起来非常有说服力的,不是吗?

論理は明確で説得力もあり 議論の余地もなさそうですが?

47. 你只要选用切题的资料,而且按逻辑编排,你的演讲就会达到目标。

適切な資料だけを用い,それを論理的な順序で配列することは,話の目標の達成に寄与します。

48. 他有丰富的圣经知识,说话冷静,合乎逻辑,是个胜任的圣经教师。

聖書の知識に秀で,穏やかで論理的な話をするテオドールは,巧みな教え手でした。

49. 凭着对上帝的道具有正确的知识,我们能够将谬误的道理刺穿和砍倒,把它们的缺乏逻辑暴露出来,特别是指出它们与圣经有所冲突之处。(

神の言葉の正確な知識があれば,偽りの教えを刺し通し,切り払い,そこに論理性が欠けていることや,特に聖書と矛盾していることを暴露することができます。(

50. 这种参与行为,注视图象的过程产生意义 是一个选择性的逻辑。

選択的なロジックなのです

51. 结论是他们作为逻辑都是自恰的,就是说这里有无居留(uninhabited)类型。

結果としてそれらは論理として一貫しており、uninhabited types がある。

52. 想象在一个岛上, 一个疯狂的独裁者囚禁了100个完美的逻辑家

こんな島を想像してみてください 100人の完璧に論理的な人々が 独裁者によって幽閉されています

53. 熟记这些年份使你学会怎样去思考,使你知道怎样作出合逻辑的结论吗?

それらの事実は,推論して筋道の通った結論に達するようあなたを教えたでしょうか。

54. 因此,信徒到降世圣穴这样的地方朝圣,崇敬这些地点,可说是合乎逻辑吗?

そうであれば,信徒たちが降誕の洞穴のような場所に巡礼に出かけ,そこで礼拝するというのは筋の通ったことでしょうか。

55. “在我看来,这是一种疯狂的逻辑。 以我们的聪明,应该想得比这好一些才对”

「わたしにとって,これは気違いじみた論法である。 もっとましな考え方があるはずだ」

56. 如果说DNA中巨量的复杂信息是碰巧产生的,这根本就不合逻辑,有违常理。

DNAの複雑で膨大な量の情報が何ら意図のない偶発的な過程で生じたと考えるのは,理性的なことではなく,これまでの人間の経験にも反しています。

57. 我们并非每次都对,但至少选择压力 不会一致偏离真正的数学和逻辑。

十分な理解力を有していませんが 進化論的な選択は 少なくとも 真の数学や論理学から 退化する方向には向かっていません

58. EXPTIME是用带有增加的最小不动点算子的二阶逻辑可表达的语言的集合。

EXPTIME は、二階述語論理に最小不動点演算子を追加したもので表現できる言語の集合である。

59. 4 根据圣经提出合乎逻辑的论据:学生必须认为真理是合乎情理的。(

4 聖書に基づく筋道の通った論議を展開する: 真理は研究生にとって納得のゆくものでなければなりません。(

60. 在他懂得逻辑思考,分析事理之前,他已能凭着间接、零碎的证据学会说话。”

直接教えられるわけではない断片的な情報に基づき,しかもまだ論理的かつ分析的な思考を行なえない年齢でこれを成し遂げるのである」。

61. 上帝王国的代表应当给外人良好的印象,这岂不是合乎逻辑的想法吗?

神の王国の代表者が外部の人の前で上品な身なりをすべきなのはもっともなことではないでしょうか。

62. 资料如果以合乎逻辑的方式发表出来,听者就更容易明白、接受和铭记于心。

情報が論理的に提出されれば,聴く人にとっては,理解しやすく,受け入れやすく,記憶しやすくなる。

63. 这些刊物所运用的论据多么合乎逻辑,根据圣经所作的推理多么令人信服。

这些刊物所运用的论据多么合乎逻辑,根据圣经所作的推理多么令人信服。

64. 但是其中的一个建议 尽管逻辑上讲是不错的 即是电梯里不安上下键 但如果电梯只在两层楼间运作的话 那样其实是很恐怖的一件事

そのうちの一つは 論理的に考えてかなりいい案で 二つの階を行き来するだけのエレベーターには 上と下のボタンを装備しないというものです 実際かなり怖いですよね

65. 太7:29)耶稣的教诲出于上帝(约7:16;8:28),他的话简洁,合乎逻辑,无法反驳。

マタ 7:29)イエスの教えの源は神でした。( ヨハ 7:16; 8:28)イエスは簡潔さ,反ばくし難い論理,考えを刺激する質問,印象的な修辞的表現,および聴衆のよく知っている物事から取った意義深い例えを駆使して情報を伝えました。(

66. 罗马书3:1,2;9:1-3)可是,他却以清晰明确、无可反驳的逻辑去发展他的论据。

ローマ 3:1,2; 9:1‐3)それでも,傑出した明快さと反駁の余地のない論理をもって論議を展開しています。

67. 这种设计下的大部分逻辑都在服务器上运行,HTML通常也在服务器上呈现。

ロジックはほとんどサーバ側で実行され、HTMLも通常サーバ側で生成される。

68. 类似的,在经典一阶逻辑中,一个量词可以依据另一个量词和否定来定义。

同様に、古典一階述語論理において、一方の量化子は他方と否定を用いて定義できる。

69. 例如"对于某些奇数n,n·n = 25" 逻辑等价于"对于某些自然数n,n是奇数且n·n = 25"。

例えば、「ある奇数 n について、n·n = 25 である」という文は「ある自然数 n について、nは奇数であり、かつ n·n = 25 である」という文と論理的に等価である。

70. 在逻辑和类型论之间的区别主要是把焦点从类型(命题)转移到了程序(证明)。

論理と型理論の違いは、焦点が型(命題)からプログラム(証明)に移っている点である。

71. "嗨达图"(英语:Hidato)是以色列数学家吉奥拉•贝内德克博士发明的一种逻辑益智游戏。

ハイダト (英語: hidato,は、イスラエルの数学者、ギョラ・ベネデク博士が発明したロジックパズルゲーム。

72. 因此,在上世纪末, 我开始思考, 如果我可以把这个逻辑 翻个个儿,那该多好啊。

20世紀も終わりのころ、 私はこう考えました。 もしこのロジックを逆に してみたらどうだろう、と。

73. ......军事情报同时从四方涌来,就算最精明、最有逻辑的头脑也来不及吸收和消化”。

......最も鋭敏かつ理路整然とした頭脳の持ち主にとっても,押し寄せる大量の未加工データの分析と理解はもはや不可能であった」。

74. 他反对盲目的信仰;对于每件事,他都按自己视为合理的证据和逻辑去寻求解释。

彼は盲信を退け,あらゆる事柄について,自ら合理的な証拠および論理とみなす事柄に基づいた説明を求めました。

75. 约翰福音9:16)不错,魔术师善于骗倒观众。

ヨハネ 9:16,欽定訳)確かに奇術師は観客を巧みに欺きます。

76. 造物主不能只存在于逻辑中, 除非你相信本体论。 我希望你不要信, 因为本体论不是很严谨。

造物主不能只存在于逻辑中, 除非你相信本体论。 我希望你不要信, 因为本体论不是很严谨。

77. 而且真正要达到目的, 我们需要超越, 走到墙的另一面,逻辑上来说, 看不见的地方。

そしてその本質を見極めるためには その先に進まなくてはなりません 壁の向こう側には論理的でないものや 目には見えないものもあります

78. 皮尔士在1882年写了第一篇关于图形逻辑的论文,并持续开发这种方法直到1914年他故去。

パースは1882年に初めて論理グラフについての論文を書き、1914年に死去するまでその手法の研究を続けた。

79. 我们若想帮助别人养成耐久的基督徒品德,我们自己具有同一的品德岂不是很合乎逻辑吗?

他の人々のうちに築き上げたいと願っているクリスチャンのその耐久性のある特質をわたしたちも持っていなければならない,というのは筋の通ったことではないでしょうか。

80. 对许多人来说,有这样一个宇宙存在,但却没有某种控制的力量,看来是不合逻辑的。

このような宇宙がいかなる力の統御も受けずに存在するのは不合理だと思う人は少なくありません。