述語 in Vietnamese

Kana: じゅつご

• vị ngữ

Sentence patterns related to "述語"

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

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

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

4. 「甲ガ」「乙ニ」「丙ヲ」はすべて述語を補足する語(補語)となる。

5. 重要なのは、それらをまとめる述語「紹介シタ」の部分である。

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

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

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

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

10. 要は繰り返しとなる述語を一つに括ったもので、倒置表現となることが多い。

11. では,ヨハネ 1章1節のように,定冠詞が主語にあって述語にない場合は,どうでしょうか。

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

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

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

15. 動作主(どうさしゅ、英語Agent)とは言語学において、述語の表す動作の主体または原因をいう。

16. この観点では、数学的対象は述語論理の言語で表現された形式理論の公理を満たす実体である。

17. 非合法な集合構成を回避するために、部分集合の定義にはZFCの述語だけを使用しなければならない。

18. チャーチは補足的な決定不可能の結果を証明し、ペアノ計算も一階述語論理も決定不可能であることを示した。

19. 」という文で「弟に」「算数を」など格を表す部分は、述語の動詞「教える」にかかる連用修飾語ということになる。

20. 「聖書文献ジャーナル」は,「無冠詞の述語が動詞に先行している[表現]は主として限定詞的意味を持つ」と述べています。

“Tập san về Văn chương Kinh-thánh” nói rằng các nhóm từ “gồm một thuộc ngữ không có quán từ và đi trước động từ thường chủ yếu nói lên ý nghĩa về phẩm chất”.

21. ^ たとえば、東京書籍『新編 新しい国語 1』(中学校国語教科書)では、1977年の検定本では「主語・述語」を一括して扱っているが、1996年の検定本ではまず述語について「文をまとめる重要な役割をする」と述べたあと、主語については修飾語と一括して説明している。

22. 代示理論では述語(例えば「人間」)が個々のもの(例えば全ての人間)の領域にどう及んでいるのかといった問題を扱う。

23. これらの節はどちらも,主語には定冠詞がありますが,述語である「霊」や「愛」に相当する語には定冠詞がありません。

24. ヨハネ 1章1節では二番目の名詞(テオス),つまり述語が動詞に先行しています。 その句は直訳すれば,「[テオス]であった,言葉は」となります。

25. 高階述語論理は表現能力が高いが、その特性、特にモデル理論に関わる部分では、多くの応用について性格が良いとは言えない。

26. 同「ジャーナル」はまた,ヨハネ 1章1節に関し,「述語の持つ限定詞的働きは極めて顕著であるゆえに,その名詞[テオス]を特定されたものとみなすことはできない」と述べています。

27. ゲーデルの完全性定理は、一階述語計算の演繹系が、全ての論理的に妥当な論理式の証明に追加の推論規則を必要としないという意味で「完全」であるとしている。

28. 聖書学者のA・T・ロバートソンは,主語と述語の両方に冠詞がある場合,「どちらも限定的なものであり,全く同じ,同一の,互換可能なものとして扱われる」ということを認めています。

29. 学者のジェームズ・アレン・ヒューエットはその節を引き合いに出し,こう明言しています。「 このような構文の場合,主語と述語は同じものではなく,同等とか同一とかいった意味合いもないのである」。

30. そこから記述計算量の結果として、複雑性クラス P(多項式時間で計算可能な問題のクラス)は一階述語論理に最小不動点を追加したもので表される言語の集合と正確に一致する。

31. メタ数学の研究が頂点に達したのは、一階述語論理による任意の文は論理的に妥当であるときに、そしてそのときのみ-すなわち、その文がその言語におけるいかなる構造においても真であるとき-導出可能である。

32. 時制 待遇法 尊敬 陳述イントネーション(진술억양) これを見る限り、北朝鮮でいう陳述性は叙法・時制といった述語の文法範疇とイントネーションという2つの要素が中心となっており、ソ連言語学における陳述性の定義とほぼ同様であることが分かる。

33. 旧約[聖書]の言語においては......[エローヒーム](イスラエルの神を指して使われている)の複数概念が完全に放棄されていることは,特にこの語がほとんどいつも単数形の述語動詞を伴って用いられており,また単数形の形容詞的限定語を取るという事実により示されている。