命題、言明
proposition
命題
真偽値
truth value, logical value
真理值
明け方、夜明け前
dawn
黎明
説明
description
說明,描述
構文解析
syntax parsing
句法分析
N1をパースする、N1を解析する、N1を分析する
parse N1, analyze N1
分析N1
定理
theorem
補題
lemma
引理