数学基礎論・数理論理学 その14
レス数が950を超えています。1000を超えると書き込みができなくなります。
0968１３２人目の素数さん
2014/11/04(火) 23:26:15.77（１）原子式は論理式である
（２）A∧B、A∨B、・・・・は論理式である
（３）（１）と（２）によって論理式とされるもののみが論理式である
（３）の定義の必要性ってなんでしょうか？
（３）が無くても十分論理式が定義できているように思います
レス数が950を超えています。1000を超えると書き込みができなくなります。