2013年7月18日木曜日

【背理法】のもとで【二重否定除去律】は派生推論規則

【背理法】のもとで【二重否定除去律】は派生推論規則に、解説を付与。