語釈1.編集1-3421-2ナレッジホントかウソかが定まっている文章。複合文の複文が変数である複合文のことです。ホントかウソかを調べることを命題計算といい、ブール代数などでとりあつかいます1) 2) 。(1) 数学A仁科 辰夫, シラバス, (2006).(2) 命題計算Seymour Lipschutz、成嶋弘, 離散数学 コンピュータサイエンスの基礎数学, オーム社, (1995).#🗒️👨🏫計算#🗒️👨🏫ホント#🗒️👨🏫ウソ#🗒️👨🏫文#🗒️👨🏫代数#🗒️👨🏫変数
語釈1.編集1-3421-2ナレッジホントかウソかが定まっている文章。複合文の複文が変数である複合文のことです。ホントかウソかを調べることを命題計算といい、ブール代数などでとりあつかいます1) 2) 。(1) 数学A仁科 辰夫, シラバス, (2006).(2) 命題計算Seymour Lipschutz、成嶋弘, 離散数学 コンピュータサイエンスの基礎数学, オーム社, (1995).#🗒️👨🏫計算#🗒️👨🏫ホント#🗒️👨🏫ウソ#🗒️👨🏫文#🗒️👨🏫代数#🗒️👨🏫変数
🏠
