小小绿绿儿吧 关注:13贴子:528
  • 17回复贴,共1
如果X是我,则X爱你。


1楼2012-11-10 12:34回复
    如果X不爱你,则X不是我。


    2楼2012-11-10 12:35
    回复
      如果一个人A不爱另一个人B,那么要么A不是我,要么B不是你。


      4楼2012-11-10 12:36
      回复
        (强形式)如果X是我,X爱Y,则Y是你。


        5楼2012-11-10 12:39
        回复
          (强形式)如果X爱Y,Y不是你,则X不是我。


          6楼2012-11-10 12:40
          回复
            (另一种强形式)如果Y是你,X爱Y,则X是我。


            7楼2012-11-10 12:42
            回复
              (另一种强形式)如果X爱Y,X不是我,则Y不是你。


              8楼2012-11-10 12:43
              回复
                (更强的形式)如果A是我或者B是你,A爱B,那么A是我而且B是你。


                9楼2012-11-10 12:46
                回复
                  (更强的形式)如果A不是我或者B不是你,那么要么A不爱B,要么A不是我而且B不是你。


                  10楼2012-11-10 12:47
                  回复
                    (最强形式)A爱B当且仅当A是我而且B是你。


                    11楼2012-11-10 12:48
                    回复
                      (最强形式)A不爱B当且仅当A不是我或者B不是你。


                      12楼2012-11-10 12:49
                      收起回复
                        (半强形式)如果X爱Y而且X爱Z,那么要么X不是我,要么Y是你,要么Z是你


                        13楼2012-11-10 13:00
                        回复
                          (弱半强形式)如果类U为{Y:X爱Y},而A是你,那么要么X不是我,要么A属于U


                          14楼2012-11-10 13:04
                          回复
                            (强形式)如果类U为{Y:X爱Y},而A是你,那么要么X不是我,要么{A}等于U


                            15楼2012-11-10 13:04
                            回复
                              哥,你累不累- -


                              IP属地:山东来自iPhone客户端17楼2013-03-02 07:45
                              收起回复