Most of the propositions of the cla

Most of the propositions of the class-calculus are easily deduced from those of the propositional calculus. The logical product or common part of two classes a nad b is the class of x’s such that the logical product of x is an a and x is a b is true. Similiarly we define the logical sum of two classes (a or b), and the negation of a class (not-a). A new idea is introduced by the logical product and sum of a class of classes. If k is a class of classes, its logical product is the class of terms belonging to each of the classes of k, i.e. the class of terms x such that u is a k implies x is a u for all values of u. The logical sum isthe class which is contained in every class of the class k is contained, i.e. the class of terms x such that, if u is a k implies u is contained in c for all values of u, then, for all values of c, x is a c. And we say that a class a is contained in class b when x is an a implies x is a b for all values of x. In like manner with the above we may define the product and sum of a class of propositions. Another very important notion is what is called the existence of a class—a word hwich must not be supposed to mean what existence means in philosophy. A class is said to exist when it has at least one term. A formal definition is as follows: a is an existent class when and only when any proposition is true provided x is an a always implies it whatevervalue we may give to x. It must be understood that the proposition implied must be a genuine proposition, not a propositional function of x. A class a exists when the logical sum of all propositions of the form x is an a is true, i.e. when not all such propositions are false.(§ 25 ¶ 1)

It is important to understand clearly the manner in which propositions in the class-calculus are obtained from those in the propositional calculus. Consider, for example, the syllogism. We have p implies q and q implies r imply p implies r. Now put x is an a, x is a b, x is a c for p, q, r, where x must have some definite value, but it is not necessary to decide what value. We then find that if, for the value of x in question, x is an a implies x is a b, and x is a b implies x is a c, then x is an a implies x is a c. Since the value of x is irrelevant, we may vary x, and thus we find that if a is contained in b, and b in c, then a is contained in c. This is the class-syllogism. But in applying this process it is necessary to employ the utmost caution if fallacies are to be successfully avoided. In this connection it will be instructive to examine a point upon which a dispute has arisen between Schröder and Mr McColl[19]. Schröder asserts that if p, q, r are propositions, pq implies r is equivalent to the disjunction p or q implies r. Mr McColl admits that the disjunction implies the other, but denies the converse implication. The reason for the divergence is, that Schröder is thinking of propositions and material implication, while Mr McColl is thinking of propositional functions and formal implication. As regards propositions, the truth of the principle may be easily made plain by the following considerations. If pq implies r, then, if either p or q be false, the one of them which is false implies r, because false propositions imply all propositions. But if both be true, pq is true, and therefore r is true, and therefore p implies r and q implies r, because true propositions are implied by every proposition. Thus in any case, one at least of the propositions p and q must imply r. (This is not a proof, but an elucidation.) But Mr McColl objects: Suppose p and q to be mutually contradictory, and r to be the null proposition, then pq implies r but neither p nor q implies r. Here we are dealing with propositional functions and formal implication. A propositional function is said to be null when it is false for all values of x; and the class of x’s satisfying the function is called the null-class, being in fact a class of no terms. Either the function or the class, following Peano, I shall denote by Λ. Now let our r be replaced by ϕx, and our q by not-ϕx, where ϕx is any propositional function. Then pq is false for all values of x, and therefore implies Λ. Thus the above formula can only be truly interpreted in the propositional calculus: in the class-calculus it is false. This may be easily rendered obvious by the following considerations: Let ϕx, ψx, χx be three propositional functions. Then ϕx . ψx implies χx implies, for all vlues of x, that either ϕx implies χx or ψx implies χx. But it does not imply that either ϕx implies χx for all values of x, or ψx implies χx for all values of x. The disjunction is what I shall call a variable disjunction, as opposed to a constant one: that is, in some cases one alternative is true, in others the other, whereas in a constant disjunction there is one of the alternatives (thought it is not stated which) that is always true. Wherever disjunctions occur in regard to propositional functions, they will only be transformabl

ผลลัพธ์ (ไทย) 1:

