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

    EBL-代數(shù)上的蘊涵濾子與正蘊涵濾子

    2022-09-24 10:19:00左衛(wèi)兵
    關(guān)鍵詞:濾子蘊涵充分性

    左衛(wèi)兵,韓 睿

    (華北水利水電大學(xué) 數(shù)學(xué)與統(tǒng)計學(xué)院,河南 鄭州 450046)

    0 引言

    邏輯代數(shù)是研究非經(jīng)典邏輯系統(tǒng)的重要工具,包括MV-代數(shù)、BL-代數(shù)、R0-代數(shù)、剩余格等等. MV-代數(shù)是著名邏輯學(xué)家C C Chang[1]為解決ukasiewicz多值邏輯系統(tǒng)的完備性引入的一種代數(shù)體系. BL-代數(shù)是Hájek P[2]為了給出基本邏輯完備性的代數(shù)證明提出的代數(shù)結(jié)構(gòu). 已有的研究結(jié)果表明[2-3],這兩種邏輯代數(shù)都是基于剩余格再附加上某些條件得到的代數(shù)結(jié)構(gòu). MV-代數(shù)是特殊的BL-代數(shù):滿足對合性的BL-代數(shù)即為MV-代數(shù). MV-代數(shù)的研究得以廣泛發(fā)展后,不少學(xué)者基于不同的角度拓展了MV-代數(shù),其中A等[4]利用廣義Boolean代數(shù)的定義擴展了MV-代數(shù),并將其稱為EMV-代數(shù),同時探究了EMV-代數(shù)的性質(zhì)以及結(jié)構(gòu)特征,形成了基本的理論框架. EMV-代數(shù)沒有定義最大元,在EMV-代數(shù)M中,對于M的任意冪等元a,[0,a]構(gòu)成了MV-代數(shù). 文獻[5]采用類似的方法,拓展了BL-代數(shù),引入了EBL-代數(shù)的概念,研究了它的結(jié)構(gòu)性質(zhì),刻畫了它的特征定理. 類似地,在EBL-代數(shù)A中,對于A的任意冪等元a,[0,a]構(gòu)成了BL-代數(shù).

    在研究邏輯代數(shù)的過程中,濾子作為一個工具性概念發(fā)揮了不可替代的作用. 目前,在BL-代數(shù)、剩余格等代數(shù)系統(tǒng)中,這方面的研究工作已經(jīng)獲得了很多有價值的成果[6-14]. EMV-代數(shù)[4]和EBL-代數(shù)[5]上也分別引入了濾子的概念,討論了濾子的一些基本性質(zhì),但對于具體濾子沒有做更多深入地探討. 在此背景下,本文在文獻[5]的基礎(chǔ)上,在EBL-代數(shù)中定義了Boolean濾子、蘊涵濾子、正蘊涵濾子等概念,得到了它們的一系列等價刻畫,并討論了它們的相互關(guān)系,證明了正蘊涵濾子是蘊涵濾子以及Boolean濾子和正蘊涵濾子的等價性. 同時,通過濾子構(gòu)建了同余關(guān)系,并從商代數(shù)的角度得到了濾子的相關(guān)結(jié)論.

    1 預(yù)備知識

    定義1[2](2,2,2,2,0,0)型代數(shù)系統(tǒng)(A,∨,∧,⊙,→,0,1)稱為BL-代數(shù),如果

    (1) (A,∨,∧,0,1)是有界格;

    (2) (A,⊙,1)是交換幺半群;

    (3) 對任意x,y,z∈A,x⊙y≤z?x≤y→z;

    (4) 對任意x,y∈A,x∧y=x⊙(x→y);

    (5) 對任意x,y∈A,(x→y)∨(y→x)=1.

    在BL-代數(shù)A中,若?x∈A,有x--=x成立,則A稱為MV-代數(shù).其中,x-=x→0.

    命題1[2,6,16,17,18,19]設(shè)A是BL-代數(shù),則對任意x,y,z∈A,以下性質(zhì)成立:

    (1)x≤y?x→y=1;

    (2)x→(y→z)=(x⊙y)→z=y→(x→z);

    (3) (x∨y)→z=(x→z)∧(y→z),(x∧y)→z=(x→z)∨(y→z);

    (4) 若x≤y,則y→z≤x→z,z→x≤z→y,x⊙z≤y⊙z;

    (5) 1→x=x,x→x=1,x→1=1,x≤x--,x---=x-,x--≤x-→x;

    (6)x⊙y≤x∧y,x⊙0=0;

    (7)x⊙(y∨z)=(x⊙y)∨(x⊙z),x⊙(y∧z)=(x⊙y)∧(x⊙z);

    (8)y≤(y→x)→x,x≤y→x;

    (9)x→y≤(y→z)→(x→z),y→x≤(z→y)→(z→x);

    (10)x∨y=[(x→y)→y]∧[(y→x)→x];

    (11) (x∧y)n=xn∧yn,(x∨y)n=xn∨yn,xm∨yn≥(x∨y)mn.

    定義2[5](2,2,2,0)型代數(shù)系統(tǒng)(A,∨,∧,⊙,0)稱為EBL-代數(shù),如果

    (1) (A,∨,∧,0)是具有最小元的分配格;

    (2) (A,⊙,0)是交換半群,0是中性元素;

    (3) 對任意a,b∈I(A)且a≤b,任意x,y∈[a,b],元素x→a,by=∨{z∈[a,b]|x⊙z≤y}存在,且([a,b],∨,∧,⊙,→a,b,a,b)是BL-代數(shù);

    (4) (A,∨,∧,⊙,0)有足夠多的冪等元,即對任意x∈A,存在a∈L(A),使得x≤a.

    注:(1) 對于半群(A,⊙)中的元素a,如果滿足a⊙a=a,則稱其為冪等元.I(A)表示A中所有冪等元的集合.

    (2) 用→b來表示→0,b.

    命題2[5]如果(A,∨,∧,⊙,→,0,1)是BL-代數(shù),則(A,∨,∧,⊙,0)是EBL-代數(shù).

    命題3[5]設(shè)(A,∨,∧,⊙,0)是EBL-代數(shù),則對任意a,b∈I(A)且a≤b,以下性質(zhì)成立:

    (1) ?x,y∈[0,a],x→by=(x→ay)∨(a→b0);

    (2) ?x,y∈[0,a],x→ay≤x→by.

    命題4設(shè)A是EBL-代數(shù),則對任意x,y,z∈A,a,b∈I(A)且x,y,z≤a,x,y,z≤b,有y⊙(x→az)=y⊙(x→bz).

    證明與文獻[5]命題3.12(i)的證明類似,略.

    定義3[5]設(shè)F為EBL-代數(shù)A的非空子集,F(xiàn)稱為濾子,如果

    (1) ?x,y∈A,若x≤y,且x∈F,則y∈F;

    (2) 若x,y∈F,則x⊙y∈F.

    命題5設(shè)F為EBL-代數(shù)A的非空子集,則F是A的濾子當且僅當

    (1) ?x∈A,?a∈I(A)且x≤a,有a∈F;

    (2) ?x,y∈A,?a∈I(A)且x,y≤a,若x∈F,x→ay∈F,則y∈F.

    證明必要性.由于F是非空子集,則存在x∈F.?a∈I(A)且x≤a,由F是濾子,知a∈F.設(shè)x∈F,x→ay∈F,則x⊙(x→ay)∈F.又x⊙(x→ay)≤y,因此y∈F.

    充分性.設(shè)y,z∈A.根據(jù)定義2以及(1),知存在c∈I(A)∩F,使得y∨z∨x≤c,從而y,z,x≤c.在BL-代數(shù)([0,c],∨,∧,⊙,→c,0,c)中,設(shè)y∈F,y≤z,由命題1(1),得y→cz=c∈F.再由(2)得,z∈F.再設(shè)y,z∈F,根據(jù)命題1(2)(5),y→c(z→c(y⊙z))= (y⊙z)→c(y⊙z)=c∈F.由(2)得,z→c(y⊙z)∈F,再由(2)得,y⊙z∈F.即證F是A的濾子.

    推論1若F是EBL-代數(shù)A的濾子,則對任意x∈A,存在a∈I(A)∩F,使得x≤a.

    2 EBL-代數(shù)上的Boolean濾子

    首先給出素濾子的定義以及相關(guān)結(jié)論.

    定義4設(shè)F是EBL-代數(shù)A的濾子,若?x,y∈A,?a∈I(A)且x,y≤a,有x→ay∈F或y→ax∈F,則稱F為A的素濾子.

    定理1設(shè)F為EBL-代數(shù)A的濾子,F(xiàn)是素的當且僅當?x,y∈A,若x∨y∈F,則x∈F或y∈F.

    證明必要性.設(shè)x∨y∈F,其中x,y∈A.因為F是素的,所以存在a∈I(A)且x,y≤a,使得x→ay∈F或y→ax∈F.若y→ax∈F,由命題1(3)(5)知,

    (x∨y)→ax=(x→ax)∧(y→ax)=
    a∧(y→ax)=y→ax∈F.

    又因為F是濾子,x∨y∈F,所以x∈F.同理,若x→ay∈F,根據(jù)(x∨y)→ay∈F,可得y∈F.

    充分性.設(shè)x,y∈A.因為F是濾子,根據(jù)推論1,?a∈I(A)∩F使得x∨y≤a,從而x,y≤a.在BL-代數(shù)([0,a],∨,∧,⊙,→a,0,a)中,因為(x→ay)∨(y→ax)=a∈F,由題設(shè)得x→ay∈F或y→ax∈F.即證.

    定義5[5]設(shè)F為EBL-代數(shù)A的濾子.若?x∈AF,有〈F∪{x}〉=A,則稱F是極大濾子.

    引理1[5]設(shè)F為EBL-代數(shù)A的真濾子,則

    (1) ?x∈A,〈F∪{x}〉={z∈A|z≥y⊙xn,?n∈N,y∈F};

    (2)F是極大的當且僅當?x?F,?n∈N,b∈I(A)且x≤b,使得xn→b0∈F.

    引理2設(shè)F是EBL-代數(shù)A的真濾子且a,b∈A,則〈F∪{a}〉∩〈F∪〉=〈F∪{a∨b}〉.

    證明設(shè)c∈〈F∪{a}〉∩〈F∪〉,則存在n1,n2∈N,f1,f2∈F,使得f1⊙an1≤c且f2⊙bn2≤c.令p=f1⊙f2,則p∈F.根據(jù)命題1(6),

    (p⊙a)n1=(pn1⊙an1)≤f1⊙an1≤c,
    (p⊙b)n2=(pn2⊙bn2)≤f2⊙bn2≤c.

    再由命題1(7)(11)得

    c≥(p⊙a)n1∨(p⊙b)n2≥
    ((p⊙a)∨(p⊙b))n1n2=
    (p⊙(a∨b))n1n2=pn1n2⊙(a∨b)n1n2.

    顯然pn1n2∈F,c∈〈F∪{a∨b}〉,所以〈F∪{a}〉∩〈F∪〉?〈F∪{a∨b}〉.又因為反包含是必然的,因此〈F∪{a}〉∩〈F∩〉=〈F∪{a∨b}〉.

    推論2設(shè)F為EBL-代數(shù)A的真濾子,a,b∈A.如果a∨b∈F,則

    〈F∪{a}〉∩〈F∪〉=F.

    定義6設(shè)F是EBL-代數(shù)A的濾子.若?x∈A,?a∈I(A)∩F且x≤a,有x∨x-a∈F,則稱F為Boolean濾子.其中,x-a=x→a0.

    定理2設(shè)F為EBL-代數(shù)A的濾子,則下列條件等價:

    (1)F是極大的且Boolean的濾子;

    (2)F是素的且Boolean的濾子;

    (3)F是真濾子且?x∈A,?a∈I(A)∩F使得x≤a,有x∈F或x-a∈F.

    證明(1)?(2).設(shè)F是EBL-代數(shù)A的極大濾子,且x∨y∈F,其中x,y∈A.若x?F且y?F,由推論2知,〈F∪{x}〉∩〈F∪{y}〉=F.又F是極大濾子,則〈F∪{x}〉=〈F∪{y}〉=A.于是有A=F,矛盾.因此有x∈F或y∈F,即證F是素濾子.

    (2)?(3).因為F是Boolean濾子,所以?x∈A,?a∈I(A)∩F且x≤a,有x∨x-a∈F.又因為F是素的,因此x∈F或x-a∈F,證畢.

    (3)?(1).根據(jù)條件(3),可得?x∈A,?a∈I(A)∩F且x≤a,有x,x-a≤x∨x-a∈F,所以F是Boolean濾子.又因為F是濾子,根據(jù)推論1,?x∈A,?c∈I(A)∩F且x≤c.由(3)知,x∈F或x→c0∈F.即?x?F,?n=1∈N,c∈I(A)且x≤c,有xn→c0∈F成立.由引理1即知,F(xiàn)是極大濾子.證畢.

    定義7[5]設(shè)(A,∨,∧,⊙,0)為EBL-代數(shù),A上的等價關(guān)系稱為同余,如果

    (1)θ對∨,∧和⊙是封閉的;

    (2) ?a∈I(A),θ∩([0,a]×[0,a])是BL-代數(shù)([0,a],∨,∧,⊙,→a,0,a)上的同余.

    命題6設(shè)F為EBL-代數(shù)A的濾子,定義A上的關(guān)系θF如下:(x,y)∈θF當且僅當?a∈I(A)且x,y≤a,有x→ay,y→ax∈F,則θF是A上的同余.

    證明與文獻[16]定理6.5的證明類似,略.

    設(shè)F是EBL-代數(shù)A的濾子,定義A/θF={x/θF|x∈A},其中x/θF={y∈A|(x,y)∈θF}.在A/θF上定義∨,∧,⊙如下:

    x/θF∨y/θF=(x∨y)/θF,
    x/θF∧y/θF=(x∧y)/θF,
    x/θF⊙y/θF=(x⊙y)/θF.

    由文獻[5]可知(A/θF,∨,∧,⊙,0/θF)是EBL-代數(shù),下用A/F表示A/θF.

    定理3設(shè)F為EBL-代數(shù)A的濾子,則下列條件等價:

    (1)F是EBL-代數(shù)A的Boolean濾子;

    (2)A/F是EBL-代數(shù),?x∈A,?a∈I(A)∩F且x≤a,有(x∨x-a)/θF=a/θF.

    證明(1)?(2).設(shè)F是Boolean濾子,則?x∈A,?a∈I(A)∩F且x≤a,有x∨x-a∈F.在→a下,由命題1(1)(5)得

    (x∨x-a)→aa=a∈F,
    a→a(x∨x-a)=x∨x-a∈F.

    所以(x∨x-a,a)∈θF,因此(x∨x-a)/θF=a/θF.

    (2)?(1).由(2)知,?x∈A,?a∈I(A)∩F且x≤a,有(x∨x-a)/θF=a/θF.即(x∨x-a,a)∈θF.則?b∈I(A)且x∨x-a,a≤b,有a→b(x∨x-a)∈F.又a∈F,F(xiàn)是濾子,所以x∨x-a∈F.因此F是Boolean濾子.

    3 EBL-代數(shù)上的蘊涵濾子

    定義8設(shè)F為EBL-代數(shù)A的非空子集,F(xiàn)稱為蘊涵濾子,如果

    (1) ?x∈A,?a∈I(A)且x≤a,有a∈F;

    (2) ?x,y,z∈A,?a∈I(A)且x,y,z≤a,若x→a(y→az)∈F,x→ay∈F,則x→az∈F.

    命題7EBL-代數(shù)A的蘊涵濾子是濾子,反之不成立.

    證明設(shè)x,x→ay∈F,其中x,y∈A,a∈I(A)且x,y≤a.在BL-代數(shù)([0,a],∨,∧, ⊙,→a,0,a)中,根據(jù)命題1(5)得a→a(x→ay)=x→ay∈F,a→ax=x∈F.再根據(jù)蘊涵濾子定義,有y=a→ay∈F,因此F為濾子.

    例1設(shè)A={0,m,n,1},定義⊙,→1如下:

    ☉0mn100000m00mmn0mnn10mn1

    ,

    →10mn101111mm111n0m1110mn1

    則(A,∨,∧,⊙,→1,0,1)是BL-代數(shù)[7],從而(A,∨,∧,⊙,0)是EBL-代數(shù).可以驗證F={n,1}是濾子,但不是蘊涵濾子.因為m→1(m→10)=1∈F,m→1m=1∈F,而m→10=m?F.

    定理4設(shè)F為EBL-代數(shù)A的非空子集,則以下條件等價:

    (1)F是蘊涵濾子;

    (2)F是濾子,?x,y∈A,?a∈I(A)且x,y≤a,若y→a(y→ax)∈F,則y→ax∈F;

    (3)F是濾子,?x,y,z∈A,?a∈I(A)且x,y,z≤a,若z→a(y→ax)∈F,則(z→ay)→a(z→ax)∈F;

    (4)F是濾子,?x,y,z∈A,?a∈I(A)且x,y,z≤a,若z→a(y→a(y→ax))∈F,z∈F,則y→ax∈F.

    證明(1)?(2).已知F為蘊涵濾子,則F是濾子.設(shè)y→a(y→ax)∈F,其中x,y∈A,a∈I(A)且x,y≤a.由y→a(y→ax)≤a,可得a∈F.根據(jù)命題1(5),y→ay=a∈F.由蘊涵濾子定義即得y→ax∈F.

    (2)?(3).設(shè)z→a(y→ax)∈F,其中x,y,z∈A,a∈I(A)且x,y,z≤a.在BL-代數(shù)([0,a],∨,∧,⊙,→a,0,a)中,根據(jù)命題1(2)(4)(9)得

    z→a(z→a((z→ay)→ax))=
    z→a((z→ay)→a(z→ax))≥z→a(y→ax).

    又F是濾子,z→a(y→ax)∈F,則z→a(z→a((z→ay)→ax))∈F.再由(2)得,z→a((z→ay)→ax)∈F.故(z→ay)→a(z→ax)=z→a((z→ay)→ax)∈F.

    (3)?(4).設(shè)z,z→a(y→a(y→ax))∈F,其中x,y,z∈A,a∈I(A)且x,y,z≤a.因為F是濾子,所以y→a(y→ax)∈F.由(3)得,(y→ay)→a(y→ax)∈F,即a→a(y→ax)=y→ax∈F.

    (4)?(1).設(shè)z→a(y→ax)∈F,z→ay∈F,其中x,y,z∈A,a∈I(A)且x,y,z≤a.根據(jù)命題1(2)(9),

    z→a(y→ax)=y→a(z→ax)≤
    (z→ay)→a(z→a(z→ax)).

    又F是濾子,所以(z→ay)→a(z→a(z→ax))∈F.再由z→ay∈F及(4)可得z→ax∈F,即證F是蘊涵濾子.

    引理3設(shè)F是EBL-代數(shù)A的濾子,則以下條件等價:

    (1)F是蘊涵濾子;

    (2) ?x∈A,?a∈I(A)∩F且x≤a,有x→ax2∈F.

    證明(1)?(2).設(shè)F是蘊涵濾子.?x∈A,?a∈I(A)∩F且x≤a,由命題1(2)(5),知x→a(x→ax2)=x2→ax2=a∈F,x→ax=a∈F.由定義8,即得x→ax2∈F.

    (2)?(1).設(shè)x→a(y→az)∈F,x→ay∈F,其中x,y,z∈A,a∈I(A)且x,y,z≤a.則a≥x→ay∈F.因此x→ax2∈F.又因為

    (x→ay)⊙(x→a(y→az))⊙x2=
    ((x→ay)⊙x)⊙((x→a(y→az))⊙x)≤
    y⊙(y→az)≤z,

    所以(x→ay)⊙(x→a(y→az))≤x2→az.因此x2→az∈F,(x→ax2)⊙(x2→az)∈F.再由命題1(9)及定義1(3)得,

    x→az≥(x→ax2)⊙(x2→az)∈F,

    故F是A的蘊涵濾子.

    定理5若F是EBL-代數(shù)A的Boolean濾子,則F是蘊涵濾子.

    證明設(shè)F是A的Boolean濾子,則?x∈A,?a∈I(A)∩F且x≤a,有x∨(x→a0)∈F.根據(jù)命題1(2)(3)(5),有

    (x∨(x→a0))→a(x→ax2)=
    (x→a(x→ax2))∧
    ((x→a0)→a(x→ax2))=
    (x2→ax2)∧((x→a0)→a(x→ax2))=
    a∧((x→a0)→a(x→ax2)).

    因為0≤x2,由命題1(1)(4),得x→a0≤x→ax2,(x→a0)→a(x→ax2)=a.因此(x∨(x→a0))→a(x→ax2)=a∧a=a∈F.又F是濾子,所以x→ax2∈F.再由引理3可得F是蘊涵濾子.

    定理6設(shè)F為EBL-代數(shù)A的濾子,則下列條件等價:

    (1)F是EBL-代數(shù)A的蘊涵濾子;

    (2)A/F是EBL-代數(shù),且對任意x∈A,x/θF=x2/θF.

    證明(1)?(2).因為F是濾子,則?x∈A,?b∈I(A)∩F且x≤b.又因為F是蘊涵濾子,由引理3知,x→bx2∈F.再由命題1(1)(6),可得x2→bx=b∈F.因此(x,x2)∈θF,故x/θF=x2/θF.

    (2)?(1).設(shè)x→a(y→az)∈F,x→ay∈F,其中x,y,z∈A,a∈I(A)且x,y,z≤a.由引理3證明知,

    (x→ay)⊙(x→a(y→az))≤x2→az∈F.

    又由(2)知,x/θF=x2/θF,即(x,x2)∈θF.則?b∈I(A)且x,x2≤b,有x→bx2∈F.取c∈I(A)且a,b≤c,根據(jù)命題3(1),有x→bx2≤x→cx2∈F,且x,x2,x2→az≤c.則由命題4可得,(x→ax2)⊙(x2→az)=(x→cx2)⊙(x2→az)∈F.再根據(jù)命題1(9)及定義1(3),有(x→ax2)⊙(x2→az)≤x→az∈F.因此,F(xiàn)是蘊涵濾子.

    4 EBL-代數(shù)上的正蘊涵濾子

    定義9設(shè)F為EBL-代數(shù)A的非空子集,F(xiàn)稱為正蘊涵濾子,如果

    (1) ?x∈A,?a∈I(A)且x≤a,有a∈F;

    (2) ?x,y,z∈A,?a∈I(A)且x,y,z≤a,若x→a((y→az)→ay)∈F,x∈F,則y∈F.

    命題8EBL-代數(shù)A的正蘊涵濾子均為濾子.

    證明設(shè)F為A的正蘊涵濾子,且x,x→ay∈F,其中x,y∈A,a∈I(A)且x,y≤a.根據(jù)命題1(1)(5),x→a((y→aa)→ay)=x→a(a→ay)=x→ay,所以x→a((y→aa)→ay)∈F.又因為F為A的正蘊涵濾子,x∈F,因此y∈F.

    定理7EBL-代數(shù)A的正蘊涵濾子是蘊涵濾子,反之不成立.

    證明設(shè)F為A的正蘊涵濾子,若x→a(y→az)∈F,x→ay∈F,其中x,y,z∈A,a∈I(A)且x,y,z≤a.需證x→az∈F.先證(x→ay)→a(((x→az)→az)→a(x→az)) ∈F.根據(jù)命題1(9),((x→az)→az)→a(x→az)≥x→a(x→az).再由命題1(2)(4)(9)得,

    (x→ay)→a(((x→az)→az)→a(x→az))≥
    (x→ay)→a(x→a(x→az))=
    x→a((x→ay)→a(x→az))≥
    x→a(y→az).

    根據(jù)假設(shè)x→a(y→az)∈F,且F為濾子,因此(x→ay)→a(((x→az)→az)→a(x→az))∈F.又因為F是正蘊涵濾子,x→ay∈F,故x→az∈F.證畢.

    例2設(shè)A=[0,1],定義⊙,→1如下:

    定理8設(shè)F是EBL-代數(shù)A的濾子,則F是正蘊涵濾子當且僅當?x,y∈A,?a∈I(A)且x,y≤a,若(x→ay)→ax∈F,則x∈F.

    證明必要性.設(shè)(x→ay)→ax∈F,F(xiàn)是正蘊涵濾子,其中x,y∈A,a∈I(A)且x,y≤a.則F是濾子,由(x→ay)→ax≤a,得a∈F.根據(jù)命題1(5),有a→a((x→ay)→ax)=(x→ay)→ax∈F,又F是正蘊涵濾子,所以x∈F.

    充分性.設(shè)x∈F,x→a((y→az)→ay)∈F,其中x,y,z∈A,a∈I(A)且x,y,z≤a.由F是濾子,知(y→az)→ay∈F.根據(jù)題設(shè)可得,y∈F.即證F是正蘊涵濾子.

    定理9設(shè)F是EBL-代數(shù)A的蘊涵濾子,則F是正蘊涵濾子當且僅當?x,y∈A,?a∈I(A)且x,y≤a,若(x→ay)→ay∈F,則(y→ax)→ax∈F.

    證明必要性.設(shè)F為正蘊涵濾子且(x→ay)→ay∈F,其中x,y∈A,a∈I(A)且x,y≤a.由命題1(8)知,x≤(y→ax)→ax,再根據(jù)命題1(2)(4)(9),得((y→ax)→ax)→ay≤x→ay,

    (x→ay)→ay≤
    (y→ax)→a((x→ay)→ax)=
    (x→ay)→a((y→ax)→ax)≤
    (((y→ax)→ax)→ay)
    →a((y→ax)→ax)∈F.

    由定理8,即得(y→ax)→ax∈F.

    充分性.設(shè)z→a((x→ay)→ax)∈F,z∈F,其中,x,y,z∈A,a∈I(A)且x,y,z≤a.下證x∈F.由題設(shè)F是蘊涵濾子,則F是濾子,(x→ay)→ax∈F.由命題1(8),得x≤(x→ay)→ay,所以(x→ay)→a((x→ay)→ay)≥(x→ay)→ax∈F.又因為F是蘊涵濾子,由定理4知,(x→ay)→ay∈F.所以(y→ax)→ax∈F.根據(jù)命題1(4)(8),y≤x→ay,(x→ay)→ax≤y→ax.又y→ax≤z→a(y→ax),因此z→a(y→ax)≥(x→ay)→ax∈F.再由z∈F,F(xiàn)是濾子,可得y→ax∈F.從而由(y→ax)→ax∈F,知x∈F.即證.

    引理4設(shè)F是EBL-代數(shù)A的濾子,則以下條件等價:

    (1)F是正蘊涵濾子;

    (2) ?x∈A,?a∈I(A)∩F且x≤a,有(x-a→ax)→ax∈F.

    證明(1)?(2).設(shè)F是正蘊涵濾子.令α=(x-a→ax)→ax,其中x∈A,a∈I(A)∩F且x≤a.根據(jù)命題1(2)(5)(9),有

    (α→a0)→aα=(((x-a→ax)
    →ax)→a0)→a((x-a→ax)→ax)=
    (x-a→ax)→a((((x-a→ax)→ax)→a0)→ax)≥
    (((x-a→ax)→ax)→a0)→ax-a=
    (((x-a→ax)→ax)→a0)→a(x→a0)≥
    x→a((x-a→ax)→ax)=
    (x-a→ax)→a(x→ax)=
    (x-a→ax)→aa=a∈F.

    由定理8,即得α=(x-a→ax)→ax∈F.

    (2)?(1).設(shè)(x→ay)→ax∈F,其中x,y∈A,a∈I(A)且x,y≤a.下證x∈F.因為0≤y,根據(jù)命題1(4),x→a0≤x→ay,(x→ay)→ax≤(x→a0)→ax=x-a→ax,故x-a→ax∈F.又(x→ay)→ax≤a,F(xiàn)是濾子,所以a∈F.由(2)知,(x-a→ax)→ax∈F,從而x∈F.即證F是正蘊涵濾子.

    定理10若F是EBL-代數(shù)A的濾子,則F是正蘊涵濾子當且僅當F是Boolean濾子.

    證明必要性.因為F是正蘊涵濾子,所以F是蘊涵濾子.由引理3、引理4知,?x∈A,?a∈I(A)∩F且x≤a,有x→ax2∈F,(x-a→ax)→ax∈F.又由命題1(2)(9),得

    (x→ax-a)→ax-a=
    (x→a(x→a0))→a(x→a0)=
    (x2→a0)→a(x→a0)≥x→ax2∈F.

    所以根據(jù)命題1(10),x∨x-a=((x→ax-a)→ax-a)∧((x-a→ax)→ax)∈F.即證F是Boolean濾子.

    充分性.設(shè)F是Boolean濾子.則?x∈A,?a∈I(A)∩F且x≤a,由命題1(10),知x∨x-a=((x→ax-a)→ax-a)∧((x-a→ax)→ax)∈F.因此(x-a→ax)→ax≥x∨x-a∈F.由引理4,即得F是正蘊涵濾子.

    定理11設(shè)F為EBL-代數(shù)A的濾子,則下列條件等價:

    (1)F是EBL-代數(shù)A的正蘊涵濾子;

    (2)A/F是EBL-代數(shù),且?x,y∈A,?a∈I(A)∩F使得x,y≤a,有x/θF=((x→ay)→ax)/θF.

    證明(1)?(2).?x,y∈A,?a∈I(A)∩F且x,y≤a,因為y≥0,由命題1(4),得(x-a→ax)→ax≤((x→ay)→ax)→ax.再由引理4,知(x-a→ax)→ax∈F,所以((x→ay)→ax)→ax∈F.在→a下,由命題1(8),得x≤(x→ay)→ax.所以x→a((x→ay)→ax)=a∈F.從而(x,(x→ay)→ax)∈θF,故x/θF=((x→ay)→ax)/θF.

    (2)?(1).設(shè)(x→ay)→ax∈F,其中x,y∈A,a∈I(A)且x,y≤a.下證x∈F.因為(x→ay)→ax≤a,F(xiàn)是濾子,所以a∈F.則由(2)可得,x/θF=((x→ay)→ax)/θF.因此,存在b∈I(A)且x,(x→ay)→ax≤b,有((x→ay)→ax)→bx∈F.又(x→ay)→ax∈F,故x∈F.即證F是正蘊涵濾子.

    5 結(jié)語

    本文在EBL-代數(shù)上引入了素濾子、Boolean濾子、蘊涵濾子、正蘊涵濾子的概念,研究了它們的性質(zhì),刻畫了一系列等價條件,獲得了這些濾子的相關(guān)結(jié)論. 同時,證明了正蘊涵濾子是蘊涵濾子,給出了蘊涵濾子成為正蘊涵濾子的條件,說明了Boolean濾子和正蘊涵濾子的等價性. 此外,通過濾子構(gòu)建了EBL-代數(shù)上的同余關(guān)系,并從商代數(shù)的角度證明了上述濾子相應(yīng)的性質(zhì). 相關(guān)結(jié)果豐富了EBL-代數(shù)上的濾子理論.

    猜你喜歡
    濾子蘊涵充分性
    2023 年高考充要條件問題聚焦
    非交換剩余格上模糊PMTL濾子的特征及其性質(zhì)
    偉大建黨精神蘊涵的哲學(xué)思想
    當代陜西(2021年18期)2021-11-27 09:01:36
    解析簇上非孤立奇點的C0-Rv-V(f)-充分性
    我的超級老爸
    維持性血液透析患者透析充分性相關(guān)因素分析
    剩余格的猶豫模糊濾子理論*
    剩余格的模糊濾子理論
    多重模糊蘊涵與生成模糊蘊涵的新方法
    關(guān)于Fuzzy蘊涵代數(shù)的模糊MP濾子
    日韩高清综合在线| 国产精品久久久av美女十八| svipshipincom国产片| 两个人视频免费观看高清| 久久人人精品亚洲av| 欧美日韩国产亚洲二区| 免费看日本二区| cao死你这个sao货| 久久99热这里只有精品18| 欧美日韩精品网址| 中文在线观看免费www的网站 | 久久午夜综合久久蜜桃| 成年人黄色毛片网站| av有码第一页| 亚洲真实伦在线观看| 亚洲国产精品合色在线| 天堂影院成人在线观看| 久9热在线精品视频| 老汉色av国产亚洲站长工具| 波多野结衣高清无吗| 亚洲最大成人中文| 欧美国产日韩亚洲一区| 久久九九热精品免费| 色综合站精品国产| 精品久久久久久,| 亚洲欧美精品综合一区二区三区| 91老司机精品| 亚洲人成伊人成综合网2020| 两个人视频免费观看高清| 大型黄色视频在线免费观看| netflix在线观看网站| 久久久久国产一级毛片高清牌| 亚洲国产欧美一区二区综合| 在线免费观看的www视频| 成人av一区二区三区在线看| 久久久久免费精品人妻一区二区| 欧美极品一区二区三区四区| 日本一二三区视频观看| 九九热线精品视视频播放| 一级a爱片免费观看的视频| 黄色成人免费大全| 脱女人内裤的视频| 欧美3d第一页| 久久久久九九精品影院| 变态另类丝袜制服| 亚洲国产精品999在线| 在线观看免费视频日本深夜| 日日摸夜夜添夜夜添小说| 亚洲午夜理论影院| 精品日产1卡2卡| 精品欧美国产一区二区三| 国产精品av久久久久免费| 日韩欧美一区二区三区在线观看| 午夜视频精品福利| www日本在线高清视频| 国产精品一区二区免费欧美| 老司机午夜十八禁免费视频| 啪啪无遮挡十八禁网站| 黄色视频不卡| 中文字幕人成人乱码亚洲影| 悠悠久久av| 啦啦啦免费观看视频1| 中文字幕人妻丝袜一区二区| 精品人妻1区二区| 曰老女人黄片| 丁香六月欧美| 亚洲avbb在线观看| av福利片在线| 一级片免费观看大全| 19禁男女啪啪无遮挡网站| www日本黄色视频网| 999精品在线视频| 久久久久国产精品人妻aⅴ院| 怎么达到女性高潮| 中出人妻视频一区二区| 久久九九热精品免费| 狠狠狠狠99中文字幕| 亚洲熟妇中文字幕五十中出| 精华霜和精华液先用哪个| 免费在线观看影片大全网站| www日本在线高清视频| 国产av麻豆久久久久久久| 日本三级黄在线观看| 精品无人区乱码1区二区| www.www免费av| 一个人免费在线观看电影 | 国内揄拍国产精品人妻在线| 91字幕亚洲| 亚洲成人免费电影在线观看| 国产亚洲精品综合一区在线观看 | 村上凉子中文字幕在线| 999久久久精品免费观看国产| 欧美日韩国产亚洲二区| 怎么达到女性高潮| 日韩欧美在线二视频| 99久久精品国产亚洲精品| 制服诱惑二区| 亚洲精华国产精华精| 久久人妻福利社区极品人妻图片| 五月玫瑰六月丁香| 在线观看一区二区三区| 又粗又爽又猛毛片免费看| 午夜激情av网站| 国产午夜精品论理片| 亚洲精品av麻豆狂野| 伦理电影免费视频| 精品欧美一区二区三区在线| 热99re8久久精品国产| 黄片大片在线免费观看| av视频在线观看入口| 视频区欧美日本亚洲| 精品乱码久久久久久99久播| 午夜福利欧美成人| 此物有八面人人有两片| 精品一区二区三区视频在线观看免费| 日韩国内少妇激情av| 精品高清国产在线一区| 欧美日韩中文字幕国产精品一区二区三区| 99久久精品热视频| 美女大奶头视频| 国产精品影院久久| 12—13女人毛片做爰片一| 在线观看66精品国产| 欧美精品啪啪一区二区三区| 国产亚洲精品av在线| 日日夜夜操网爽| 制服人妻中文乱码| 色综合欧美亚洲国产小说| 在线看三级毛片| 国产真实乱freesex| 一级片免费观看大全| 亚洲精品中文字幕一二三四区| 露出奶头的视频| 久久久水蜜桃国产精品网| 免费在线观看完整版高清| 国产高清激情床上av| 国产又色又爽无遮挡免费看| 男女午夜视频在线观看| 97碰自拍视频| 一区二区三区高清视频在线| 精品国产超薄肉色丝袜足j| 亚洲专区国产一区二区| 久久久久国产精品人妻aⅴ院| 一本综合久久免费| 中文字幕av在线有码专区| 可以在线观看毛片的网站| 黄色a级毛片大全视频| 正在播放国产对白刺激| 午夜成年电影在线免费观看| 成人亚洲精品av一区二区| 国产单亲对白刺激| 欧美黄色淫秽网站| 国产97色在线日韩免费| 脱女人内裤的视频| 久久人妻av系列| 黄色丝袜av网址大全| 丰满人妻熟妇乱又伦精品不卡| 校园春色视频在线观看| 欧美一级毛片孕妇| 国产成人欧美在线观看| 桃色一区二区三区在线观看| bbb黄色大片| 99精品久久久久人妻精品| 亚洲欧美日韩高清专用| 成人手机av| 一个人观看的视频www高清免费观看 | 女生性感内裤真人,穿戴方法视频| 黄片小视频在线播放| 欧美黑人精品巨大| 午夜a级毛片| 一区福利在线观看| av欧美777| 久久精品aⅴ一区二区三区四区| 色噜噜av男人的天堂激情| 午夜a级毛片| 草草在线视频免费看| 欧美黑人精品巨大| 国产免费av片在线观看野外av| av在线播放免费不卡| av欧美777| 国产精品久久久人人做人人爽| 他把我摸到了高潮在线观看| 国产不卡一卡二| 国产在线观看jvid| 午夜两性在线视频| 曰老女人黄片| 亚洲欧洲精品一区二区精品久久久| 日韩欧美在线二视频| 正在播放国产对白刺激| 欧美久久黑人一区二区| 黄色a级毛片大全视频| 国产精品电影一区二区三区| 亚洲 欧美一区二区三区| 99精品在免费线老司机午夜| 一级毛片精品| 人人妻人人看人人澡| 国产熟女xx| 欧美日韩瑟瑟在线播放| 又黄又爽又免费观看的视频| 老熟妇乱子伦视频在线观看| 又紧又爽又黄一区二区| 夜夜看夜夜爽夜夜摸| 亚洲精品中文字幕在线视频| 男人舔女人的私密视频| 国产精品免费一区二区三区在线| 亚洲aⅴ乱码一区二区在线播放 | 村上凉子中文字幕在线| 黄色视频,在线免费观看| 免费人成视频x8x8入口观看| 亚洲avbb在线观看| 免费无遮挡裸体视频| av欧美777| av超薄肉色丝袜交足视频| 丰满人妻熟妇乱又伦精品不卡| 日本一二三区视频观看| 97超级碰碰碰精品色视频在线观看| 很黄的视频免费| 老司机午夜十八禁免费视频| 久久精品国产99精品国产亚洲性色| 色综合欧美亚洲国产小说| 成人18禁在线播放| 久久人妻av系列| 免费一级毛片在线播放高清视频| 女人爽到高潮嗷嗷叫在线视频| 在线十欧美十亚洲十日本专区| 国产黄片美女视频| 欧美日韩黄片免| 婷婷精品国产亚洲av在线| 丁香欧美五月| 亚洲,欧美精品.| 中文字幕熟女人妻在线| 啪啪无遮挡十八禁网站| 麻豆国产av国片精品| aaaaa片日本免费| 色尼玛亚洲综合影院| 一级毛片精品| 亚洲国产精品合色在线| 999久久久精品免费观看国产| 男女午夜视频在线观看| 黄色女人牲交| 视频区欧美日本亚洲| 99久久无色码亚洲精品果冻| 久久久国产成人免费| 欧美丝袜亚洲另类 | 黄色视频不卡| 两个人视频免费观看高清| 国产亚洲av嫩草精品影院| 久久久久性生活片| 黑人操中国人逼视频| 国产一区在线观看成人免费| 搡老妇女老女人老熟妇| 国产精华一区二区三区| 国内精品久久久久久久电影| 国产伦一二天堂av在线观看| 又黄又粗又硬又大视频| 成年版毛片免费区| 日韩欧美 国产精品| 美女大奶头视频| 欧美黑人欧美精品刺激| 俄罗斯特黄特色一大片| 国产精品久久视频播放| 国产麻豆成人av免费视频| 亚洲男人的天堂狠狠| 可以在线观看毛片的网站| 757午夜福利合集在线观看| 亚洲精品在线美女| 亚洲真实伦在线观看| 国产91精品成人一区二区三区| 国产亚洲欧美在线一区二区| 99国产精品一区二区蜜桃av| 真人一进一出gif抽搐免费| 国产精品亚洲av一区麻豆| 欧美久久黑人一区二区| 欧美乱色亚洲激情| 人妻夜夜爽99麻豆av| 亚洲美女黄片视频| 一进一出好大好爽视频| 国产视频内射| 在线免费观看的www视频| 免费看美女性在线毛片视频| 久久久久国内视频| 最近在线观看免费完整版| 老司机福利观看| 亚洲欧美日韩高清在线视频| 日本 av在线| 丝袜人妻中文字幕| 国产精品永久免费网站| 午夜福利在线在线| 亚洲精品久久国产高清桃花| 色老头精品视频在线观看| 欧美一区二区国产精品久久精品 | 国产精品永久免费网站| 精品久久久久久久久久久久久| 国产97色在线日韩免费| 可以免费在线观看a视频的电影网站| 免费高清视频大片| 亚洲精品色激情综合| 国产精品av久久久久免费| 免费看十八禁软件| 美女扒开内裤让男人捅视频| 在线观看舔阴道视频| 悠悠久久av| 岛国视频午夜一区免费看| 十八禁人妻一区二区| 日本免费a在线| 十八禁人妻一区二区| 校园春色视频在线观看| 成人高潮视频无遮挡免费网站| 丰满人妻一区二区三区视频av | 香蕉av资源在线| 久久久国产成人精品二区| 两个人的视频大全免费| 成人手机av| 成年版毛片免费区| 亚洲七黄色美女视频| 一区二区三区国产精品乱码| 五月玫瑰六月丁香| aaaaa片日本免费| 精品国产乱子伦一区二区三区| 黑人欧美特级aaaaaa片| 日韩大尺度精品在线看网址| 成人永久免费在线观看视频| 亚洲专区国产一区二区| 久久精品人妻少妇| 一本久久中文字幕| 亚洲专区国产一区二区| 国产精品久久视频播放| 白带黄色成豆腐渣| 岛国在线免费视频观看| 欧美乱色亚洲激情| 成在线人永久免费视频| 国产成人精品久久二区二区免费| 九色成人免费人妻av| 久久伊人香网站| 天天躁狠狠躁夜夜躁狠狠躁| 亚洲成a人片在线一区二区| 国内少妇人妻偷人精品xxx网站 | 国内精品久久久久精免费| 亚洲美女视频黄频| 精品久久久久久成人av| 无遮挡黄片免费观看| 亚洲人与动物交配视频| 久久久久久人人人人人| 99在线视频只有这里精品首页| 在线观看66精品国产| а√天堂www在线а√下载| 亚洲av成人一区二区三| 视频区欧美日本亚洲| 国产成人av激情在线播放| 99久久精品热视频| 国产久久久一区二区三区| 一级a爱片免费观看的视频| 非洲黑人性xxxx精品又粗又长| 亚洲电影在线观看av| 亚洲精品久久国产高清桃花| 亚洲人成网站在线播放欧美日韩| 18美女黄网站色大片免费观看| 亚洲最大成人中文| 51午夜福利影视在线观看| 亚洲午夜理论影院| a级毛片a级免费在线| 精品国内亚洲2022精品成人| 亚洲精品美女久久久久99蜜臀| 伦理电影免费视频| 黄色女人牲交| 丰满人妻熟妇乱又伦精品不卡| 国内揄拍国产精品人妻在线| 国产精品 欧美亚洲| 亚洲成人中文字幕在线播放| 中出人妻视频一区二区| 一级a爱片免费观看的视频| 又爽又黄无遮挡网站| 午夜福利在线在线| 国产69精品久久久久777片 | 欧美zozozo另类| 少妇熟女aⅴ在线视频| 丝袜美腿诱惑在线| 国产午夜精品论理片| 欧美性猛交╳xxx乱大交人| 一区二区三区国产精品乱码| 亚洲自拍偷在线| 国产高清视频在线观看网站| 亚洲精品美女久久久久99蜜臀| 亚洲九九香蕉| 午夜精品久久久久久毛片777| 日韩欧美在线二视频| 国产探花在线观看一区二区| 日韩大尺度精品在线看网址| 看免费av毛片| 国产精品99久久99久久久不卡| 男人舔奶头视频| 又粗又爽又猛毛片免费看| 国产免费av片在线观看野外av| 51午夜福利影视在线观看| 三级毛片av免费| 久久热在线av| 国产精品免费视频内射| 亚洲精品中文字幕在线视频| 日韩 欧美 亚洲 中文字幕| 麻豆国产97在线/欧美 | 在线观看www视频免费| 俺也久久电影网| 女同久久另类99精品国产91| 亚洲五月婷婷丁香| 亚洲精品中文字幕在线视频| 日本一区二区免费在线视频| 国产男靠女视频免费网站| 国内精品久久久久久久电影| 亚洲真实伦在线观看| 久久久久性生活片| 亚洲成人精品中文字幕电影| 精品久久蜜臀av无| 午夜a级毛片| 熟女少妇亚洲综合色aaa.| 男人舔女人下体高潮全视频| 校园春色视频在线观看| 久久精品国产清高在天天线| 久久久久久久久免费视频了| 国产高清视频在线观看网站| 真人做人爱边吃奶动态| 舔av片在线| 欧美日本视频| 搡老妇女老女人老熟妇| 亚洲午夜精品一区,二区,三区| 免费人成视频x8x8入口观看| 熟女电影av网| 真人一进一出gif抽搐免费| 三级国产精品欧美在线观看 | 波多野结衣巨乳人妻| 欧美一区二区国产精品久久精品 | 国产av不卡久久| 啦啦啦韩国在线观看视频| 动漫黄色视频在线观看| 亚洲男人天堂网一区| 久久久国产成人精品二区| 国产一区在线观看成人免费| 国产精品 欧美亚洲| 久久中文看片网| 亚洲人成网站高清观看| 久久久久久久午夜电影| 香蕉久久夜色| 99国产精品一区二区蜜桃av| 在线a可以看的网站| 十八禁人妻一区二区| 人妻夜夜爽99麻豆av| 亚洲人成电影免费在线| 国产精品久久久久久亚洲av鲁大| 精品久久蜜臀av无| 一进一出好大好爽视频| 午夜精品一区二区三区免费看| 九色成人免费人妻av| netflix在线观看网站| 91av网站免费观看| 亚洲免费av在线视频| 精品少妇一区二区三区视频日本电影| 毛片女人毛片| 亚洲全国av大片| 免费在线观看成人毛片| 一级a爱片免费观看的视频| 欧洲精品卡2卡3卡4卡5卡区| 精品国产美女av久久久久小说| 国产又黄又爽又无遮挡在线| 99在线人妻在线中文字幕| 人人妻人人看人人澡| 久久中文字幕一级| 亚洲av五月六月丁香网| a在线观看视频网站| 欧美性长视频在线观看| 国产精品 国内视频| 久久香蕉精品热| 欧美成人一区二区免费高清观看 | 黄片小视频在线播放| 亚洲精品av麻豆狂野| 亚洲狠狠婷婷综合久久图片| 国产精品乱码一区二三区的特点| 1024视频免费在线观看| 身体一侧抽搐| 国产日本99.免费观看| 丁香欧美五月| 亚洲欧洲精品一区二区精品久久久| 88av欧美| 中文资源天堂在线| 亚洲精华国产精华精| 在线观看www视频免费| 午夜老司机福利片| 国产一区二区在线观看日韩 | 后天国语完整版免费观看| 男人舔奶头视频| 午夜福利成人在线免费观看| 精品乱码久久久久久99久播| 精品高清国产在线一区| 亚洲av熟女| 夜夜看夜夜爽夜夜摸| 国产精品美女特级片免费视频播放器 | 老司机在亚洲福利影院| 午夜精品久久久久久毛片777| 无遮挡黄片免费观看| 高清在线国产一区| 中文字幕人妻丝袜一区二区| 国产又黄又爽又无遮挡在线| 日韩欧美三级三区| 欧美一级a爱片免费观看看 | 啦啦啦观看免费观看视频高清| 亚洲精品色激情综合| 久久国产精品人妻蜜桃| 黄色视频,在线免费观看| 亚洲精品一卡2卡三卡4卡5卡| 成人av在线播放网站| 两个人的视频大全免费| 制服诱惑二区| 在线观看www视频免费| 一本久久中文字幕| 亚洲欧美精品综合一区二区三区| 性色av乱码一区二区三区2| 午夜日韩欧美国产| 国产av不卡久久| 精品国内亚洲2022精品成人| 亚洲人成77777在线视频| 成人永久免费在线观看视频| 国产亚洲精品久久久久5区| 无限看片的www在线观看| 亚洲av第一区精品v没综合| 女同久久另类99精品国产91| xxxwww97欧美| 他把我摸到了高潮在线观看| 亚洲午夜理论影院| 十八禁人妻一区二区| 午夜免费成人在线视频| 亚洲天堂国产精品一区在线| a级毛片a级免费在线| 亚洲欧美精品综合一区二区三区| 久久久精品国产亚洲av高清涩受| 日本 av在线| 麻豆一二三区av精品| 岛国在线免费视频观看| 久久久久久人人人人人| 亚洲男人的天堂狠狠| АⅤ资源中文在线天堂| 少妇熟女aⅴ在线视频| 最近在线观看免费完整版| www日本黄色视频网| 淫妇啪啪啪对白视频| 一夜夜www| 精品国产超薄肉色丝袜足j| 又爽又黄无遮挡网站| 亚洲国产欧洲综合997久久,| netflix在线观看网站| 免费观看人在逋| 777久久人妻少妇嫩草av网站| 1024视频免费在线观看| 久久久久亚洲av毛片大全| 天堂影院成人在线观看| 嫩草影院精品99| 在线观看66精品国产| 在线看三级毛片| 亚洲,欧美精品.| 国产熟女xx| 给我免费播放毛片高清在线观看| 婷婷精品国产亚洲av在线| 国内久久婷婷六月综合欲色啪| 国产三级黄色录像| 变态另类成人亚洲欧美熟女| e午夜精品久久久久久久| 1024香蕉在线观看| 无限看片的www在线观看| 真人一进一出gif抽搐免费| 国产一区二区在线观看日韩 | 18禁黄网站禁片午夜丰满| 久久精品夜夜夜夜夜久久蜜豆 | 亚洲自拍偷在线| 精品一区二区三区av网在线观看| 久久人妻福利社区极品人妻图片| 一区二区三区激情视频| 久99久视频精品免费| 日韩欧美国产一区二区入口| 久久精品国产99精品国产亚洲性色| 国产一区二区在线观看日韩 | 天天躁夜夜躁狠狠躁躁| 国产v大片淫在线免费观看| avwww免费| 伦理电影免费视频| 国产精品一区二区三区四区久久| 国产成+人综合+亚洲专区| 欧美乱妇无乱码| 啦啦啦免费观看视频1| 国产1区2区3区精品| 色精品久久人妻99蜜桃| av天堂在线播放| 国产又黄又爽又无遮挡在线| 亚洲av第一区精品v没综合| 国内少妇人妻偷人精品xxx网站 | 欧美成人午夜精品| 最新在线观看一区二区三区| 久久久水蜜桃国产精品网| 老司机在亚洲福利影院| av片东京热男人的天堂| 亚洲精品色激情综合| 国产精品一区二区三区四区免费观看 | 五月玫瑰六月丁香| 婷婷亚洲欧美| 午夜老司机福利片| 岛国视频午夜一区免费看| 欧美不卡视频在线免费观看 | 久久亚洲精品不卡| 欧美乱码精品一区二区三区| 成人手机av| 一区福利在线观看| 亚洲av片天天在线观看| 午夜免费激情av| 国产在线观看jvid| 亚洲精品av麻豆狂野| 十八禁人妻一区二区| 国产一区二区在线观看日韩 | 中国美女看黄片| 午夜视频精品福利|