【原创】男朋友女朋友

240097

条件：给一个足够强大的系统A，系统中的规则和推理都会得到成立的证明，在这个系统中是否存在两个陈述G和S。
G：女朋友会叫男朋友删除除了自己的所有异性的联系方式。
S：男朋友会叫女朋友删除自己的所有异性，但女朋友通常会说这只是普通朋友而拒绝删除。

这里的男女朋友是两类人，不是一对人。
请根据上述文字表示，推测出G和S的存在方式？（列如G存在S不存在）
(注：没有差别看待男女，只是通过普遍现象进行编题。)

239330

GS都存在

235499

都存在，存在一个这样的人也是存在。GS都存在不会产生矛盾，最极端的情况是男生手机里都只有一位异性，女生手机里可能有有多个男性

241033

GS都存在。我看了3楼的楼主回复的意思，但是逻辑中代入了一个错误的主观意向条件，即“女朋友手机里未删除的异性都是她的男朋友，并且她会要求他们删除除自己外的所有异性。”
首先，虽然你说的是两类人，但这里你说的男朋友和女朋友这两类人的身份一定是确定了关系的双方认可才能有这个称谓，而不是单方面认可自己是对方的男朋友就能被称得上是男朋友。
然后，再回到G条件，女朋友会叫男朋友删除除了自己以外的异性，但对于自己手机里的异性，只要对方原先没有女朋友，这类有男朋友的女朋友把他们当做普通朋友或者暧昧的对象是没有问题的，只要不确定男女关系，她也不存在所谓的G的条件，不作为女朋友的身份，也就不会强制触发删除其他异性的条件。
又或者，女方认可自己是多个人的女朋友的身份，但她除了正宫以外的其他人（假设都没有自己的女朋友）都只把她当做一个普通朋友或者暧昧的对象而不走心并不认可她的身份，那么即使女方要求这些人删除，他们也有权不删，毕竟他们并不认可自己是对方的男朋友的身份。
最后，其实这些特殊情况不就是现实之中的女海王、男海王、舔狗等的映射吗？但假如楼主的意思是只有这两类人并且一开始都是一男一女成对锁死成男女朋友关系的，然后出现那些情况的，那就当我白说，毕竟那种情况假设中已经把身份锁死了，后面在出变动身份的假设条件本身就是个伪命题。

241376

G不存在S存在