มากที่สุดของข้อเสนอของแคลคูลัสชั้นจะได้ง่าย ๆ ซึ่งสามารถกล่าวได้จากประพจน์ ผลิตภัณฑ์ตรรกะหรือส่วนทั่วไปของทั้งสองเรียน nad b คือ ระดับของ x's ตรรกะของ x เป็น และ x คือ ขเป็นจริง Similiarly ที่เรากำหนดผลรวมทางตรรกะของสองชั้นเรียน (แบบข), และนิเสธของคลาส (ไม่เป็น) ความคิดใหม่เป็นครั้งแรก โดยผลิตภัณฑ์ตรรกะและผลรวมของระดับของชั้นเรียน ถ้า k เป็นชั้นของชั้นเรียน ผลิตภัณฑ์ของตรรกะมีคลาสของข้อกำหนดของแต่ละวิชาของ k เช่นระดับของ x ที่เป็น k หมายถึง x เป็น u สำหรับค่าทั้งหมดของคุณ ผลรวมตรรกะเป็นชั้นซึ่งมีอยู่ในทุกชั้นของชั้น k ที่มีอยู่ เช่นระดับของเงื่อนไข x เช่นนั้น ถ้าคุณ k u หมายถึงอยู่ใน c สำหรับค่าทั้งหมดของคุณ แล้ว สำหรับค่าทั้งหมดของ c, x เป็น และเราบอกว่า ชั้นที่อยู่ในคลาส b เมื่อ x คือการหมายถึง x เป็น b สำหรับทุกค่าของ x ในลักษณะเช่นเดียวกับข้างต้น เราอาจกำหนดผลิตภัณฑ์และผลรวมของระดับของข้อเสนอ อีกแนวคิดที่สำคัญมากเรียกว่าอะไรการดำรงอยู่ของคลา — คำที่ไม่ต้องควรหมายถึงหมายถึงสิ่งมีอยู่ในปรัชญา คลาสที่มีกล่าวถึงมีอยู่เมื่อมีอย่างน้อยหนึ่งคำ คำนิยามอย่างเป็นทางการจะเป็นดังนี้: การเป็นคลาสที่มีมีเมื่อไหร่และเฉพาะ เมื่อข้อเสนอใด ๆ เป็นจริงให้ x เป็นการเสมอหมายถึง whatevervalue ที่เราจะให้ x ต้องเข้าใจว่า ข้อเสนอโดยนัยต้องเป็นข้อเสนอของแท้ ไม่ propositional ฟังก์ชันของ x คลามีอยู่เมื่อผลรวมตรรกะของข้อเสนอทั้งหมดของฟอร์ม x คือการเป็นจริง เช่นเมื่อข้อเสนอดังกล่าวไม่ทั้งหมดเป็นเท็จ (§ 25 ¶ 1)จำเป็นต้องเข้าใจลักษณะได้รับข้อเสนอในการเรียนแคลคูลัสจากประพจน์ พิจารณา เช่น syllogism ที่ เรามี p ถึง q และ q หมายถึง r imply p ถึง r ใส่ตอนนี้ x คือตัว a, x ข x เป็นตัว c สำหรับ p, q, r ที่ x ต้องมีค่าแน่นอนบาง แต่ไม่จำเป็นต้องตัดสินใจว่า ค่าอะไร เราแล้วพบว่าถ้า สำหรับค่าของ x ในคำถาม x คือการหมายถึง x เป็นข และ x คือ ขหมายถึง x เป็น แล้ว x เป็นการหมายถึง x เป็น เนื่องจากค่าของ x มีความเกี่ยวข้อง เราอาจแตกต่างกัน x และดังนั้น เราพบว่าถ้าที่อยู่ใน b และ b ใน c แล้วที่อยู่ใน c นี้เป็นชั้น-syllogism แต่ในการใช้กระบวนการนี้ จำเป็นต้องใช้ความระมัดระวังสูงสุดถ้า fallacies จะเสร็จเรียบร้อยแล้วหลีกเลี่ยง ในการเชื่อมต่อนี้ จะให้คำแนะนำการตรวจสอบจุดที่เกิดข้อพิพาทระหว่าง Schröder และนาย McColl [19] Schröder อ้างว่า ถ้า p, q, r เป็น propositions, pq หมายถึง r จะเท่ากับ disjunction p หรือ q หมายถึง r. McColl นายยอมรับว่า disjunction ในความหมายอื่น ๆ แต่ปฏิเสธความหมายสนทนา เหตุผลที่แตกต่างคือ ที่ Schröder คิดว่า propositions และวัสดุนัย ในขณะที่นาย McColl คิดว่า ฟังก์ชั่น propositional และนัยทางการ ส่วนข้อเสนอ ความจริงของหลักการอาจง่ายทำธรรมดา โดยพิจารณาต่อไปนี้ ถ้า pq หมายถึง r แล้ว ถ้า p หรือ q เป็นเท็จ หนึ่งของพวกเขาซึ่งเป็นเท็จหมายถึง r เนื่องจากเท็จ propositions นัยข้อเสนอทั้งหมด แต่ถ้าทั้งสองเป็นจริง pq เป็นจริง และดังนั้น r เป็นจริง และดังนั้น p ถึง r และ q r หมายถึงเนื่องจากข้อเสนอจริงมีนัยตามทุกข้อเสนอ ดังนั้น ในกรณีใด ๆ หนึ่งน้อย propositions p และ q ต้อง imply r. (นี้ไม่หลักฐาน แต่การ elucidation) แต่นาย McColl วัตถุ: สมมติว่า p และ q จะร่วมกัน ขัดแย้ง และ r จะ เสนอ null แล้ว pq หมายถึง r แต่ไม่ p หรือ q r หมายถึง ที่นี่เราจะจัดการกับฟังก์ชัน propositional และนัยอย่างเป็นทางการ ฟังก์ชัน propositional กล่าวได้ว่า null เมื่อเป็นเท็จสำหรับค่าทั้งหมดของ x และระดับชั้นของ x's พึงพอใจการทำงานเรียกว่า null-คลา เป็นของไม่มีในความเป็นจริง ฟังก์ชันหรือคลา ต่อ Peano ฉันจะแทนที่ โดยΛ ตอนนี้ ให้ r ของเราถูกแทนที่ โดย ϕx และ q ของเรา โดยไม่-ϕx ที่ ϕx เป็นฟังก์ชันใด ๆ propositional Pq เป็นเท็จสำหรับทุกค่าของ x แล้วจึง หมายถึงΛ ดังนั้น สูตรข้างต้นสามารถเฉพาะอย่างแท้จริงตีความในประพจน์การ: ในคลาสแคลคูลัส เป็นเท็จ นี้อาจได้แสดงผลชัดเจน โดยข้อควรพิจารณาดังต่อไปนี้: ให้ ϕx, ψx, χx เป็นฟังก์ชัน propositional สาม Φx แล้ว Ψx หมายถึง χx หมายถึง สำหรับ vlues ทั้งหมด x ว่า ϕx หมายถึง χx หรือ ψx หมายถึง χx แต่มันไม่ได้หมายความว่า ϕx หมายถึง χx สำหรับทุกค่าของ x หรือ ψx หมายถึง χx สำหรับทุกค่าของ x Disjunction ที่คือ สิ่งที่ผมจะเรียกแบบ disjunction แปร เมื่อเทียบกับแบบคง: คือ ในบางกรณี หนึ่งเป็นจริง คนอื่นอื่น ๆ ในขณะที่ในแบบ disjunction คง มีทางเลือกอย่างใดอย่างหนึ่ง (ความคิดที่ไม่ระบุที่) ที่มักจะเป็นจริง ทุก disjunctions เกิดขึ้นในเรื่องฟังก์ชั่น propositional พวกเขาจะ transformabl

