14/04/26 22:55:50.80
>>773
> pのときqとなる
この命題全体を証明したいならば
> |- p→q
pを前提としてqを証明したいなら
> p |- q
14/04/26 22:55:50.80
>>773
> pのときqとなる
この命題全体を証明したいならば
> |- p→q
pを前提としてqを証明したいなら
> p |- q
14/04/26 22:55:50.80
>>773
> pのときqとなる
この命題全体を証明したいならば
> |- p→q
pを前提としてqを証明したいなら
> p |- q