【原創】男朋友女朋友

240097

條件：給一個足夠強大的系統A，系統中的規則和推理都會得到成立的證明，在這個系統中是否存在兩個陳述G和S。
G：女朋友會叫男朋友刪除除了自己的所有異性的聯系方式。
S：男朋友會叫女朋友刪除自己的所有異性，但女朋友通常會說這只是普通朋友而拒絕刪除。

這里的男女朋友是兩類人，不是一對人。
請根據上述文字表示，推測出G和S的存在方式？（列如G存在S不存在）
(注：沒有差別看待男女，只是通過普遍現象進行編題。)

239330

GS都存在

235499

都存在，存在一個這樣的人也是存在。GS都存在不會產生矛盾，最極端的情況是男生手機里都只有一位異性，女生手機里可能有有多個男性

241033

GS都存在。我看了3樓的樓主回復的意思，但是邏輯中代入了一個錯誤的主觀意向條件，即“女朋友手機里未刪除的異性都是她的男朋友，并且她會要求他們刪除除自己外的所有異性。”
首先，雖然你說的是兩類人，但這里你說的男朋友和女朋友這兩類人的身份一定是確定了關系的雙方認可才能有這個稱謂，而不是單方面認可自己是對方的男朋友就能被稱得上是男朋友。
然后，再回到G條件，女朋友會叫男朋友刪除除了自己以外的異性，但對于自己手機里的異性，只要對方原先沒有女朋友，這類有男朋友的女朋友把他們當做普通朋友或者曖昧的對象是沒有問題的，只要不確定男女關系，她也不存在所謂的G的條件，不作為女朋友的身份，也就不會強制觸發刪除其他異性的條件。
又或者，女方認可自己是多個人的女朋友的身份，但她除了正宮以外的其他人（假設都沒有自己的女朋友）都只把她當做一個普通朋友或者曖昧的對象而不走心并不認可她的身份，那么即使女方要求這些人刪除，他們也有權不刪，畢竟他們并不認可自己是對方的男朋友的身份。
最后，其實這些特殊情況不就是現實之中的女海王、男海王、舔狗等的映射嗎？但假如樓主的意思是只有這兩類人并且一開始都是一男一女成對鎖死成男女朋友關系的，然后出現那些情況的，那就當我白說，畢竟那種情況假設中已經把身份鎖死了，后面在出變動身份的假設條件本身就是個偽命題。

241376

G不存在S存在