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

    一個(gè)限制排中律適用范圍的命題演算系統(tǒng)

    2015-08-20 02:18:44
    關(guān)鍵詞:命題定理符號(hào)

    曹 飛

    (中共陜西省委黨校哲學(xué)部,陜西西安710061)

    在經(jīng)典命題演算中,不矛盾律和排中律都普遍有效。直覺主義斷然否定排中律的普遍有效性,在直覺主義命題演算中,不矛盾律普遍有效,排中律無效。直覺主義的創(chuàng)始人布勞維(L.E.J.B r o u w e r)認(rèn)為:“排中律是從有限事物中概括出來的,任何一個(gè)涉及有限事物全體的命題,總是可以通過對(duì)這些事物逐一地加以驗(yàn)證,來判明該命題的真?zhèn)危@時(shí)排中律是有效的。但是如果忘記了排中律的有限來源,把排中律視為先于和高于數(shù)學(xué)的某種普遍適用的法則,并將它運(yùn)用于無限的場合,就會(huì)犯錯(cuò)誤。這是因?yàn)閷?duì)于無限的事物,往往不可能(哪怕是原則上)對(duì)它們一一加以鑒別?!盵1]49然而,經(jīng)典命題演算認(rèn)排中律為普遍有效式,這固然與直觀相違;直覺主義命題演算認(rèn)排中律為無效式,亦與直觀不盡相符。從直觀上看,正如布勞維所認(rèn)為的那樣,排中律對(duì)且只對(duì)有限事物有效;但無論是經(jīng)典命題演算,還是直覺主義命題演算,都沒有框定排中律的適用范圍。鑒于此,本文擬對(duì)經(jīng)典命題演算做適當(dāng)改動(dòng),構(gòu)造一個(gè)限制排中律適用范圍的命題演算系統(tǒng)P C5。

    一、命題演算系統(tǒng)PC5及其可靠性、完全性

    (一)PC5的語法和語義

    1.語法。

    初始符號(hào):甲、p1,p2,p3,…,pm,…,m 為自然數(shù);乙、┌ ,┐,∨;丙、(,)。

    在陳述形成規(guī)則以前,我們先引進(jìn)一些語法語言的符號(hào)并作如下說明:

    (1)Q、R、S代表任一甲類符號(hào)。

    (2)X、Y、Z代表任一符號(hào)序列。

    (3)A、B、C、D、E 代表任一合式公式。

    (4)語法符號(hào)“┠”寫在任一公式之前,它表示緊接在后面的公式是本系統(tǒng)所要肯定的。

    形成規(guī)則:

    (1)若X是甲類符號(hào),則┌X、┐X是合式公式。

    (2)若X是合式公式,則┌X、┐X是合式公式。

    (3)若X和Y都是合式公式,則(X∨Y)是合式公式。

    (4)只有適合以上三條的符號(hào)序列是合式公式。

    定義:

    (甲)(A→B)定義為(┐A∨B)。

    (乙)(A∧B)定義為┐(┐A∨┐B)。

    (丙)(A≡B)定義為((A→B)∧(B→A))。

    括號(hào)省略規(guī)則:

    (甲)最外面的一對(duì)括號(hào)可以省略。

    (乙)真值聯(lián)結(jié)詞的結(jié)合力依下列次序而遞增:≡,→,∧,∨,┌,┐。公理:

    公理 1:┠A∨A→A;

    公理 2:┠A→A∨B;

    公理 3:┠A∨B→B∨A;

    公理 4:┠(B→C)→(A∨B→A∨C);

    公理5:┠┌A≡A;

    公理6:┠ ┐(┌Q∧┐Q)。

    變形規(guī)則:

    (1)分離規(guī)則,從┠A和┠ ┐A∨B可得┠B。

    (2)定義置換規(guī)則,定義的左右兩方可相互替換。設(shè)原公式為A,替換后所得公式為B,則從┠A可得┠B。

    公式的級(jí)的遞歸定義:

    (1)若X是甲類符號(hào),則┌X和┐X均為原子公式,原子公式是1級(jí)公式。

    (2)若X是m級(jí)公式,則┌ X和┐X均為m+1級(jí)公式。

    (3)若 X 是 m 級(jí)公式,Y 是 n級(jí)公式,且 m≥n,則 X∨Y、Y∨X、X∧Y、Y∧X、X→Y、Y→X、X≡Y、Y≡X均為m級(jí)公式。

    2.語義。

    (1)甲類符號(hào)是0級(jí)命題變項(xiàng),代表任意的0級(jí)命題。

    (2)乙類符號(hào)是聯(lián)結(jié)詞符號(hào),其中┌代表肯定詞“是”,┐代表否定詞“不”,∨代表析取詞“或者”,它們的真值表如下(其中T表示“真”,F(xiàn)表示“假”,U表示“非真非假”):

    (表1)

    (表2)

    (表3)

    (3)丙類符號(hào)為左右括號(hào)。

    下面我們引入重言式的定義:A為重言式,當(dāng)且僅當(dāng)不管A中的0級(jí)命題變項(xiàng)取何值,A的值均為T。

    3.定理的證明。

    我們可以將PC5中相同的原子公式看作經(jīng)典命題演算中相同的命題變項(xiàng),將PC5的不同的原子公式看作經(jīng)典命題演算中不同的命題變項(xiàng),這樣我們就可以將PC5看作經(jīng)典命題演算的擴(kuò)充[2]37~39。因此,經(jīng)典命題演算的定理都是PC5的定理。PC5的其他定理的證明,這里僅舉4例。

    基本置換定理 令DA表示A是D的組成部分,設(shè)已證├A→B和├B→A,并且以公式B置換DA中的公式 A 得 DB,則可得├DA→DB和├DB→DA。因之,從├DA,可得├DB。本規(guī)則稱為“置換”。簡單地說,如果A和B等值,則從├DA可得├DB。

    基本置換定理的證明?;局脫Q定理的嚴(yán)格證明要應(yīng)用數(shù)學(xué)歸納法,要施歸納于合式公式的構(gòu)造。本文采取了較為簡單的、不完全嚴(yán)格的證明。

    茲證明此定理在以下最簡單的情況下是正確的:(1)A在DA中只出現(xiàn)一次;(2)DA的形式是:(甲)┌A,(乙)┐A,(丙)C∨A,或(丁)A∨C。根據(jù)形成規(guī)則,不論DA的形式如何復(fù)雜,總是由多次重復(fù)地運(yùn)用肯定、否定、析取構(gòu)成的,所以,一般的情況只是以上情況的簡單重復(fù)。

    在這里雖然沒有明確地提出數(shù)學(xué)歸納法,只提出“一般的情況是簡單情況的重復(fù)”,但是,證明的基本思想以及證明的保證還是數(shù)學(xué)歸納法。

    有了上述定理,我們就可以證明PC5的完全性。

    (二)PC5的可靠性

    PC5的可靠性定理:PC5的定理都是重言式。

    證明的思路是:第一,PC5的公理都是重言式;第二,應(yīng)用PC5變形規(guī)則,從重言式只能得到重言式。因之可得結(jié)論:PC5的定理都是重言式。證明從略。

    (三)PC5的完全性

    為了證明PC5的完全性,我們不妨先引進(jìn)合取范式這一概念。

    1.合取范式。

    定義1.1A是簡單析取式是指它是形如Al∨A2∨…∨An(n∈N且n≥1)的公式,其中每個(gè)Ai(1≤i≤n)皆為原子公式或原子公式的否定,稱Ai為簡單析取式的成員。

    定義1.2A是合取范式是指它是形如Al∧A2∧…∧An(n∈N且n≥1)的公式,其中每個(gè)Ai(1≤i≤n)皆為簡單析取式,稱Ai為合取范式的成員。

    定義1.3 A是一公式,A′是A的合取范式是指A′滿足:A與A′等值,即A≡A′是重言式,并且A′是合取范式。

    一個(gè)公式的合取范式是否一定存在?如何求一個(gè)公式的合取范式?

    根據(jù)定義,合取范式在表達(dá)方面的特征有:(1)沒有→和≡符號(hào);(2)肯定符┌只出現(xiàn)于0級(jí)命題變項(xiàng)之前;(3)否定符┐只出現(xiàn)于0級(jí)命題變項(xiàng)或原子公式之前;(4)是一個(gè)簡單析取式的合取或單獨(dú)的一個(gè)簡單析取式。

    因之,求一個(gè)公式的合取范式,包括這樣幾個(gè)具體步驟:

    第一,把公式中可能包含的→和≡完全銷去。即用(┐A∨B)置換A→B,用(A∧B)∨(┐A∧┐B)或(┐A∨B)∧(A∨┐B)置換 A≡B。

    第二,銷去多余的肯定符┌。即用A置換┌A。

    第三,將┐逐步內(nèi)移至原子公式之前,并銷去多余的否定符┐。即用┐A∧┐B置換┐(A∨B),用┐A∨┐B置換┐(A∧B),用A置換┐┐A。

    經(jīng)過上述三個(gè)步驟后,公式中只包含原子公式及其否定,以及∨和∧。

    第四,在上述步驟的基礎(chǔ)上,用(A∨B)∧(A∨C)置換A∨(B∧C)就得到原公式的合取范式。

    以上這些置換規(guī)則都有系統(tǒng)內(nèi)的根據(jù)?;蚴且粋€(gè)定義,例如→的銷去;或是定理,例如多余的肯定符┌和多余的否定符┐的銷去。置換的結(jié)果與原公式是等值的。

    任何公式,運(yùn)用上述方法,都能在有限步內(nèi)求得其合取范式。因此,任一公式都有其合取范式。

    2.PC5的完全性定理:重言式都是PC5的定理。

    證明:設(shè)A為一重言式。A有一合取范式。設(shè)A的合取范式為B,B也是重言式,并且B為B1∧B2∧…∧Bn,Bi(1≤i≤n)為簡單析取式,Bi必是重言式。每一Bi里必有一0級(jí)命題變項(xiàng)Q,并且至少滿足下列條件之一:(甲)┐┌Q和┐┐Q都作為Bi的析取支出現(xiàn);(乙)┌Q和┐┌Q都作為Bi的析取支出現(xiàn);(丙)┐Q和┐┐Q都作為Bi的析取支出現(xiàn)。因?yàn)椋喝粲幸籅i里每一個(gè)0級(jí)命題變項(xiàng)Q,都不滿足(甲)(乙)(丙)三個(gè)條件中的任何一個(gè)條件,則該Bi里任何一個(gè)0級(jí)命題變項(xiàng)Q,必處于下述三種情形之一:(1)┌Q和┐┐Q都作為Bi的析取支出現(xiàn),或其中之一作為Bi的析取支出現(xiàn);(2)┐Q和┐┌Q都作為Bi的析取支出現(xiàn),或其中之一作為Bi的析取支出現(xiàn);(3)┌Q和┐Q都作為Bi的析取支出現(xiàn)。對(duì)于該Bi里任一0級(jí)命題變項(xiàng)Q,若它處于第一種情形則取值F,若它處于第二種情形則取值T,若它處于第三種情形則取值U,此時(shí)該Bi的每一個(gè)析取支的值均為F,該Bi的值為F。該Bi不是重言式。這與Bi必是重言式相矛盾。所以,每一Bi里必有一0級(jí)命題變項(xiàng)Q,并且至少滿足(甲)(乙)(丙)三條件之一,即每一Bi必具有形式┐┌Q∨┐┐Q或┐┌Q∨┐┐Q∨C或⊿∨┐⊿或⊿∨┐⊿∨C(其中⊿代表任一原子公式)。因┐┌Q∨┐┐Q、┐┌Q∨┐┐Q∨C、A∨┐A、A∨┐A∨C均可證,所以,每一Bi都可證。根據(jù)定理┠A→(B→A∧B),B1∧B2∧…∧Bn可證。所以,B可證。B是A的范式,是從A根據(jù)置換規(guī)則得到的,如B可證,則A也可證??梢娙鏏是重言式,則A可證。凡重言式皆可證,故PC5是完全的。

    二、PC5的一個(gè)重要特征:不矛盾律普遍有效,排中律在且只在一定范圍內(nèi)有效

    在PC5中有定理┠ ┐(┌A∧┐A)和┠ ┐(┌Q∧┐Q)。這說明,在PC5中對(duì)于任意的n(n∈N且n≥0)級(jí)命題而言,都不能同時(shí)既肯定又否定它,不矛盾律都成立。

    在PC5中雖有定理┠┌A∨┐A,但┌Q∨┐Q不是PC5的定理。這說明,在PC5中對(duì)于任意的n(n∈N且n≥1)級(jí)命題而言,或者肯定它,或者否定它,二者必居其一,排中律成立;但對(duì)于任意的0級(jí)命題而言,可以既不肯定它,也不否定它,排中律不成立。

    在PC5中有定理┠ ┐(┌┌A∧┌ ┐A)和┠ ┐(┐┌A∧ ┐┐A)。這說明,在PC5中不能同時(shí)肯定┌A和┐A,也不能同時(shí)否定┌A和┐A。從真值表看,┌A和┐A不能同真,也不能同假??梢?,在PC5中,肯定和否定同一個(gè)n(n∈N且n≥1)級(jí)命題而形成的兩個(gè)相反命題,是矛盾關(guān)系。這說明,對(duì)于任意的肯定和否定同一個(gè)n(n∈N且n≥1)級(jí)命題而形成的兩個(gè)相反命題而言,不矛盾律和排中律均成立。

    在PC5中有定理┠ ┐(┌┌Q∧┌ ┐Q)。這說明,在PC5中不能同時(shí)肯定┌Q和┐Q。┐(┐┌Q∧┐┐Q)不是PC5的定理。這說明,在PC5中可以同時(shí)否定┌Q和┐Q。從真值表看,┌Q和┐Q不能同真,但可以同假。可見,在PC5中,肯定和否定同一個(gè)0級(jí)命題而形成的兩個(gè)相反命題,并不是矛盾關(guān)系,而是反對(duì)關(guān)系。這說明,對(duì)于任意的肯定和否定同一個(gè)0級(jí)命題而形成的兩個(gè)相反命題而言,不矛盾律成立,但排中律不成立。

    總之,對(duì)于任意的肯定和否定同一個(gè)n(n∈N且n≥0)級(jí)命題而形成的兩個(gè)相反命題而言,不矛盾律都成立;對(duì)于任意的肯定和否定同一個(gè)n(n∈N且n≥1)級(jí)命題而形成的兩個(gè)相反命題而言,排中律成立,但對(duì)于任意的肯定和否定同一個(gè)0級(jí)命題而形成的兩個(gè)相反命題而言,排中律不成立。

    這里需要說明的是:從直觀上看,0級(jí)命題陳述的是對(duì)象情況,而對(duì)象可能是無限的事物,因而對(duì)于任意的肯定和否定同一個(gè)0級(jí)命題而形成的兩個(gè)相反命題而言,排中律不成立;n(n∈N且n≥1)級(jí)命題陳述的是思想情況(例如:否定一個(gè)命題而形成的命題陳述的就是一命題之否定這一思想情況),而思想總是有限的(即使是無限的對(duì)象也只能用有限的思想來把握),因而對(duì)于任意的肯定和否定同一個(gè)n(n∈N且n≥1)級(jí)命題而形成的兩個(gè)相反命題而言,排中律成立。由此可見,PC5對(duì)排中律的適用范圍的限定是完全符合人們的直觀的。

    三、反證法的適用范圍問題

    下面我們以PC5為邏輯基礎(chǔ),簡要地討論反證法的適用范圍問題。

    在PC5中有下列定理:

    ┠┌A≡┐┐A

    這一定理表明,一個(gè)n(n∈N且n≥1)級(jí)命題的肯定命題和它的否定之否定命題可以互推,反證法適用于論證n(n∈N且n≥1)級(jí)命題的肯定命題。

    ┠┐A≡┐┌A

    這一定理表明,一個(gè)n(n∈N且n≥1)級(jí)命題的否定命題和它的肯定之否定命題可以互推,反證法適用于論證n(n∈N且n≥1)級(jí)命題的否定命題。

    在PC5中有下列定理:

    ┠┌Q→┐┐Q

    這一定理表明,從一個(gè)0級(jí)命題的肯定命題可推出該0級(jí)命題的否定之否定命題。

    ┐┐Q→┌Q不是PC5的定理。這說明,從一個(gè)0級(jí)命題的否定之否定命題不能推出該0級(jí)命題的肯定命題,也就是說,反證法不適用于論證0級(jí)命題的肯定命題。

    ┠┐Q→┐┌Q

    這一定理表明,從一個(gè)0級(jí)命題的否定命題可推出該0級(jí)命題的肯定之否定命題。

    ┐┌Q→┐Q不是PC5的定理。這說明,從一個(gè)0級(jí)命題的肯定之否定命題不能推出該0級(jí)命題的否定命題,也就是說,反證法不適用于論證0級(jí)命題的否定命題。

    綜上所述,反證法適用于論證n(n∈N且n≥1)級(jí)命題的肯定或否定命題,但不適用于論證0級(jí)命題的肯定或否定命題。

    四、對(duì)引入0級(jí)命題變項(xiàng)和肯定詞符號(hào)的一點(diǎn)說明

    如前文所述,0級(jí)命題變項(xiàng)代表任意的0級(jí)命題。0級(jí)命題就是不包含肯定詞或否定詞的命題。

    這里有一點(diǎn)需要說明,邏輯學(xué)界有一種普遍流行的觀點(diǎn),這種觀點(diǎn)認(rèn)為任何命題都肯定了自身。按照這種觀點(diǎn),人們必須承認(rèn):第一,任何命題都隱含著肯定詞;第二,一個(gè)命題與肯定該命題而形成的命題是等值的。這樣一來,也就不存在0級(jí)命題了。

    筆者認(rèn)為,上述普遍流行的觀點(diǎn)頗值得商榷。首先,沒有任何理由可以證明任何命題都肯定了自身。其次,有些命題很難說肯定了自身。例如,命題甲“圓周率π的小數(shù)表達(dá)式3.1415926…中有七個(gè)連續(xù)出現(xiàn)的5”就很難說肯定了自身。π是一個(gè)無理數(shù),即無限的不循環(huán)的小數(shù)。到目前為止,我們還沒有發(fā)現(xiàn)(或證明)π的小數(shù)展開式中有七個(gè)連續(xù)出現(xiàn)的5,因而不能肯定命題甲;我們也無法論證π一定沒有這樣一個(gè)特性,因而也不能否定命題甲[1]49~50。如果命題甲肯定了自身,那么只要提出命題甲,就提出了對(duì)命題甲的肯定。這與命題甲雖已提出來但到目前為止還未被肯定這一事實(shí)顯然不符。再次,“一個(gè)命題與肯定該命題而形成的命題是等值的”只是邏輯學(xué)的一個(gè)公設(shè),基于這一公設(shè),肯定詞在任何情況下都可以隨意消除,人們?cè)跇?gòu)造命題演算系統(tǒng)時(shí)根本無需引入肯定詞,這就造成了在現(xiàn)代邏輯中對(duì)肯定詞和否定詞的研究極為不平衡的奇特現(xiàn)象:人們建立了多種多樣的命題演算系統(tǒng)來刻畫否定詞的邏輯意義,區(qū)分了不同種類的否定(如經(jīng)典否定、直覺主義否定、弗協(xié)調(diào)否定等)[3]476~477;但人們對(duì)肯定詞的邏輯意義卻極少關(guān)注。然而,值得提出的是,上述公設(shè)從未得到過系統(tǒng)外的預(yù)先證明。鑒于此,本文所建構(gòu)的形式系統(tǒng)在限制上述公設(shè)適用范圍的基礎(chǔ)上引入了0級(jí)命題變項(xiàng)和肯定詞符號(hào)。

    [1]馮棉.經(jīng)典邏輯與直覺主義邏輯[M].上海:上海人民出版社,1989.

    [2]王憲鈞.?dāng)?shù)理邏輯引論[M].北京:北京大學(xué)出版社,1982.

    [3]羅·格勃爾.哲學(xué)邏輯[M].張清宇,陳慕澤,等,譯.北京:中國人民大學(xué)出版社,2008.

    猜你喜歡
    命題定理符號(hào)
    J. Liouville定理
    學(xué)符號(hào),比多少
    幼兒園(2021年6期)2021-07-28 07:42:14
    “+”“-”符號(hào)的由來
    A Study on English listening status of students in vocational school
    “三共定理”及其應(yīng)用(上)
    變符號(hào)
    下一站命題
    圖的有效符號(hào)邊控制數(shù)
    Individual Ergodic Theorems for Noncommutative Orlicz Space?
    2012年“春季擂臺(tái)”命題
    成人手机av| 国产免费视频播放在线视频| 精品卡一卡二卡四卡免费| 女人爽到高潮嗷嗷叫在线视频| 亚洲欧美清纯卡通| 老司机影院成人| 日本欧美国产在线视频| 午夜91福利影院| 99国产精品一区二区三区| 久久国产精品影院| 国产亚洲一区二区精品| 中文字幕制服av| 精品亚洲乱码少妇综合久久| 在线观看一区二区三区激情| 久久毛片免费看一区二区三区| 久久天堂一区二区三区四区| 久久亚洲国产成人精品v| 精品视频人人做人人爽| 精品国产一区二区三区四区第35| 亚洲成人国产一区在线观看 | 女警被强在线播放| 各种免费的搞黄视频| 久久久精品94久久精品| 亚洲情色 制服丝袜| 免费久久久久久久精品成人欧美视频| 国产高清videossex| 国精品久久久久久国模美| 亚洲欧美清纯卡通| 国产精品一二三区在线看| 国产一级毛片在线| 免费黄频网站在线观看国产| 国产精品久久久人人做人人爽| 精品少妇黑人巨大在线播放| 国产av精品麻豆| 久久久亚洲精品成人影院| 亚洲一卡2卡3卡4卡5卡精品中文| 桃花免费在线播放| 国产视频首页在线观看| 免费在线观看日本一区| 美国免费a级毛片| 国产精品免费视频内射| 纯流量卡能插随身wifi吗| 国产一区有黄有色的免费视频| 久久天堂一区二区三区四区| 大陆偷拍与自拍| 天天操日日干夜夜撸| 欧美成狂野欧美在线观看| 别揉我奶头~嗯~啊~动态视频 | svipshipincom国产片| av国产精品久久久久影院| 日韩大码丰满熟妇| 一区二区三区精品91| 性少妇av在线| 伦理电影免费视频| 午夜福利视频精品| 黄色视频在线播放观看不卡| 美女视频免费永久观看网站| 新久久久久国产一级毛片| 久久久欧美国产精品| 国产成人精品在线电影| 亚洲七黄色美女视频| 国产一区二区三区av在线| 久久久久久亚洲精品国产蜜桃av| 中文字幕最新亚洲高清| 国产免费一区二区三区四区乱码| 秋霞在线观看毛片| 乱人伦中国视频| 赤兔流量卡办理| 天堂中文最新版在线下载| 十八禁人妻一区二区| 99久久精品国产亚洲精品| 国产视频首页在线观看| 美国免费a级毛片| 亚洲av综合色区一区| 国产一区有黄有色的免费视频| 精品少妇黑人巨大在线播放| 国产成人精品久久二区二区91| 亚洲色图 男人天堂 中文字幕| 两人在一起打扑克的视频| 91老司机精品| www日本在线高清视频| 国产精品久久久久久精品古装| 欧美97在线视频| 欧美日本中文国产一区发布| 大型av网站在线播放| 免费在线观看黄色视频的| 国产精品三级大全| 精品少妇内射三级| 天堂俺去俺来也www色官网| 女人高潮潮喷娇喘18禁视频| 人人妻人人爽人人添夜夜欢视频| 中文字幕另类日韩欧美亚洲嫩草| 香蕉国产在线看| 啦啦啦在线观看免费高清www| av一本久久久久| 最近手机中文字幕大全| 国产精品久久久久久精品古装| 成年动漫av网址| 亚洲av电影在线进入| 一区二区三区精品91| av网站在线播放免费| 午夜福利视频精品| 久久精品久久久久久久性| 国产在线观看jvid| 宅男免费午夜| 51午夜福利影视在线观看| 别揉我奶头~嗯~啊~动态视频 | 国产1区2区3区精品| 欧美精品亚洲一区二区| 99久久人妻综合| 人妻一区二区av| 国产女主播在线喷水免费视频网站| 免费在线观看黄色视频的| 久久午夜综合久久蜜桃| 亚洲精品国产av成人精品| 国产日韩欧美亚洲二区| 热99久久久久精品小说推荐| cao死你这个sao货| 老司机午夜十八禁免费视频| 天堂8中文在线网| 成年人午夜在线观看视频| 嫩草影视91久久| 久久国产精品男人的天堂亚洲| 在线精品无人区一区二区三| 国产福利在线免费观看视频| 99热国产这里只有精品6| 久久人人爽av亚洲精品天堂| 男人爽女人下面视频在线观看| 纯流量卡能插随身wifi吗| 美女中出高潮动态图| 国产精品一区二区在线观看99| 只有这里有精品99| 国产精品欧美亚洲77777| 一区二区三区乱码不卡18| 免费在线观看影片大全网站 | 如日韩欧美国产精品一区二区三区| 一边亲一边摸免费视频| 99九九在线精品视频| 午夜精品国产一区二区电影| 少妇被粗大的猛进出69影院| 免费女性裸体啪啪无遮挡网站| 免费在线观看黄色视频的| 国产精品一区二区免费欧美 | 精品国产超薄肉色丝袜足j| 国产精品香港三级国产av潘金莲 | 亚洲精品国产av成人精品| 91字幕亚洲| 欧美黑人欧美精品刺激| 1024视频免费在线观看| 久久久久国产一级毛片高清牌| 亚洲av片天天在线观看| 亚洲精品国产av蜜桃| 欧美激情 高清一区二区三区| 国产女主播在线喷水免费视频网站| 国产97色在线日韩免费| 国产成人免费无遮挡视频| 国产亚洲一区二区精品| 亚洲视频免费观看视频| 青春草视频在线免费观看| 欧美激情极品国产一区二区三区| 欧美在线一区亚洲| 亚洲精品乱久久久久久| 国产成人a∨麻豆精品| 蜜桃国产av成人99| 日韩精品免费视频一区二区三区| 国产精品av久久久久免费| 国产免费一区二区三区四区乱码| 久久精品久久久久久久性| 欧美老熟妇乱子伦牲交| 久久精品国产亚洲av高清一级| 亚洲国产av新网站| 午夜久久久在线观看| 亚洲精品av麻豆狂野| 黄色视频在线播放观看不卡| 无遮挡黄片免费观看| 国产在线免费精品| 亚洲精品日韩在线中文字幕| 2018国产大陆天天弄谢| 亚洲欧美日韩高清在线视频 | 成年动漫av网址| 狠狠婷婷综合久久久久久88av| 精品久久久久久电影网| 久久 成人 亚洲| 久久久久久人人人人人| 国产欧美日韩精品亚洲av| 制服诱惑二区| 日韩免费高清中文字幕av| 80岁老熟妇乱子伦牲交| 黄色片一级片一级黄色片| 曰老女人黄片| 精品少妇黑人巨大在线播放| 国产精品亚洲av一区麻豆| 国产精品免费视频内射| 日韩熟女老妇一区二区性免费视频| 精品久久蜜臀av无| 韩国高清视频一区二区三区| 国产精品一区二区在线观看99| 国产精品 欧美亚洲| 每晚都被弄得嗷嗷叫到高潮| 午夜福利免费观看在线| 欧美日韩一级在线毛片| 男女国产视频网站| 一边摸一边抽搐一进一出视频| 女人高潮潮喷娇喘18禁视频| 国产av精品麻豆| 成人国产av品久久久| 最近中文字幕2019免费版| 极品人妻少妇av视频| 欧美乱码精品一区二区三区| 亚洲图色成人| 国产av精品麻豆| 一本—道久久a久久精品蜜桃钙片| 国产免费视频播放在线视频| 伊人久久大香线蕉亚洲五| 国产在线免费精品| 精品熟女少妇八av免费久了| 久久人人爽av亚洲精品天堂| 欧美日韩黄片免| 亚洲精品美女久久av网站| 波多野结衣一区麻豆| 免费在线观看日本一区| 亚洲国产成人一精品久久久| 亚洲国产日韩一区二区| 免费在线观看黄色视频的| 亚洲成人手机| 亚洲成人免费av在线播放| 久久中文字幕一级| 大码成人一级视频| 我要看黄色一级片免费的| 国产在线观看jvid| 久久99一区二区三区| 一级片'在线观看视频| 久久久久网色| 在线观看一区二区三区激情| 久久久久久久久久久久大奶| 美女扒开内裤让男人捅视频| 丝袜脚勾引网站| 久热这里只有精品99| 十八禁人妻一区二区| 色视频在线一区二区三区| 久久久久久久大尺度免费视频| 亚洲国产日韩一区二区| 国产成人一区二区三区免费视频网站 | 多毛熟女@视频| 久久国产精品影院| 在线精品无人区一区二区三| 免费在线观看黄色视频的| 亚洲中文日韩欧美视频| 久久精品国产a三级三级三级| 精品久久久久久久毛片微露脸 | 久久性视频一级片| 亚洲精品久久午夜乱码| 亚洲国产欧美日韩在线播放| 啦啦啦 在线观看视频| 黄色片一级片一级黄色片| 美国免费a级毛片| 男女无遮挡免费网站观看| 久久免费观看电影| 青春草亚洲视频在线观看| 亚洲精品成人av观看孕妇| 欧美激情 高清一区二区三区| 日本午夜av视频| av国产久精品久网站免费入址| 在线观看人妻少妇| 满18在线观看网站| 中文字幕色久视频| 曰老女人黄片| 国产成人一区二区在线| 99精品久久久久人妻精品| 欧美日韩国产mv在线观看视频| 免费黄频网站在线观看国产| 欧美精品人与动牲交sv欧美| 国产在视频线精品| 热re99久久精品国产66热6| 国产在线视频一区二区| 成人黄色视频免费在线看| 亚洲精品久久午夜乱码| 涩涩av久久男人的天堂| 赤兔流量卡办理| 国产精品 国内视频| 亚洲av电影在线观看一区二区三区| 亚洲精品在线美女| avwww免费| 国产精品一国产av| xxxhd国产人妻xxx| 精品人妻一区二区三区麻豆| 国产成人精品无人区| 夫妻午夜视频| 国产精品一二三区在线看| 国产精品九九99| 日韩中文字幕视频在线看片| 亚洲专区国产一区二区| 美女高潮到喷水免费观看| 人人妻人人澡人人看| 日韩免费高清中文字幕av| 一区福利在线观看| 久久九九热精品免费| 亚洲精品av麻豆狂野| 在线观看人妻少妇| 中国美女看黄片| 久久久久久久精品精品| 国产野战对白在线观看| cao死你这个sao货| 校园人妻丝袜中文字幕| 人人妻,人人澡人人爽秒播 | 激情五月婷婷亚洲| 悠悠久久av| 人体艺术视频欧美日本| 免费久久久久久久精品成人欧美视频| 啦啦啦啦在线视频资源| 美女脱内裤让男人舔精品视频| av网站在线播放免费| 欧美日韩亚洲高清精品| 男女免费视频国产| 中国国产av一级| 乱人伦中国视频| 久久久久久久久久久久大奶| 国产99久久九九免费精品| 国产在线观看jvid| 国产色视频综合| 欧美乱码精品一区二区三区| 国产精品国产av在线观看| 国产国语露脸激情在线看| 日本欧美国产在线视频| 高清视频免费观看一区二区| 亚洲免费av在线视频| 97精品久久久久久久久久精品| 亚洲国产日韩一区二区| 91麻豆av在线| 国产亚洲一区二区精品| 国产熟女欧美一区二区| 久久国产精品人妻蜜桃| 精品人妻一区二区三区麻豆| 视频在线观看一区二区三区| 中文字幕av电影在线播放| 国产在线观看jvid| 欧美日韩视频精品一区| 午夜福利影视在线免费观看| 久久久欧美国产精品| 少妇人妻 视频| 男人爽女人下面视频在线观看| 捣出白浆h1v1| 又粗又硬又长又爽又黄的视频| 丝袜在线中文字幕| 亚洲av日韩在线播放| 午夜免费鲁丝| 欧美在线黄色| 午夜av观看不卡| 欧美国产精品va在线观看不卡| 中文字幕人妻丝袜一区二区| 最新在线观看一区二区三区 | 国产精品九九99| √禁漫天堂资源中文www| 伊人久久大香线蕉亚洲五| 天天躁夜夜躁狠狠久久av| 亚洲,一卡二卡三卡| avwww免费| 国产成人一区二区三区免费视频网站 | 久久精品久久久久久久性| 欧美激情高清一区二区三区| 在线观看国产h片| 国产日韩欧美亚洲二区| 成人手机av| 欧美精品啪啪一区二区三区 | 亚洲精品久久成人aⅴ小说| 免费在线观看黄色视频的| 水蜜桃什么品种好| 成在线人永久免费视频| av天堂久久9| 丁香六月天网| 香蕉国产在线看| 五月天丁香电影| 五月开心婷婷网| 欧美国产精品一级二级三级| 国产在线一区二区三区精| 视频在线观看一区二区三区| 人妻人人澡人人爽人人| 久久av网站| 国产激情久久老熟女| 黑人巨大精品欧美一区二区蜜桃| 最新的欧美精品一区二区| 最近手机中文字幕大全| 一二三四社区在线视频社区8| 久久久久国产一级毛片高清牌| 晚上一个人看的免费电影| av网站免费在线观看视频| 王馨瑶露胸无遮挡在线观看| 久久天堂一区二区三区四区| 狂野欧美激情性xxxx| 老汉色∧v一级毛片| 老鸭窝网址在线观看| netflix在线观看网站| 亚洲视频免费观看视频| 国产成人欧美在线观看 | 国产成人精品在线电影| 国产日韩一区二区三区精品不卡| 91成人精品电影| 欧美日韩视频精品一区| 日韩 亚洲 欧美在线| 国产高清不卡午夜福利| xxxhd国产人妻xxx| 国产欧美日韩一区二区三 | 1024视频免费在线观看| 国语对白做爰xxxⅹ性视频网站| 亚洲精品美女久久久久99蜜臀 | 日韩电影二区| 99久久精品国产亚洲精品| 国产一级毛片在线| 电影成人av| 夜夜骑夜夜射夜夜干| 国产在线视频一区二区| 亚洲精品国产色婷婷电影| 久久久国产欧美日韩av| 婷婷色综合大香蕉| 亚洲精品一卡2卡三卡4卡5卡 | 深夜精品福利| 午夜久久久在线观看| 一个人免费看片子| 亚洲欧洲国产日韩| 亚洲成人免费电影在线观看 | a 毛片基地| www.999成人在线观看| 久久久国产一区二区| 国产深夜福利视频在线观看| 欧美日韩成人在线一区二区| 女性被躁到高潮视频| 大陆偷拍与自拍| 久久精品久久精品一区二区三区| 亚洲av成人不卡在线观看播放网 | 美女主播在线视频| 亚洲中文字幕日韩| 亚洲七黄色美女视频| 在线观看免费高清a一片| 男女床上黄色一级片免费看| 777米奇影视久久| 男人舔女人的私密视频| 免费看十八禁软件| 欧美精品啪啪一区二区三区 | 美女午夜性视频免费| 亚洲伊人久久精品综合| 国产无遮挡羞羞视频在线观看| 国产精品久久久久久人妻精品电影 | 欧美人与善性xxx| svipshipincom国产片| 国产又爽黄色视频| 精品久久久久久电影网| 午夜视频精品福利| 成年人黄色毛片网站| 亚洲精品成人av观看孕妇| 美女大奶头黄色视频| 不卡av一区二区三区| 人体艺术视频欧美日本| 中文字幕高清在线视频| 黄色视频不卡| 久久综合国产亚洲精品| 免费看不卡的av| 老司机靠b影院| 亚洲av欧美aⅴ国产| 真人做人爱边吃奶动态| 欧美黑人欧美精品刺激| 久久ye,这里只有精品| 国产av一区二区精品久久| 一级片'在线观看视频| 欧美精品高潮呻吟av久久| 色婷婷av一区二区三区视频| 中文字幕制服av| 日本色播在线视频| 另类精品久久| 久久性视频一级片| 亚洲三区欧美一区| 日韩av不卡免费在线播放| 国产精品久久久久久精品电影小说| 久久人妻熟女aⅴ| 一级毛片我不卡| 免费高清在线观看日韩| 国精品久久久久久国模美| 亚洲精品美女久久久久99蜜臀 | 国产精品二区激情视频| 在线观看国产h片| 日韩欧美一区视频在线观看| 一本—道久久a久久精品蜜桃钙片| 日本五十路高清| 日本vs欧美在线观看视频| 男人舔女人的私密视频| 免费在线观看黄色视频的| 在线亚洲精品国产二区图片欧美| 只有这里有精品99| 秋霞在线观看毛片| 亚洲精品日韩在线中文字幕| 一级a爱视频在线免费观看| av网站免费在线观看视频| 又黄又粗又硬又大视频| 亚洲av电影在线进入| 午夜日韩欧美国产| 精品久久久久久久毛片微露脸 | 大码成人一级视频| 亚洲第一av免费看| 久久久久国产一级毛片高清牌| www.自偷自拍.com| 日本午夜av视频| 午夜视频精品福利| 国产欧美日韩综合在线一区二区| 亚洲国产成人一精品久久久| 操出白浆在线播放| 中文字幕制服av| 人人妻人人澡人人看| 日韩制服丝袜自拍偷拍| 日韩伦理黄色片| 少妇粗大呻吟视频| 男女边摸边吃奶| 色婷婷久久久亚洲欧美| 永久免费av网站大全| 成年人午夜在线观看视频| 亚洲黑人精品在线| 久久久久国产精品人妻一区二区| 电影成人av| 亚洲中文字幕日韩| 日本av免费视频播放| 亚洲精品中文字幕在线视频| 欧美成狂野欧美在线观看| 免费在线观看影片大全网站 | 一本久久精品| 国产熟女欧美一区二区| 国语对白做爰xxxⅹ性视频网站| 久久中文字幕一级| 欧美国产精品va在线观看不卡| 永久免费av网站大全| 亚洲精品一卡2卡三卡4卡5卡 | 国产精品av久久久久免费| 午夜日韩欧美国产| 成人亚洲精品一区在线观看| 王馨瑶露胸无遮挡在线观看| 少妇裸体淫交视频免费看高清 | 午夜免费观看性视频| 国产精品三级大全| 亚洲成人国产一区在线观看 | 国产欧美亚洲国产| 色播在线永久视频| 你懂的网址亚洲精品在线观看| av不卡在线播放| 美女大奶头黄色视频| 亚洲熟女毛片儿| 制服诱惑二区| 好男人电影高清在线观看| 99久久精品国产亚洲精品| 国产在线观看jvid| 黑人猛操日本美女一级片| 免费在线观看完整版高清| 人人澡人人妻人| 亚洲国产日韩一区二区| 精品卡一卡二卡四卡免费| 狠狠婷婷综合久久久久久88av| 国产精品久久久久久精品电影小说| 国产精品 国内视频| 韩国高清视频一区二区三区| 最黄视频免费看| 韩国精品一区二区三区| 两人在一起打扑克的视频| 国产xxxxx性猛交| 一边亲一边摸免费视频| 国产91精品成人一区二区三区 | 国产黄色免费在线视频| 丰满饥渴人妻一区二区三| 精品国产乱码久久久久久小说| 97在线人人人人妻| 中文精品一卡2卡3卡4更新| 久久狼人影院| 国产日韩一区二区三区精品不卡| 亚洲国产日韩一区二区| 欧美日韩国产mv在线观看视频| 黄频高清免费视频| 色婷婷久久久亚洲欧美| 丝袜人妻中文字幕| 国产精品久久久久久精品古装| 欧美日韩一级在线毛片| 丁香六月天网| av网站在线播放免费| 91麻豆精品激情在线观看国产 | 极品人妻少妇av视频| 欧美97在线视频| 欧美精品av麻豆av| 国产午夜精品一二区理论片| 女人精品久久久久毛片| 亚洲欧美色中文字幕在线| 夫妻午夜视频| 日韩欧美一区视频在线观看| 伦理电影免费视频| 国产欧美亚洲国产| 日韩免费高清中文字幕av| 久久久亚洲精品成人影院| 黄色 视频免费看| 最新在线观看一区二区三区 | 只有这里有精品99| 亚洲 国产 在线| 91麻豆av在线| 欧美黄色片欧美黄色片| 一本综合久久免费| 精品福利永久在线观看| 另类精品久久| 亚洲av成人精品一二三区| 精品一区二区三卡| 欧美精品av麻豆av| 九草在线视频观看| 婷婷色综合www| 又大又爽又粗| 免费在线观看影片大全网站 | av国产久精品久网站免费入址| av网站免费在线观看视频| 国产亚洲一区二区精品| 极品人妻少妇av视频| 天天影视国产精品| 久久ye,这里只有精品| 午夜福利,免费看| 99久久99久久久精品蜜桃| 国产成人精品无人区|