• <tr id="yyy80"></tr>
  • <sup id="yyy80"></sup>
  • <tfoot id="yyy80"><noscript id="yyy80"></noscript></tfoot>
  • 99热精品在线国产_美女午夜性视频免费_国产精品国产高清国产av_av欧美777_自拍偷自拍亚洲精品老妇_亚洲熟女精品中文字幕_www日本黄色视频网_国产精品野战在线观看 ?

    二值命題邏輯中邏輯理論的計(jì)量化及應(yīng)用

    2014-08-05 02:40:16王菊花
    關(guān)鍵詞:賦值測(cè)度結(jié)論

    李 駿,王菊花

    蘭州理工大學(xué) 理學(xué)院,蘭州 730050

    二值命題邏輯中邏輯理論的計(jì)量化及應(yīng)用

    李 駿,王菊花

    蘭州理工大學(xué) 理學(xué)院,蘭州 730050

    1 引言

    數(shù)理邏輯的特點(diǎn)在于形式化與符號(hào)化,它和計(jì)算數(shù)學(xué)有著截然不同的風(fēng)格:前者注重形式推理而后者重視數(shù)值計(jì)算;前者強(qiáng)調(diào)嚴(yán)格論證而后者允許近似求解。邏輯推理方法在諸如定理的自動(dòng)證明、知識(shí)推理、邏輯程序設(shè)計(jì)等多個(gè)領(lǐng)域得到了廣泛的應(yīng)用[1-2],數(shù)值計(jì)算則似乎是遠(yuǎn)離形式推理的完全不同的方法。為填補(bǔ)這一鴻溝,王國(guó)俊教授等將程度化思想引入到數(shù)理邏輯之中建立起了計(jì)量邏輯學(xué)的基本理論[3-6],如今已在包括Lukasiewicz和R0系統(tǒng)在內(nèi)的各種命題邏輯系統(tǒng)中構(gòu)造出了相應(yīng)的邏輯度量空間,從而將近似推理引入到素以嚴(yán)格的形式化推理為特征的各種命題邏輯系統(tǒng)中(可參看文獻(xiàn)[7-12])。

    在計(jì)量邏輯學(xué)中,除了對(duì)單個(gè)公式進(jìn)行計(jì)量化研究之外,學(xué)者們對(duì)理論自身的性質(zhì)也十分關(guān)注,比如:文獻(xiàn)[13-16]研究了理論的相容性和發(fā)散性等性質(zhì),并借助理論的發(fā)散度提出了理論的相容度概念,以此來(lái)區(qū)分不同理論相容程度的大小,進(jìn)而達(dá)到區(qū)分不同理論好壞程度的目的。另外,在命題邏輯中經(jīng)常要研究從某個(gè)命題之集Γ(即,理論)到另一個(gè)命題A的推演,即,從前提信息之集Γ推出某個(gè)結(jié)論A來(lái)。但是在現(xiàn)實(shí)推理中,可能所獲取的信息不足以將A作為理論Γ的邏輯結(jié)論推出來(lái),這時(shí)就需考察理論Γ在多大程度上能推出結(jié)論 A來(lái),即研究從理論Γ出發(fā)的近似推理,這也就涉及理論Γ本身的好壞問(wèn)題,如果能夠給出一個(gè)評(píng)判理論Γ本身可靠程度的直接方法(或指標(biāo)),這將為展開(kāi)從前提信息集Γ出發(fā)的近似推理提供直接的依據(jù)。文獻(xiàn)[17]首次在命題邏輯系統(tǒng)中引入了理論Γ的真度概念來(lái)刻畫(huà)理論的可靠程度,但那里是把理論Γ的全體邏輯結(jié)論真度的下確界值作為理論Γ的真度,這種方法首先損失了理論Γ的結(jié)論中真度值較大的那些結(jié)論提供的信息;其次,這種方法借助了理論Γ本身以外的東西(即Γ的結(jié)論)來(lái)定義理論Γ的真度是不盡合理的,因?yàn)楫?dāng)理論Γ本身不可靠時(shí),它的邏輯結(jié)論就更加不可靠;第三,當(dāng)理論Γ退化為只含一個(gè)公式(比如:B)時(shí),在多值邏輯中,按文獻(xiàn)[17]中的方法計(jì)算出的理論Γ的真度并不等于公式B的真度。因此,給出一個(gè)能克服以上缺陷的評(píng)判理論可靠程度的新方法,是有價(jià)值的研究課題。

    本文在二值命題邏輯系統(tǒng)L中,首先借助勢(shì)為2的均勻概率測(cè)度空間的無(wú)窮乘積,通過(guò)計(jì)算理論Γ的全體模型占整個(gè)賦值空間的測(cè)度來(lái)定義理論Γ的真度,該定義是文獻(xiàn)[3]中公式真度定義的自然推廣,即:當(dāng)理論Γ退化為只含一個(gè)公式(比如:B)時(shí),理論Γ的真度就等于公式B的真度。其次,利用理論的真度定義了理論與理論之間的相似度和偽距離,并給出理論的真度在近似推理及其在描述理論的發(fā)散度、相容度等方面的應(yīng)用。值得指出的是:當(dāng)理論退化為單個(gè)公式時(shí),本文關(guān)于理論所建立的計(jì)量化結(jié)果正是文獻(xiàn)[3]中相應(yīng)的結(jié)果。

    2 預(yù)備知識(shí)

    設(shè)S={p1,p2,…},F(xiàn)(S)是由S生成的(﹁,→)型自由代數(shù)。S中的元叫原子命題,F(xiàn)(S)中的元稱為公式(或命題)。在L={0,1}中規(guī)定:﹁0=1,﹁1=0,a→b=0當(dāng)且僅當(dāng)a=1且b=0,則{0,1}成為一個(gè)(﹁,→)型代數(shù)。稱(﹁,→)型同態(tài)v∶F(S)→{0,1}為F(S)的一個(gè)賦值。以Ω記F(S)上全體賦值之集。

    定義1[5]設(shè) A∈F(S),若?v∈Ω,v(A)=1,則稱 A為重言式,記為:╞A;若?v∈Ω,v(A)=0,則稱 A為矛盾式;若?v∈Ω,都有v(A)=v(B),則稱 A與B邏輯等價(jià),記作:A≈B。

    定義2[5]若Γ?F(S),則稱Γ為理論。設(shè) A∈F(S),則從理論Γ到 A的一個(gè)推演是一個(gè)有限的公式序列A1,A2,…,Am,其中,Am=A,且?i≤m,Ai是公理或者Ai∈?;蛘叽嬖?j,k<i,使得 Ai是由 Aj和 Ak運(yùn)用MP規(guī)則而得到的結(jié)果,稱A為Γ-結(jié)論,記作:Γ├A,m叫作從Γ到A的推演長(zhǎng)度,進(jìn)一步,若Γ=Φ(空集),則稱A為定理,簡(jiǎn)記為:├A。

    下文以0-記任一矛盾式,以D(Γ)來(lái)記全體Γ-結(jié)論之集,以T記全體理論之集,即

    D(Γ)={A|A∈F(S),且Γ├A},T={Γ|Γ?F(S)}

    設(shè) ?!蔜,若 0-∈D(Γ),則稱 Γ是不相容的理論。另外,若Γ只含一個(gè)公式A,即Γ={A},則將Γ簡(jiǎn)記為:Γ=A。

    定義3設(shè)?!蔜,v∶F(S)→{0,1}是賦值,若?Ai∈Γ,都有v(Ai)=1,則稱v是Γ的模型,記為v|=?;騰(Γ)=1;若v不是Γ的模型,則簡(jiǎn)記為v(Γ)=0;如果對(duì)每個(gè)v∈Ω,均有v|=Γ,則稱Γ是完全相容的,簡(jiǎn)記為|=Γ;若每個(gè)v∈Ω,都有v(Γ)=0,則稱Γ是完全不相容的。

    定義4設(shè)Γ1,Γ2∈T,如果對(duì)每個(gè)v∈Ω,均有v(Γ1)= v(Γ2),則稱Γ1與Γ2邏輯等價(jià),記作:Γ1≈Γ2。

    注1顯然,當(dāng)Γ1與Γ2都退化為只含單個(gè)公式時(shí),理論之間的邏輯等價(jià)概念正是公式之間邏輯等價(jià)的概念。

    定理1設(shè)?!蔜,則Γ是完全相容的當(dāng)且僅當(dāng)Γ全由定理組成。

    證明 設(shè)Γ是完全相容的,則?v∈Ω,?A∈Γ,都有v(A)=1,從而?A∈Γ,A都是重言式,由完備性定理知?A∈Γ,A都是定理;反過(guò)來(lái),若?A∈Γ,A都是定理,則A都是重言式,從而?v∈Ω都有v(A)=1成立,即?v∈Ω,均有v|=Γ,因此Γ是完全相容的。

    3 理論的真度

    定義7[3]設(shè)v∈Ω,記v(pk)=vk(k=1,2,…),則無(wú)窮維向量v={v1,v2,…}∈X,這里X由定義6確定。反之,設(shè)v={v1,v2,…}∈X,則由v唯一確定Ω中的一個(gè)賦值v,這里v(pk)=vk(k=1,2,…)。令φ(v)=v,則φ∶Ω→X是從Ω到X的一一的滿射,稱φ為Ω的測(cè)度化映射。

    定義8設(shè)Γ∈T,令

    稱τ(Γ)為理論Γ的真度。

    (2)由于在實(shí)際推理中,推理的前提信息之集(即理論Γ)通常都是有限集,Γ中的公式用到的原子公式自然只有有限多個(gè)。因此下文中若無(wú)聲明,都假定構(gòu)成理論Γ的公式中只用到有限多個(gè)原子公式。

    (3)定義8中,若Γ={B},B∈F(S),則有

    式(4)右邊正是文獻(xiàn)[3]中公式B真度的定義式,即τ({B})= τ(B)??梢?jiàn)本文所給出的理論的真度定義是公式真度定義的自然推廣。

    下面的引理是文獻(xiàn)[5]中已給出的本文即將用到的幾個(gè)結(jié)果:

    引理1[1]設(shè)A、B∈F(S),則

    (1)A是重言式當(dāng)且僅當(dāng)τ(A)=1,A是矛盾式當(dāng)且僅當(dāng)τ(A)=0。

    (2)若A≈B,則τ(A)=τ(B)。

    (3)若├A→B,則τ(A)≤τ(B)。

    (4)τ(﹁A)=1-τ(A)。

    (5)τ(B)≥τ(A)+τ(A→B)-1。

    定理2設(shè) ?!蔜,若 Γ={A1,A2,…,An}是有限理論,則τ(Γ)=τ(A1∧A2∧…∧An);若Γ={A1,A2,…,Ak,…}是無(wú)窮理論,則τ(Γ)=τ(A1∧A2∧…∧An)。

    證明 設(shè)Γ={A1,A2,…,An}是有限理論,則由定義8和注解2知:

    定理3設(shè)?!蔜,則

    (1)τ(Γ)=1當(dāng)且僅當(dāng)Γ為完全相容理論。

    (2)τ(Γ)=0當(dāng)且僅當(dāng)Γ為完全不相容的理論。

    證明(1)若Γ是完全相容理論,則由定理1知Γ全由定理組成,從而?v∈Ω,?Ai∈Γ,都有v(Ai)=1,因此?v∈Ω,都有v|=Γ,故{v∈X|φ(v)=v,v∈Ω,且v|=Γ}=X,從而

    反過(guò)來(lái),若τ(Γ)=1,假設(shè)Γ不是完全相容的理論,則有 v∈Ω 使 v|=Γ不成立,設(shè) pi1,pi2,…,pin是構(gòu)成 Γ所用到的全體原子公式,令v(pik)=vik(k=1,2,…,n)。則(vi1,vi2,…,vin)?E,這里 E由注2給出。因?yàn)?μi1({vi1})× μi2({vi2})×…×μin({vin})=,所以(μi1×μi2×…×μin)(E)≤1-。從而由定義5和定義8知μ([Γ])≠1,從而τ(Γ)≠1,矛盾!因此,Γ為完全相容理論。

    (2)設(shè) Γ為完全不相容的理論,則 ?v∈Ω,都有v|=Γ不成立,從而[Γ]=?(空集),故τ(Γ)=μ(?)=0。

    反過(guò)來(lái),假設(shè)Γ不是完全不相容理論,則有v∈Ω使v|=Γ成立。設(shè) pi1,pi2,…,pin是構(gòu)成Γ所用到的全體原子公式,令v(pik)=vik(k=1,2,…,n)。則(vi1,vi2,…,vin)∈E,這里 E由式(3)確定。因?yàn)?μi1({vi1})×μi2({vi2})×…× μin({vin})=所以 (μi1×μi2×…×μin)(E)≥。從而由式(1)及式(3)知μ([Γ])≠0,故τ(Γ)≠0,矛盾!因此,Γ為完全不相容理論。

    定理4設(shè)Γ1,Γ2∈T,若Γ1≈Γ2,則τ(Γ1)=τ(Γ2)。

    證明 因?yàn)棣?≈Γ2,所以?v∈Ω,有v(Γ1)=v(Γ2),即?v∈Ω,v|=Γ1當(dāng)且僅當(dāng) v|=Γ2,所以 [Γ1]=[Γ2],從而τ(Γ1)=τ(Γ2)。

    4 理論真度的應(yīng)用

    本章將給出理論的真度在描述理論的發(fā)散度和相容度等方面的一些應(yīng)用,先給出文獻(xiàn)[5]中已有的一些結(jié)果。

    首先,若A∈D(Γ),則可取B為任意一個(gè)定理(當(dāng)然有 B∈D(Γ)),此時(shí)由 (A→B)∧(B→A)≈A,從而τ((A→B)∧(B→A))=τ(A)知

    其次,?A,B∈D(Γ),由A→(B→A)和B→(A→B)是公理可知A→B∈D(Γ),且B→A∈D(Γ),從而(A→B)∧(B→A)∈D(Γ),故

    由式(11)和式(12)知式(10)成立,從而式(9)成立。

    定理6設(shè)Γ∈T,則div(Γ)=1-τ(Γ)。

    證明 若Γ={A1,A2,…,An}是有限理論,則?A∈D(Γ),由├(A1∧A2∧…∧An→A),從而由 τ(A1∧A2∧…∧An)≤τ(A)知

    從而由定理3和定理5可知div(Γ)=1-τ(Γ)。若Γ= {A1,A2,…,Ak,…}是無(wú)窮理論,則對(duì)任意的自然數(shù)n,A1∧A2∧…∧An∈D(Γ),令

    則數(shù)列{yn}單調(diào)遞減且有下界0,從而數(shù)列{yn}極限τ(A1∧A2∧…∧An)存在,因此

    注3文獻(xiàn)[5]中關(guān)于一般的理論給出了刻畫(huà)其相容程度的η-相容度,將本文定理6中發(fā)散度的簡(jiǎn)化公式代入η-相容度的表達(dá)式中就可得到簡(jiǎn)化的η-相容度計(jì)算公式。

    定理8設(shè)?!蔜,若τ(Γ)=α,則?B∈Γ,都有τ(B)≥α。

    證明 若Γ={A1,A2,…,An}是有限理論,則由定理3知τ(Γ)=τ(A1∧A2∧…∧An),又?Ai∈Γ,由├A1∧A2∧…∧An→Ai和引理1(3)可知τ(Ai)≥τ(Γ)=α,結(jié)論成立。

    若 Γ={A1,A2,…,Ak,…}是無(wú)窮理論,由定理1知τ(Γ)=τ(A1∧A2∧…∧An)。 又 ?An∈Γ ,由├A1∧A2∧…∧An→An知 τ(A1∧A2∧…∧An)≤τ(An),令 yn= τ(A1∧A2∧…∧An),由數(shù)列 {yn}單調(diào)遞減且 τ(Γ)=τ(A1∧A2∧…∧An)知τ(An)≥τ(Γ)=α,從而結(jié)論對(duì)無(wú)窮理論也成立。

    定理9設(shè)?!蔜 ,α>0,τ(Γ)=α,A是Γ的長(zhǎng)度為n的結(jié)論,則

    這里,un是斐波那契數(shù)列的第n項(xiàng),即

    且有u1=u2=1,un+un+1=un+2,n=1,2,…。

    證明 采用數(shù)學(xué)歸納法來(lái)證明。

    當(dāng)n=1時(shí),因?yàn)锳為公理或A∈Γ所以由引理1(1)和定理7知τ(A)≥α,又式(13)右端un(α-1)+1=α-1+ 1=α,因此式(13)成立。設(shè)n≤k時(shí)式(13)成立,A是Γ的長(zhǎng)度為k+1的推論,推演序列為A1,A2,…,Ak,A。不妨設(shè) A?Γ,A也不是公理,則有i≤k,j≤k,使得 A是由Ai和Aj通過(guò)運(yùn)用MP規(guī)則而得的結(jié)果,由歸納假設(shè)得:

    不妨設(shè)i<j,則 j≤k,i≤k-1,注意到(α-1)≤0,從而由引理1(5)可得:即式(13)當(dāng)n=k+1時(shí)也成立,定理得證。

    注4由定理9知,若推理的前提信息之集Γ的真度為α,則其推理長(zhǎng)度為n的邏輯結(jié)論的真度不小于un(α-1)+1,比如:若τ(Γ)=1,則對(duì)任意的n,Γ的推演長(zhǎng)度為n的邏輯結(jié)論的真度均為1;若τ(Γ)≥0.99,則Γ的推演長(zhǎng)度為6的邏輯結(jié)論的真度均不小于0.92。

    5 結(jié)束語(yǔ)

    本文在二值命題邏輯系統(tǒng)中,借助勢(shì)為2的均勻概率測(cè)度空間的無(wú)窮乘積,通過(guò)計(jì)算理論Γ的全體模型占整個(gè)賦值空間的測(cè)度定義了理論Γ的真度,并給出理論的真度在描述理論的發(fā)散度、相容度等方面的應(yīng)用,值得指出的是:當(dāng)理論退化為單個(gè)公式時(shí),本文關(guān)于理論所建立的計(jì)量化結(jié)果正是文獻(xiàn)[3]中相應(yīng)的結(jié)果。關(guān)于如何將本文結(jié)果推廣到多值以至于連續(xù)值命題邏輯系統(tǒng),將另文討論。

    [1]Rosser J B,Turquette A R.Many-valued logic[M].Amsterdam:[s.n.],1952.

    [2]Ying M S.A logic for approximate reasoning[J].Journal of Symbolic,1994,59:830-837.

    [3]Wang G J,F(xiàn)u L,Song J S.Theory of truth degrees of propositions in two-valued logic[J].Sci China Ser A-Math,2002,45:1106-1116.

    [4]Wang G J,Zhou H J.Quantitative logic[J].Information Sciences,2009,179(3).

    [5]王國(guó)俊.數(shù)理邏輯引論與歸結(jié)原理[M].2版.北京:科學(xué)出版社,2006.

    [6]王國(guó)俊,宋建社.命題邏輯中的程度化方法[M].電子學(xué)報(bào),2006,34(2):252-257.

    [7]Wang G J,Hui X J.Randomization of classical inference patterns and its application[J].Science in China:Ser F,2007,50(6):867-877.

    [8]Zhou H J.Borel probabilistic and quantitative logic[J].Science China Information Sciences,2010,53:1-12.

    [9]Li J,Wang G J.Theory of truth degrees in logic system[J].Science in China:Ser E,2006,36(6):631-643.

    [10]李駿,鄧富喜.n值S-MTL命題邏輯系統(tǒng)中公式真度的統(tǒng)一理論[J].電子學(xué)報(bào),2011,39(8):1864-1868.

    [11]王國(guó)俊,李璧鏡.Lukasiweicz n值命題邏輯中公式的真度理論和極限定理[J].中國(guó)科學(xué) E輯:信息科學(xué),2005,35(6):561-569.

    [12]李駿,王國(guó)俊.基于支持度理論的廣義MP問(wèn)題的形式化解[J].電子學(xué)報(bào),2008,36(11):2190-2194.

    [13]Zhou X N,Wang G J.Consistency degrees of theories in some systems of propositional fuzzy logic[J].Fuzzy Sets and Systems,2005,152:321-331.

    [14]Wang G J,Zhang W X.Consistency degrees of finite theories in Lukasiewicz propositional fuzzy logic[J].Fuzzy Sets and Systems,2005,149(2):275-284.

    [15]Zhou H J,Wang G J.A new consistency index based on deduction theorems in several logic systems[J].Fuzzy Sets and Systems,2006,157(3):427-443.

    [16]Wang G J,She Y H.Topological description of divergency and consistency of two-valued propositional theories[J].Acta Mathematica Sinica:Chinese Series,2007,50(4):841-850.

    [17]王國(guó)俊,高香妮.命題邏輯系統(tǒng)中理論的真度概念及其應(yīng)用[J].陜西師范大學(xué)學(xué)報(bào):自然科學(xué)版,2009,37(5):1-6.

    [18]Halmos P R.Measure theory[M].New York:Springer-Verlag,1974.

    LI Jun,WANG Juhua

    School of Science,Lanzhou University of Technology,Lanzhou 730050,China

    By means of infinite product of uniformly distributed probability spaces of cardinal 2,this paper introduces the concept of truth degree of a logical theoryΓby computing the measure of all models ofΓin the valuation spaces.Simplified methods to compute the divergent degree and the consistent degree of a logical theory are given and the expression to estimate the truth degree of logical conclusions from the truth degree of its premise set is obtained.

    quantitative logic;logical theory;truth degree of logical theory;consistency degree

    在二值命題邏輯系統(tǒng)中,利用勢(shì)為2的均勻概率測(cè)度空間的無(wú)窮乘積,通過(guò)計(jì)算理論Γ的全體模型占整個(gè)賦值空間的測(cè)度定義了理論Γ的真度,進(jìn)而利用理論的真度簡(jiǎn)化了理論的發(fā)散度和相容度的計(jì)算公式,給出了由推理的前提集的真度估計(jì)其邏輯結(jié)論真度的表達(dá)式。

    計(jì)量邏輯學(xué);邏輯理論;理論的真度;相容度

    A

    O141.1

    10.3778/j.issn.1002-8331.1301-0205

    LI Jun,WANG Juhua.Quantification of logic theory in two-valued propositional logic and its applications.Computer Engineering and Applications,2014,50(24):42-46.

    國(guó)家自然科學(xué)基金(No.11261032);蘭州理工大學(xué)博士基金資助項(xiàng)目。

    李駿(1972—),男,博士,副教授,碩士研究生導(dǎo)師,研究領(lǐng)域:非經(jīng)典數(shù)理邏輯、不確定性推理;王菊花(1987—),女,碩士研究生,研究領(lǐng)域:不確定性推理。

    2013-01-21

    2013-04-22

    1002-8331(2014)24-0042-05

    CNKI網(wǎng)絡(luò)優(yōu)先出版:2013-05-21,http∶//www.cnki.net/kcms/detail/11.2127.TP.20130521.1027.004.html

    猜你喜歡
    賦值測(cè)度結(jié)論
    關(guān)于1 1/2 … 1/n的一類初等對(duì)稱函數(shù)的2-adic賦值
    由一個(gè)簡(jiǎn)單結(jié)論聯(lián)想到的數(shù)論題
    L-代數(shù)上的賦值
    三個(gè)數(shù)字集生成的自相似測(cè)度的乘積譜
    R1上莫朗測(cè)度關(guān)于幾何平均誤差的最優(yōu)Vornoi分劃
    立體幾何中的一個(gè)有用結(jié)論
    非等熵Chaplygin氣體測(cè)度值解存在性
    Cookie-Cutter集上的Gibbs測(cè)度
    強(qiáng)賦值幺半群上的加權(quán)Mealy機(jī)與加權(quán)Moore機(jī)的關(guān)系*
    結(jié)論
    久久久久精品国产欧美久久久| 久久久久久伊人网av| 国产高清视频在线观看网站| 久久精品国产亚洲av香蕉五月| 色噜噜av男人的天堂激情| 亚洲av成人av| 美女内射精品一级片tv| 校园春色视频在线观看| 内射极品少妇av片p| 99久久久亚洲精品蜜臀av| 久久精品国产自在天天线| 久久精品影院6| 女人十人毛片免费观看3o分钟| 俺也久久电影网| 中出人妻视频一区二区| 亚洲人成网站高清观看| 色尼玛亚洲综合影院| 午夜精品一区二区三区免费看| 99久久精品一区二区三区| 人妻制服诱惑在线中文字幕| av中文乱码字幕在线| 国产精品一及| 久久午夜福利片| 在线看三级毛片| 午夜精品一区二区三区免费看| 婷婷精品国产亚洲av| 国产男靠女视频免费网站| 久久久久久久久久黄片| 亚洲va在线va天堂va国产| 91精品国产九色| 国产激情偷乱视频一区二区| 成人毛片a级毛片在线播放| 久久久成人免费电影| 国产黄色小视频在线观看| 久久精品夜色国产| 可以在线观看毛片的网站| 日韩,欧美,国产一区二区三区 | 欧美一区二区亚洲| 非洲黑人性xxxx精品又粗又长| 老师上课跳d突然被开到最大视频| 久久亚洲国产成人精品v| 国产免费一级a男人的天堂| 九九久久精品国产亚洲av麻豆| 噜噜噜噜噜久久久久久91| 午夜福利视频1000在线观看| 国产 一区 欧美 日韩| 国产免费男女视频| 波多野结衣高清无吗| 国产精品久久久久久精品电影| 一区二区三区四区激情视频 | 国产精品不卡视频一区二区| ponron亚洲| 菩萨蛮人人尽说江南好唐韦庄 | 色噜噜av男人的天堂激情| 欧美性感艳星| 熟女人妻精品中文字幕| 午夜免费男女啪啪视频观看 | 成年女人毛片免费观看观看9| 99热精品在线国产| ponron亚洲| 亚洲熟妇中文字幕五十中出| 中国美女看黄片| 极品教师在线视频| 国产伦一二天堂av在线观看| 午夜影院日韩av| 综合色av麻豆| 麻豆精品久久久久久蜜桃| 国产探花在线观看一区二区| 成人毛片a级毛片在线播放| 久久久久久久久久黄片| 高清毛片免费观看视频网站| 午夜久久久久精精品| 日本熟妇午夜| 亚洲乱码一区二区免费版| 国产一区二区三区在线臀色熟女| 成人二区视频| 国产毛片a区久久久久| 最好的美女福利视频网| 我要搜黄色片| 国产中年淑女户外野战色| 99热精品在线国产| 久久热精品热| 欧美一区二区国产精品久久精品| 三级毛片av免费| 黄色欧美视频在线观看| 国内少妇人妻偷人精品xxx网站| 国产精品国产三级国产av玫瑰| 久久久久国内视频| 精品人妻一区二区三区麻豆 | 中国国产av一级| 简卡轻食公司| 免费一级毛片在线播放高清视频| 国产精品综合久久久久久久免费| 免费高清视频大片| 春色校园在线视频观看| 久久草成人影院| 精品久久久久久久人妻蜜臀av| 成人av一区二区三区在线看| 丰满乱子伦码专区| 色视频www国产| 午夜视频国产福利| 亚洲激情五月婷婷啪啪| 国产一区二区三区在线臀色熟女| 性欧美人与动物交配| 亚洲无线观看免费| av中文乱码字幕在线| 噜噜噜噜噜久久久久久91| 久久精品国产亚洲网站| 中国美白少妇内射xxxbb| 亚洲精品亚洲一区二区| 欧美丝袜亚洲另类| 一个人看视频在线观看www免费| 国产三级在线视频| av在线播放精品| 亚洲av不卡在线观看| 欧美绝顶高潮抽搐喷水| 色综合亚洲欧美另类图片| 久久久久九九精品影院| 真人做人爱边吃奶动态| 国产不卡一卡二| 97热精品久久久久久| 色尼玛亚洲综合影院| 国产熟女欧美一区二区| 亚洲18禁久久av| 久久久色成人| 91狼人影院| 日韩中字成人| 久久久色成人| 人妻制服诱惑在线中文字幕| 精品午夜福利在线看| 精品人妻熟女av久视频| 国产精品国产高清国产av| 日韩欧美一区二区三区在线观看| 美女cb高潮喷水在线观看| 亚洲三级黄色毛片| 国产男靠女视频免费网站| av视频在线观看入口| 国产精品永久免费网站| 1000部很黄的大片| 欧美性猛交╳xxx乱大交人| 蜜桃亚洲精品一区二区三区| 国产老妇女一区| АⅤ资源中文在线天堂| 成年免费大片在线观看| 在线天堂最新版资源| 天堂√8在线中文| 狂野欧美白嫩少妇大欣赏| 欧美日韩国产亚洲二区| 国产精品国产三级国产av玫瑰| 别揉我奶头~嗯~啊~动态视频| 在线国产一区二区在线| 99久久精品热视频| 国产日本99.免费观看| 国产精品一区二区三区四区免费观看 | 欧美bdsm另类| 嫩草影院入口| 免费观看精品视频网站| 国产男靠女视频免费网站| 免费搜索国产男女视频| 亚洲人成网站在线观看播放| 18禁黄网站禁片免费观看直播| 卡戴珊不雅视频在线播放| 别揉我奶头 嗯啊视频| 夜夜看夜夜爽夜夜摸| 国产一区二区激情短视频| 亚洲精品456在线播放app| 成人亚洲欧美一区二区av| 麻豆国产97在线/欧美| 亚洲一区高清亚洲精品| 永久网站在线| 亚洲最大成人av| 成人亚洲精品av一区二区| 在线天堂最新版资源| a级毛片免费高清观看在线播放| 亚洲精品456在线播放app| 插逼视频在线观看| 国产精品女同一区二区软件| 久久久久久久亚洲中文字幕| 搡老岳熟女国产| 春色校园在线视频观看| 人妻制服诱惑在线中文字幕| 亚洲自偷自拍三级| 91精品国产九色| av.在线天堂| 噜噜噜噜噜久久久久久91| 国产精品久久电影中文字幕| 亚洲激情五月婷婷啪啪| 一个人观看的视频www高清免费观看| 99热这里只有是精品50| 国产真实伦视频高清在线观看| 一区二区三区免费毛片| 亚洲无线观看免费| 国产av不卡久久| 一级av片app| 日本黄色视频三级网站网址| 狠狠狠狠99中文字幕| 日本一本二区三区精品| 在线观看一区二区三区| 非洲黑人性xxxx精品又粗又长| 国语自产精品视频在线第100页| 国产av不卡久久| 一级av片app| 免费观看在线日韩| 欧美激情在线99| 国产色婷婷99| 成人三级黄色视频| 精品欧美国产一区二区三| 色5月婷婷丁香| 国产精品一及| 性欧美人与动物交配| 欧美三级亚洲精品| 69av精品久久久久久| 成人综合一区亚洲| 午夜a级毛片| 国产精品美女特级片免费视频播放器| 亚洲国产精品合色在线| АⅤ资源中文在线天堂| 精品久久久久久久久久久久久| 国产精品久久久久久亚洲av鲁大| 99久久精品国产国产毛片| 欧美人与善性xxx| 亚洲精品色激情综合| 久久精品国产99精品国产亚洲性色| 免费观看在线日韩| 嫩草影院新地址| 免费观看精品视频网站| 亚洲av.av天堂| 国产精品一二三区在线看| 亚洲人成网站在线播放欧美日韩| 亚洲av第一区精品v没综合| 精品一区二区三区av网在线观看| 日韩制服骚丝袜av| 三级毛片av免费| 女同久久另类99精品国产91| 日韩成人av中文字幕在线观看 | 成人漫画全彩无遮挡| 国产乱人偷精品视频| 婷婷精品国产亚洲av在线| 日韩高清综合在线| 又黄又爽又免费观看的视频| 国产一区二区亚洲精品在线观看| 久久人妻av系列| 午夜福利18| 99久久精品国产国产毛片| 国产毛片a区久久久久| 波多野结衣高清作品| 国产精品伦人一区二区| 日韩一本色道免费dvd| 性插视频无遮挡在线免费观看| 久久久欧美国产精品| 国产成人91sexporn| aaaaa片日本免费| 在线天堂最新版资源| 日本a在线网址| 欧美潮喷喷水| 婷婷六月久久综合丁香| 蜜桃亚洲精品一区二区三区| 2021天堂中文幕一二区在线观| 一本一本综合久久| av天堂中文字幕网| av视频在线观看入口| 小蜜桃在线观看免费完整版高清| 91麻豆精品激情在线观看国产| 成人鲁丝片一二三区免费| 三级国产精品欧美在线观看| 日本一二三区视频观看| 欧美高清成人免费视频www| 久久久久久伊人网av| 国产精品伦人一区二区| 最好的美女福利视频网| 热99re8久久精品国产| 国产精品亚洲一级av第二区| 综合色丁香网| 亚洲欧美成人精品一区二区| 变态另类丝袜制服| 国产精品永久免费网站| 精华霜和精华液先用哪个| 欧美xxxx性猛交bbbb| 九九在线视频观看精品| 色播亚洲综合网| 欧美高清成人免费视频www| 亚洲av美国av| 中文在线观看免费www的网站| 少妇人妻一区二区三区视频| 狂野欧美白嫩少妇大欣赏| 精品熟女少妇av免费看| 国模一区二区三区四区视频| 婷婷精品国产亚洲av| 综合色丁香网| 国产伦在线观看视频一区| 少妇的逼好多水| 色尼玛亚洲综合影院| 国产真实伦视频高清在线观看| 一进一出抽搐动态| 日韩欧美 国产精品| 97热精品久久久久久| 天天一区二区日本电影三级| 校园人妻丝袜中文字幕| 色5月婷婷丁香| 久久精品综合一区二区三区| 亚洲丝袜综合中文字幕| 波多野结衣高清作品| av黄色大香蕉| 99久久精品热视频| 欧美国产日韩亚洲一区| 久久这里只有精品中国| 蜜桃亚洲精品一区二区三区| 美女大奶头视频| 在线免费观看不下载黄p国产| 成年女人看的毛片在线观看| 国产成人影院久久av| 国语自产精品视频在线第100页| 欧美日韩乱码在线| 熟妇人妻久久中文字幕3abv| 欧美性感艳星| 国产伦一二天堂av在线观看| 91久久精品国产一区二区三区| 亚洲三级黄色毛片| 哪里可以看免费的av片| 欧美一级a爱片免费观看看| 亚洲欧美成人综合另类久久久 | 国产美女午夜福利| 男女啪啪激烈高潮av片| 久99久视频精品免费| 精品一区二区三区视频在线观看免费| 春色校园在线视频观看| 日本-黄色视频高清免费观看| 18禁在线无遮挡免费观看视频 | 亚洲av免费高清在线观看| 精品不卡国产一区二区三区| 欧美xxxx黑人xx丫x性爽| 亚洲欧美日韩东京热| 国产一区二区三区在线臀色熟女| 在线播放无遮挡| 九九热线精品视视频播放| 精品国内亚洲2022精品成人| 变态另类丝袜制服| 看片在线看免费视频| 精品午夜福利在线看| 真实男女啪啪啪动态图| 日韩欧美三级三区| 淫妇啪啪啪对白视频| 高清日韩中文字幕在线| 一本精品99久久精品77| 香蕉av资源在线| 别揉我奶头 嗯啊视频| avwww免费| 欧美成人精品欧美一级黄| 又粗又爽又猛毛片免费看| 简卡轻食公司| 日韩精品青青久久久久久| 久久久国产成人免费| 身体一侧抽搐| 简卡轻食公司| 波多野结衣高清无吗| 亚洲人与动物交配视频| 又黄又爽又免费观看的视频| 精华霜和精华液先用哪个| 春色校园在线视频观看| 久久精品91蜜桃| 午夜福利视频1000在线观看| 国内精品美女久久久久久| 国产成人影院久久av| 在线观看免费视频日本深夜| 亚洲va在线va天堂va国产| 国产精品亚洲一级av第二区| 久久国内精品自在自线图片| 午夜福利在线观看免费完整高清在 | 亚洲精品影视一区二区三区av| 一个人看视频在线观看www免费| 深爱激情五月婷婷| 国产精品99久久久久久久久| 久久6这里有精品| 免费看光身美女| 在线观看美女被高潮喷水网站| 91狼人影院| 久久综合国产亚洲精品| 亚洲最大成人中文| 六月丁香七月| 国产精品亚洲一级av第二区| 亚洲av免费高清在线观看| 国产成人精品久久久久久| 美女cb高潮喷水在线观看| 久久精品91蜜桃| 在现免费观看毛片| 91久久精品电影网| 欧美xxxx性猛交bbbb| 亚洲精品日韩在线中文字幕 | 国产亚洲精品综合一区在线观看| av在线天堂中文字幕| 中文资源天堂在线| 岛国在线免费视频观看| 三级男女做爰猛烈吃奶摸视频| 亚洲婷婷狠狠爱综合网| 熟女电影av网| 简卡轻食公司| 最好的美女福利视频网| 亚洲av不卡在线观看| 在线观看一区二区三区| 国产大屁股一区二区在线视频| 亚洲av.av天堂| 日本一本二区三区精品| 久久久久久国产a免费观看| 麻豆一二三区av精品| 久久久久久久午夜电影| 欧美日韩国产亚洲二区| 免费人成视频x8x8入口观看| 一级黄色大片毛片| 亚洲最大成人手机在线| 午夜福利高清视频| 麻豆精品久久久久久蜜桃| 亚洲自拍偷在线| 亚洲精品456在线播放app| 黄片wwwwww| 高清毛片免费看| 国产私拍福利视频在线观看| 成人一区二区视频在线观看| a级毛片免费高清观看在线播放| 91在线观看av| 91在线精品国自产拍蜜月| 国产黄片美女视频| 国产精华一区二区三区| 男女啪啪激烈高潮av片| 久久草成人影院| 热99在线观看视频| 久久久精品大字幕| 亚洲最大成人av| 特级一级黄色大片| 亚洲婷婷狠狠爱综合网| 我的老师免费观看完整版| 能在线免费观看的黄片| 国产一区二区三区av在线 | 不卡视频在线观看欧美| 一夜夜www| 国语自产精品视频在线第100页| 18禁裸乳无遮挡免费网站照片| 亚洲欧美精品自产自拍| 免费在线观看成人毛片| 美女免费视频网站| 老司机午夜福利在线观看视频| 18禁黄网站禁片免费观看直播| 亚洲国产精品久久男人天堂| 亚洲av成人av| 亚洲无线观看免费| 亚洲高清免费不卡视频| 国产成人精品久久久久久| 国产黄色视频一区二区在线观看 | 日韩欧美 国产精品| 韩国av在线不卡| 亚洲精品成人久久久久久| 亚洲久久久久久中文字幕| 亚洲一级一片aⅴ在线观看| 精品人妻熟女av久视频| av在线观看视频网站免费| 麻豆av噜噜一区二区三区| 男人舔女人下体高潮全视频| 99热这里只有是精品50| 天堂√8在线中文| 最近最新中文字幕大全电影3| 亚洲美女视频黄频| 精品久久久久久久久久免费视频| 99热只有精品国产| 老师上课跳d突然被开到最大视频| 亚洲综合色惰| 看片在线看免费视频| 日韩成人av中文字幕在线观看 | 成人性生交大片免费视频hd| 无遮挡黄片免费观看| 日本在线视频免费播放| 变态另类丝袜制服| 日韩国内少妇激情av| 在线观看午夜福利视频| 大型黄色视频在线免费观看| 成人亚洲精品av一区二区| 精品乱码久久久久久99久播| 天堂av国产一区二区熟女人妻| 一个人免费在线观看电影| 一级黄色大片毛片| 久久精品夜色国产| avwww免费| 久久久精品大字幕| 超碰av人人做人人爽久久| 国产毛片a区久久久久| 美女cb高潮喷水在线观看| 国产三级中文精品| 午夜精品国产一区二区电影 | 日韩欧美免费精品| 在线观看66精品国产| 国产真实乱freesex| 国产三级在线视频| 亚洲天堂国产精品一区在线| 国产精品爽爽va在线观看网站| 国产精品国产高清国产av| 国产亚洲av嫩草精品影院| av天堂在线播放| 国产精品久久电影中文字幕| 亚洲精品粉嫩美女一区| 久久久久国产精品人妻aⅴ院| 给我免费播放毛片高清在线观看| 人人妻,人人澡人人爽秒播| 99热这里只有精品一区| 免费高清视频大片| 天天一区二区日本电影三级| 亚洲av免费高清在线观看| 最好的美女福利视频网| 一本精品99久久精品77| 激情 狠狠 欧美| 亚洲精品一卡2卡三卡4卡5卡| 麻豆成人午夜福利视频| 3wmmmm亚洲av在线观看| 人妻丰满熟妇av一区二区三区| 超碰av人人做人人爽久久| 国产视频一区二区在线看| 一级黄片播放器| 国产伦精品一区二区三区视频9| 美女被艹到高潮喷水动态| av在线播放精品| 国内精品美女久久久久久| 久久久国产成人精品二区| 久久中文看片网| 在线播放无遮挡| videossex国产| 日本免费一区二区三区高清不卡| 亚洲av不卡在线观看| 波多野结衣高清作品| 内射极品少妇av片p| 99久久精品国产国产毛片| 村上凉子中文字幕在线| 国产aⅴ精品一区二区三区波| 久久久久久大精品| 亚洲专区国产一区二区| 热99re8久久精品国产| 久久婷婷人人爽人人干人人爱| 麻豆一二三区av精品| 国产成人a∨麻豆精品| 国产高清视频在线播放一区| 校园春色视频在线观看| 国国产精品蜜臀av免费| 欧美不卡视频在线免费观看| 亚洲人与动物交配视频| 日韩欧美一区二区三区在线观看| 日韩欧美在线乱码| 插阴视频在线观看视频| 无遮挡黄片免费观看| 亚洲av成人精品一区久久| 天美传媒精品一区二区| 麻豆久久精品国产亚洲av| 国产精品伦人一区二区| 久久人人爽人人爽人人片va| 久久精品国产亚洲av涩爱 | 99热精品在线国产| 卡戴珊不雅视频在线播放| 日本免费一区二区三区高清不卡| 日本三级黄在线观看| 国国产精品蜜臀av免费| 在线观看66精品国产| 国产日本99.免费观看| 久久中文看片网| 国产精品99久久久久久久久| 在现免费观看毛片| 在线观看一区二区三区| 少妇的逼水好多| 精品久久久久久久末码| 亚洲精品在线观看二区| 观看免费一级毛片| 18禁在线播放成人免费| 寂寞人妻少妇视频99o| 晚上一个人看的免费电影| 亚洲精品粉嫩美女一区| 欧美最新免费一区二区三区| 夜夜夜夜夜久久久久| 国产精品一区二区三区四区久久| 欧美激情久久久久久爽电影| 51国产日韩欧美| 九九久久精品国产亚洲av麻豆| 国产亚洲精品av在线| 久久国内精品自在自线图片| 国产一区二区在线观看日韩| 免费一级毛片在线播放高清视频| 国模一区二区三区四区视频| 欧美日韩在线观看h| 青春草视频在线免费观看| 国产精品久久久久久av不卡| av在线观看视频网站免费| 亚洲在线观看片| 日日摸夜夜添夜夜爱| 波多野结衣高清无吗| 久久人妻av系列| 国产高清有码在线观看视频| 久久热精品热| 老师上课跳d突然被开到最大视频| 日本免费a在线| 国产精品一区二区性色av| 亚洲久久久久久中文字幕| 我要看日韩黄色一级片| 亚洲一区二区三区色噜噜| 内地一区二区视频在线| 乱人视频在线观看| 免费观看在线日韩| 精品99又大又爽又粗少妇毛片| a级毛片免费高清观看在线播放| 国产精品久久久久久久电影| 老司机午夜福利在线观看视频| 女生性感内裤真人,穿戴方法视频| 女同久久另类99精品国产91| 99久国产av精品| АⅤ资源中文在线天堂| 在线观看66精品国产| 国产精品伦人一区二区| 一级毛片电影观看 | 黄色欧美视频在线观看| 六月丁香七月| 精品人妻视频免费看| 美女被艹到高潮喷水动态| 高清毛片免费观看视频网站|