13/10/15 23:26:50.55
すんません。>>265＝>>276です。
>>275の3行目以降は意味不明でした。なので自動的に無視。
教科書では、まずatomic論理式から始まる￢と∨と∃の組み合わせによる構成が書かれています。
というか、それしか書いていないという印象です。
13/10/15 23:26:50.55
すんません。>>265＝>>276です。
>>275の3行目以降は意味不明でした。なので自動的に無視。
教科書では、まずatomic論理式から始まる￢と∨と∃の組み合わせによる構成が書かれています。
というか、それしか書いていないという印象です。