Nghĩa của từ 一階 bằng Tiếng Việt
Kana: いっかい *n
- tầng trệt; tầng một, bậc thứ nhất (cầu thang ...)
Đặt câu có từ "一階"
1. 水たまりに来る動物が一番よく見えるのは,一階の展望室です。
2. 例えば、一階の論理式 ∀x (x ≠ x + 1) では、変項 x は任意の個体を表す。
3. 同様にクラス Lは、一階述語論理に可換な推移閉包を加えたものである。
4. Henkin semantics を伴った二階述語論理は、一階述語論理と同等の表現能力しかない。
5. 同様に、古典一階述語論理において、一方の量化子は他方と否定を用いて定義できる。
6. 完全性定理は一階述語論理の中心的属性だが、あらゆる論理で成り立つわけではない。
7. チャーチは補足的な決定不可能の結果を証明し、ペアノ計算も一階述語論理も決定不可能であることを示した。
8. 一階述語論理では単一の標準の意味論しかなかったが、二階述語論理では2種類の意味論 standard semantics と Henkin semantics がある。
9. 時代が下るにつれ、エスクワイアは貴族としての爵位は持たずとも、領地をもち、庶民院の立候補、及び投票資格のあるジェントリ階級の一階級をさすようになっていった。
10. ゲーデルの完全性定理は、一階述語計算の演繹系が、全ての論理的に妥当な論理式の証明に追加の推論規則を必要としないという意味で「完全」であるとしている。
11. ただし、その後も「日本一階数の多い超高層ビル」および「中部地方以東の東日本で最も高い超高層ビル」および「関東地方で最も高いビル」、「神奈川県で最も高いビル」の座を守っている。
12. 後者の興味は主観的に知覚した美の一階微分に対応し、観測者は反復、対称性、フラクタル自己相似性のような秩序の発見による観測結果の推測性と圧縮性を改良し続けている。
13. そこから記述計算量の結果として、複雑性クラス P(多項式時間で計算可能な問題のクラス)は一階述語論理に最小不動点を追加したもので表される言語の集合と正確に一致する。
14. メタ数学の研究が頂点に達したのは、一階述語論理による任意の文は論理的に妥当であるときに、そしてそのときのみ-すなわち、その文がその言語におけるいかなる構造においても真であるとき-導出可能である。