ผลลัพธ์ (ไทย) 2:

ที่สุดของข้อเสนอของชนชั้นแคลคูลัสจะอนุมานได้อย่างง่ายดายจากบรรดาของแคลคูลัสเชิงประพจน์ ผลิตภัณฑ์ตรรกะหรือบางส่วนร่วมกันของทั้งสองเรียน NAD B เป็นชั้นของเอ็กซ์ดังกล่าวว่าผลิตภัณฑ์ตรรกะของ X คือ X และเป็น AB เป็นความจริง Similiarly เรากำหนดผลรวมตรรกะของสองชั้น (A หรือ B) และการปฏิเสธของชั้น (ไม่ใช่-A) ความคิดใหม่เป็นที่รู้จักโดยผลิตภัณฑ์เชิงตรรกะและผลรวมของระดับชั้นเรียน ถ้า k เป็นชั้นของชั้นเรียนผลิตภัณฑ์เชิงตรรกะของมันเป็นชั้นของคำศัพท์ที่อยู่ในแต่ละชั้นเรียนของ K คือระดับของข้อตกลงดังกล่าวที่ x U เป็น AK นัย x ถูก au ค่าทั้งหมดของยู ผลรวมตรรกะ isthe ระดับที่มีอยู่ในระดับของชั้น K ทุกที่มีอยู่คือระดับของข้อตกลง x ดังกล่าวว่าถ้าหากเป็น AK นัย U ที่มีอยู่ใน C สำหรับค่าทั้งหมดของ U แล้วสำหรับค่าทั้งหมดของ C , x เป็น C และเราบอกว่าชั้นเรียนที่มีอยู่ใน Class B เมื่อ X คือหมายถึงการเป็น x AB สำหรับทุกค่าของ x ในลักษณะเช่นเดียวกับข้างต้นเราอาจกำหนดสินค้าและผลรวมของชั้นเรียนของข้อเสนอที่ อีกความคิดที่สำคัญมากคือสิ่งที่เรียกว่าการดำรงอยู่ของชั้นคำ hwich จะต้องไม่ถูกควรจะหมายถึงสิ่งที่ดำรงอยู่ในหมายถึงปรัชญา ชั้นบอกว่าจะมีชีวิตอยู่เมื่อมันมีอย่างน้อยหนึ่งคำ ความหมายอย่างเป็นทางการดังนี้คือชั้นที่มีอยู่เมื่อและเมื่อข้อเสนอใด ๆ ที่มีให้ x เป็นจริงเสมอหมายถึงมัน whatevervalue เราอาจจะให้ไป X มันต้องเข้าใจว่าข้อเสนอโดยนัยจะต้องเป็นเรื่องของแท้ไม่ได้เป็นฟังก์ชั่นของประพจน์ x ชั้นที่มีอยู่เมื่อรวมตรรกะของข้อเสนอทั้งหมดของรูปแบบ X เป็นเป็นจริงเช่นเมื่อไม่ได้ทุกข้อเสนอดังกล่าวเป็นเท็จ. (§ 25 ¶ 1)

