お前らに問題 論理（２月３日）

お前ら、次の問題を解くにゃ。

 

問題　ある正数a、bに対してax+by>0ならば、x>0またはy>0であることを証明せよ。

 

論理が関係する問題だから、曖昧な証明は許さないケロ。

まず証明すべき命題を論理記号を使って表し、それから証明するように。