コンピュータのための離散数学入門. ... 1.8 命題(proposition),恒真命題orトートロジー(tautology),矛盾命題(contradiction),真(true),偽(false), ...
確定! 回上一頁