【原創(chuàng)】男朋友女朋友

240097

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

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

239330

GS都存在

235499

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

241033

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

241376

G不存在S存在