17/10/15 13:30:55.39 1CsCN52B.net
>>19
A→BがあったらSA→SBがあるでしょ
X×Y→X,Y,X∧Yは自然なものがあるから
πは自然でしょ？
17/10/15 13:30:55.39 1CsCN52B.net
>>19
A→BがあったらSA→SBがあるでしょ
X×Y→X,Y,X∧Yは自然なものがあるから
πは自然でしょ？
17/10/15 13:30:55.39 1CsCN52B.net
>>19
A→BがあったらSA→SBがあるでしょ
X×Y→X,Y,X∧Yは自然なものがあるから
πは自然でしょ？