在計算機科學中,布爾可滿足性問題(有時稱為命題可滿足性問題,縮寫為SATISFIABILITY或SAT)是確定是否存在滿足給定布爾公式的解釋的問題。換句話說,它詢問給定布爾公式...
對於謂詞公式P,如果至少存在一個解釋使得公式P在此解釋下的真值為T,則稱公式P是可滿足的。謂詞公式的可滿足性又稱為相容性。如果謂詞公式P對於個體域D上的任何...
滿足性,阿拉伯文al-nafs al-radiyah的意譯。伊斯蘭教概念。在蘇非派中,系靈魂淨化過程的7個階段之一,指“自我”所處的第五階段。含有忠誠、虔敬、知足……及...
換妻遊戲,也就是交換各自的對象來滿足性慾。由於受西方思潮的影響,在中國,“換妻者”也漸漸蔓延開來了。雖然換妻遊戲有違社會道德倫理,但在法律上,卻難以對其作出...
邏輯公式的可滿足性問題是計算機科學和人工智慧中的著名問題.本書前三章主要介紹經典的命題邏輯和一階謂詞邏輯公式以及模態邏輯公式的可滿足性判定算法,也介紹了有關...
性動機,亦稱力必多或性驅力。通過直接的性活動或通過看來與此無關的活動(升華)來滿足性需要的衝動。力必多一詞為弗洛伊德所創,用來概括對快感的追求,是人類活動的...
性偏離,又稱... 性偏離的表現形式之一,是性對象選擇的異常,如戀童癖、戀老人癖、戀屍癖和戀獸癖等;之二是性滿足方式異常,即不通過性器官活動而達到性滿足,如...
性慾型動機犯罪是指以淫樂性動機作為主要犯罪動機,一滿足性慾為目的或以性行為為手段達到其他目的的犯罪行為,是一種違背社會道德規範和法律規範、侵害性權利、妨害...
緊緻性定理是符號邏輯和模型論中的基本事實,它斷言一階句子的(可能無限的)集合是可滿足的(就是說有一個模型),若且唯若它的所有有限子集是可滿足的。命題演算...
性自私指的是個體性行為的自私性。表現在心理上是妒忌,表現在行為上是排他性。在失去社會約束的前提下,如條件允許,就會儘可能多地占有異性,最大限度地滿足性慾,...
性心理障礙指行為人滿足性慾的行為方式或性質對象明顯偏離正常,並以此類性偏離作為性興奮、性滿足的主要或唯一方式。此類精神障礙患者的一般精神活動並無其他明顯異常...
猥褻指以刺激或滿足性慾為目的,用性交以外的方法實施的淫穢行為。如強制猥褻、侮辱婦女罪。對未成熟少年的性騷擾,即使在對象不明了意圖和沒有違抗乃至順從的情況下...