命題、言明
proposition
命題
真偽値
truth value, logical value
真理值
明け方、夜明け前
dawn
黎明
説明
description
說明,描述
構文解析
syntax parsing
句法分析
N1をパースする、N1を解析する、N1を分析する
parse N1, analyze N1
分析N1
定理
theorem
補題
lemma
引理
一日中、夜も昼も、いつも、ずっと
day and night, always, all the time
日夜,總是,整天