มันเป็นสิ่งสำคัญที่จะเข้าใจอย่างชัดเจนในลักษณะที่เสนอในชั้นเรียน แคลคูลัสจะได้รับจากผู้ที่อยู่ในแคลคูลัสเชิงประพจน์ พิจารณาเช่นการอ้างเหตุผล เรามีนัย P Q และ Q R นัยบ่งบอกนัย P R ใส่ตอนนี้ X คือที่ X คือ AB, x เป็น AC สำหรับ p, q, R, ที่ x ต้องมีค่าที่แน่นอนบางอย่าง แต่มันไม่จำเป็นที่จะตัดสินใจเลือกสิ่งที่คุ้มค่า จากนั้นเราจะพบว่าถ้าค่าของ x ในคำถามที่ X คือนัย X คือ AB และ x คือ AB นัย x เป็น AC แล้ว X คือนัย x เป็น C ตั้งแต่ค่าของ x คือไม่เกี่ยวข้องเราอาจแตกต่างกัน X และทำให้เราพบว่าถ้ามีอยู่ใน B และ B ใน C แล้วมีอยู่ใน C นี่คือระดับการอ้างเหตุผล แต่ในการประยุกต์ใช้กระบวนการนี้มันเป็นสิ่งจำเป็นที่จะใช้ความระมัดระวังสูงสุดถ้าล้มเหลวที่จะหลีกเลี่ยงที่ประสบความสำเร็จ ในการเชื่อมต่อนี้มันจะให้คำแนะนำในการตรวจสอบจุดตามที่มีข้อพิพาทเกิดขึ้นระหว่างSchröderและนาย McColl [19] Schröderอ้างว่าถ้า p, q วิจัยมีข้อเสนอ, PQ นัย R เทียบเท่ากับ P ร้าวฉานหรือ Q R หมายถึง นาย McColl ยอมรับว่าการหย่าที่มีความหมายอื่น ๆ แต่ความหมายปฏิเสธ Converse เหตุผลที่แตกต่างคือว่าSchröderเป็นความคิดของข้อเสนอและความหมายของวัสดุในขณะที่นาย McColl เป็นความคิดของฟังก์ชั่นประพจน์และความหมายอย่างเป็นทางการ ที่เกี่ยวกับข้อเสนอความจริงของหลักการอาจทำได้อย่างง่ายดายธรรมดาโดยการพิจารณาดังต่อไปนี้ ถ้าหมายถึง PQ R, แล้วถ้าอย่างใดอย่างหนึ่งหรือ P Q เป็นเท็จที่หนึ่งของพวกเขาซึ่งเป็นเท็จหมายถึง R เพราะข้อเสนอที่เป็นเท็จบ่งบอกถึงข้อเสนอทั้งหมด แต่ถ้าทั้งสองจะเป็นจริง PQ เป็นความจริงและดังนั้นจึง R เป็นความจริงและดังนั้นจึงหมายถึง P R และ Q R หมายถึงเพราะข้อเสนอที่แท้จริงโดยนัยทุกเรื่อง ดังนั้นในกรณีใด ๆ อย่างน้อยหนึ่งของข้อเสนอ p และ q ต้องบ่งบอกถึง R (ซึ่งไม่ได้เป็นหลักฐาน แต่การชี้แจง.) แต่นาย McColl วัตถุ: p สมมติและ Q จะเป็นความขัดแย้งร่วมกันและ R จะเป็นเรื่องโมฆะแล้ว PQ นัย R แต่ไม่ P Q มิได้หมายถึง R ที่นี่เราจะจัดการกับฟังก์ชั่นประพจน์และความหมายอย่างเป็นทางการ ฟังก์ชั่นประพจน์มีการกล่าวถึงเป็นโมฆะเมื่อมันเป็นเท็จทุกค่าของ x; และระดับของความพึงพอใจของ X ฟังก์ชั่นที่เรียกว่าโมฆะระดับอยู่ในความเป็นจริงระดับของข้อตกลงไม่มี ทั้งฟังก์ชั่นหรือระดับต่อไปนี้อาโน่ฉันจะใช้แสดงโดยΛ ตอนนี้ให้เรา R ถูกแทนที่ด้วยφxและ Q ของเราโดยไม่φxที่φxเป็นฟังก์ชั่นประพจน์ใด ๆ แล้ว PQ เป็นเท็จทุกค่าของ x และดังนั้นจึงหมายถึงΛ ดังนั้นสูตรข้างต้นสามารถตีความได้อย่างแท้จริงในแคลคูลัสเชิงประพจน์: ในชั้นแคลคูลัสมันเป็นเท็จ นี้อาจจะกลายเป็นที่เห็นได้ชัดได้อย่างง่ายดายโดยการพิจารณาดังต่อไปนี้: Let φx, ψx, χxสามฟังก์ชั่นประพจน์ แล้วφx ψxนัยχxนัยสำหรับ vlues ทั้งหมดของ X ที่ทั้งφxนัยχxหรือψxนัยχx แต่มันก็ไม่ได้หมายความว่าทั้งφxนัยχxทุกค่าของ x หรือψxนัยχxทุกค่าของ x ร้าวฉานคือสิ่งที่ฉันจะเรียกร้าวฉานตัวแปรเมื่อเทียบกับค่าคงที่หนึ่ง: นั่นคือในบางกรณีทางเลือกหนึ่งที่เป็นความจริงในคนอื่น ๆ อื่น ๆ ในขณะที่ในการหย่าคงมีเป็นหนึ่งในทางเลือก (คิดว่ามันไม่ได้เป็น ซึ่งระบุไว้) ที่เป็นจริงเสมอ เมื่อใดก็ตามที่ disjunctions เกิดขึ้นในเรื่องที่เกี่ยวกับฟังก์ชั่นประพจน์พวกเขาเท่านั้นที่จะ transformabl

