2018-06-13から1日間の記事一覧
bind → bound ;縛る、綴る、束縛 bound → bounded ;境界付ける、限定する "unbounded bound variable" 非限定束縛変数なんて言葉が出てくる。 consequent は後件で、含意の後半部。 consequence は結果、帰着で、論理用語としては帰結 conを取ると、sequen…
数学の命題記述で、全称限量が省略される。ちゃんと書くと: ∀a, b∈R.( (a + b)2 = a2 + 2ab + b2 ) ∀x∈R.( x2 ≧ 0 ) ∀x∈Z.( x ≧ 0 ∨ -x ≧ 0 ) この限量子省略が曖昧性に繋がり、コミュニケーションに失敗することがある。変数の変域が明示されてないと解釈…