ผลลัพธ์ (ไทย) 3:

ส่วนใหญ่ของข้อเสนอของเรียนแคลคูลัสสามารถ deduced จากของแคลคูลัสเชิงประพจน์ . ตรรกะของผลิตภัณฑ์ หรือ ทั่วไป ส่วนสองคลาสและ B เป็นรุ่น X เช่นว่าผลิตภัณฑ์ที่เป็นตรรกะของ X และ X คือ B เป็นจริง similiarly เรากำหนดผลรวมตรรกะสองระดับ ( A หรือ B ) และการปฏิเสธของชั้นเรียน ( not-a ) ความคิดใหม่ที่แนะนำโดยผลิตภัณฑ์เชิงตรรกะและผลรวมของระดับของชั้นเรียน ถ้า k เป็นคลาสของคลาสผลิตภัณฑ์ตรรกะของมันคือระดับของข้อตกลงของแต่ละชั้นเรียนของ K คือคลาสของเงื่อนไข X เช่นที่ U เป็น K หมายถึง x เป็น U ค่าทั้งหมดของสหรัฐอเมริกา ตรรกะรวมเป็นห้องซึ่งอยู่ในคลาสทุกคลาส K อยู่คือชั้นของเงื่อนไข X เช่นว่า ถ้าหากเป็น K หมายถึงคุณมีอยู่ใน C ค่าทั้งหมดของ ยู แล้ว ค่าทุกค่าของ C , X เป็น C และเราบอกว่าเรียนอยู่ในคลาส B เมื่อ x เป็นบาง x เป็นค่า B ทั้งหมด X เหมือนกันกับข้างต้นเราอาจกำหนดผลิตภัณฑ์ และจำนวนชั้นของข้อเสนอ . อีกเรื่องที่สำคัญมากคือสิ่งที่เรียกว่าการมีชีวิตอยู่ใน hwich คำคลาสต้องหมายถึงว่ามีอยู่วิธีการในปรัชญา ชั้นจะบอกว่า อยู่ เมื่อมันมีอย่างน้อยหนึ่งในระยะ นิยามอย่างเป็นทางการมีดังนี้ : เป็นวิชาที่มีอยู่เมื่อและเฉพาะเมื่อข้อเสนอใด ๆจริงให้ X คือเสมอหมายถึง whatevervalue เราจะให้ X . มันต้องเข้าใจว่าโจทย์ว่าต้องข้อเสนอของแท้ ไม่ใช่เชิงประพจน์ฟังก์ชันของ x ระดับมีอยู่เมื่อผลรวมของทั้งหมดตรรกะ ข้อเสนอของรูปแบบ X เป็น เป็นจริง เช่นเมื่อไม่ได้ทั้งหมดเช่นข้อเสนอเป็นเท็จ ( 25 §¶ 1 )มันเป็นสิ่งสำคัญที่จะเข้าใจได้อย่างชัดเจน ลักษณะที่เสนอในชั้นเรียนแคลคูลัสได้จากในแคลคูลัสเชิงประพจน์ . พิจารณา เช่น การอ้างเหตุผล . เราได้ P หมายถึง Q และ Q แสดงเป็นนัยนัยตอนนี้ใส่ R P R X เป็น X คือ B , X เป็น C P , Q , R , X ต้องมีแน่นอนค่า แต่ไม่จําเป็นต้องตัดสินใจว่าค่าอะไร จากนั้นเราพบว่าถ้าค่าของ x ในคำถาม x เป็นบาง x เป็น B , และ X เป็น B เป็น C หมายถึง x แล้ว x เป็นบาง x เป็น C เนื่องจากค่าของ x ที่ไม่เกี่ยวข้อง เราอาจแตกต่างกัน x , ดังนั้นเราจึงพบว่า คือที่มีอยู่ใน B และ B C แล้วมีอยู่ใน C นี้เป็นชั้นเรียนการอ้างเหตุผล . แต่ในการใช้กระบวนการนี้จะต้องใช้ความระมัดระวังสูงสุด ถ้า fallacies จะได้หลีกเลี่ยง ในการเชื่อมต่อนี้จะให้ตรวจสอบจุดที่เป็นข้อพิพาทที่เกิดขึ้นระหว่าง schr ö der และนาย McColl [ 19 ] schr ö der อ้างว่าถ้า p , q , r เป็นข้อเสนอ , PQ หมายถึง R เทียบเท่ากับประพจน์เลือก P หรือ R . Q หมายถึงนาย McColl ยอมรับว่าประพจน์เลือกบางอื่น ๆแต่ ว่า นัย สนทนา . เหตุผลสำหรับความแตกต่างคือ ว่า schr ö der จะคิดข้อเสนอและความหมายวัสดุ ในขณะที่นาย McColl คิดของการทำงานเชิงประพจน์และเป็นทางการโดยปริยาย ส่วนเรื่อง ความจริงของหลักการอาจจะได้อย่างง่ายดายทำให้ธรรมดา โดยการพิจารณาดังต่อไปนี้ ถ้า PQ หมายถึง R แล้ว ถ้า P หรือ q เป็นเท็จ หนึ่งของพวกเขาซึ่งเป็นเท็จบาง R เพราะข้อเสนอเท็จบ่งบอกทุกเรื่อง แต่ถ้าเป็นจริง , PQ เป็นจริงและดังนั้นจึง R เป็นจริงและดังนั้นจึงหมายถึง R และ R P Q หมายถึง เพราะข้อเสนอจริงเป็นโดยนัย โดยทุกข้อเสนอ ดังนั้นในกรณีใด ๆอย่างน้อยหนึ่งของข้อเสนอ P และ Q ต้องเป็น R . ( นี้ไม่ได้เป็นข้อพิสูจน์ แต่เป็นคำชี้แจง แต่นาย McColl วัตถุ : สมมติว่า P และ Q จะร่วมกันดำเนินงาน และ r เป็นข้อเสนอ null แล้ว PQ หมายถึง R แต่ P และ Q แสดงที่นี่เรา . จะจัดการกับฟังก์ชันเชิงประพจน์และเป็นทางการโดยปริยาย ฟังก์ชันเชิงประพจน์กล่าวเป็นโมฆะเมื่อมันเป็นเท็จ สำหรับทุกค่าของ x ; และชั้นเรียนของ X เพียงฟังก์ชั่นที่เรียกว่าห้องว่าง ในความเป็นจริงรุ่นไม่มีข้อตกลง ด้วยฟังก์ชันหรือคลาส ตามเปอาโน ผมจะแสดงโดยΛ . ตอนนี้ให้เรา R ถูกแทนที่ด้วยϕ X , และ Q โดยไม่ - ϕ x ที่ϕ x มีข้อเสนอใด ๆ ฟังก์ชั่น จากนั้น PQ เป็นเท็จทั้งหมด ค่าของ x และดังนั้นจึงหมายถึงΛ . ดังนั้นสูตรข้างต้นสามารถอย่างแท้จริงตีความในแคลคูลัสเชิงประพจน์ : ในชั้นเรียนแคลคูลัสมันเป็นเท็จ นี้อาจจะง่ายให้ชัดเจนโดยพิจารณาดังต่อไปนี้ ให้ϕ X , ψ X , χ x 3 ฟังก์ชันเชิงประพจน์ . แล้วϕ x . ψ X หมายถึงχ x บาง ทั้งหมด vlues ของ X เหมือนกันϕ X หมายถึงχ X หรือψ X หมายถึงχ X แต่มันไม่ได้หมายความว่า ϕ X หมายถึงχ x ทุกค่า x หรือψ X หมายถึงχ x ทุกค่าของ X ประพจน์เลือกคือสิ่งที่ผมจะเรียกว่าตัวแปร การตัดขาด , ตรงข้ามกับ คงที่ : นั่นคือ ในบางกรณีทางเลือกหนึ่งคือจริง คนอื่น ๆ , ในขณะที่ในการตัดขาดคงที่นั้นเป็นหนึ่งในทางเลือก ( คิดว่ามันจะไม่ระบุที่ ) ที่เป็นจริงเสมอ ที่ disjunctions เกิดขึ้นในเรื่องข้อเสนอ