用车小编教车主几招让冬季爱车变暖暖哒的法

百度截至目前，仍有９名船员失踪。

In logic, the scope of a quantifier or connective is the shortest formula in which it occurs,^[1] determining the range in the formula to which the quantifier or connective is applied.^[2]^[3]^[4] The notions of a free variable and bound variable are defined in terms of whether that formula is within the scope of a quantifier,^[2]^[5] and the notions of a dominant connective and subordinate connective are defined in terms of whether a connective includes another within its scope.^[6]^[7]

Connectives

The scope of a logical connective occurring within a formula is the smallest well-formed formula that contains the connective in question.^[2]^[6]^[8] The connective with the largest scope in a formula is called its dominant connective,^[9]^[10] main connective,^[6]^[8]^[7] main operator,^[2] major connective,^[4] or principal connective;^[4] a connective within the scope of another connective is said to be subordinate to it.^[6]

For instance, in the formula $(\left(\left(P\rightarrow Q\right)\lor \lnot Q\right)\leftrightarrow \left(\lnot \lnot P\land Q\right))$ , the dominant connective is ?, and all other connectives are subordinate to it; the → is subordinate to the ∨, but not to the ∧; the first ? is also subordinate to the ∨, but not to the →; the second ? is subordinate to the ∧, but not to the ∨ or the →; and the third ? is subordinate to the second ?, as well as to the ∧, but not to the ∨ or the →.^[6] If an order of precedence is adopted for the connectives, viz., with ? applying first, then ∧ and ∨, then →, and finally ?, this formula may be written in the less parenthesized form $\left(P\rightarrow Q\right)\lor \lnot Q\leftrightarrow \lnot \lnot P\land Q$ , which some may find easier to read.^[6]

Quantifiers

The scope of a quantifier is the part of a logical expression over which the quantifier exerts control.^[3] It is the shortest full sentence^[5] written right after the quantifier,^[3]^[5] often in parentheses;^[3] some authors^[11] describe this as including the variable written right after the universal or existential quantifier. In the formula $? xP$ , for example, $P$ ^[5] (or $xP$ )^[11] is the scope of the quantifier $? x$ ^[5] (or $?$ ).^[11]

This gives rise to the following definitions:^[a]

An occurrence of a quantifier $\forall$ or $\exists$ , immediately followed by an occurrence of the variable $\xi$ , as in $\forall \xi$ or $\exists \xi$ , is said to be $\xi$ -binding.^[1]^[5]
An occurrence of a variable $\xi$ in a formula $\phi$ is free in $\phi$ if, and only if, it is not in the scope of any $\xi$ -binding quantifier in $\phi$ ; otherwise it is bound in $\phi$ .^[1]^[5]
A closed formula is one in which no variable occurs free; a formula which is not closed is open.^[12]^[1]
An occurrence of a quantifier $\forall \xi$ or $\exists \xi$ is vacuous if, and only if, its scope is $\forall \xi \psi$ or $\exists \xi \psi$ , and the variable $\xi$ does not occur free in $\psi$ .^[1]
A variable $\zeta$ is free for a variable $\xi$ if, and only if, no free occurrences of $\xi$ lie within the scope of a quantification on $\zeta$ .^[12]
A quantifier whose scope contains another quantifier is said to have wider scope than the second, which, in turn, is said to have narrower scope than the first.^[13]

Notes

^ These definitions follow the common practice of using Greek letters as metalogical symbols which may stand for symbols in a formal language for propositional or predicate logic. In particular, $\phi$ and $\psi$ are used to stand for any formulae whatsoever, whereas $\xi$ and $\zeta$ are used to stand for propositional variables.^[1]

References

^ ^a ^b ^c ^d ^e ^f Bostock, David (1997). Intermediate logic. Oxford?: New York: Clarendon Press; Oxford University Press. pp.?8, 79. ISBN?978-0-19-875141-0.
^ ^a ^b ^c ^d Cook, Roy T. (March 20, 2009). Dictionary of Philosophical Logic. Edinburgh University Press. pp.?99, 180, 254. ISBN?978-0-7486-3197-1.
^ ^a ^b ^c ^d Rich, Elaine; Cline, Alan Kaylor. Quantifier Scope.
^ ^a ^b ^c Makridis, Odysseus (February 21, 2022). Symbolic Logic. Springer Nature. pp.?93–95. ISBN?978-3-030-67396-3.
^ ^a ^b ^c ^d ^e ^f ^g "3.3.2: Quantifier Scope, Bound Variables, and Free Variables". Humanities LibreTexts. January 21, 2017. Retrieved June 10, 2024.
^ ^a ^b ^c ^d ^e ^f Lemmon, Edward John (1998). Beginning logic. Boca Raton, FL: Chapman & Hall/CRC. pp.?45–48. ISBN?978-0-412-38090-7.
^ ^a ^b Gillon, Brendan S. (March 12, 2019). Natural Language Semantics: Formation and Valuation. MIT Press. pp.?250–253. ISBN?978-0-262-03920-8.
^ ^a ^b "Examples | Logic Notes - ANU". users.cecs.anu.edu.au. Retrieved June 10, 2024.
^ Suppes, Patrick; Hill, Shirley (April 30, 2012). First Course in Mathematical Logic. Courier Corporation. pp.?23–26. ISBN?978-0-486-15094-9.
^ Kirk, Donna (March 22, 2023). "2.2. Compound Statements". Contemporary Mathematics. OpenStax.
^ ^a ^b ^c Bell, John L.; Machover, Moshé (April 15, 2007). "Chapter 1. Beginning mathematical logic". A Course in Mathematical Logic. Elsevier Science Ltd. p.?17. ISBN?978-0-7204-2844-5.
^ ^a ^b Uzquiano, Gabriel (2022), "Quantifiers and Quantification", in Zalta, Edward N.; Nodelman, Uri (eds.), The Stanford Encyclopedia of Philosophy (Winter 2022?ed.), Metaphysics Research Lab, Stanford University, retrieved June 10, 2024
^ Allen, Colin; Hand, Michael (2001). Logic primer (2nd?ed.). Cambridge, Mass: MIT Press. p.?66. ISBN?978-0-262-51126-1.

[12] These definitions follow the common practice of using Greek letters as metalogical symbols which may stand for symbols in a formal language for propositional or predicate logic. In particular, $\phi$ and $\psi$ are used to stand for any formulae whatsoever, whereas $\xi$ and $\zeta$ are used to stand for propositional variables.^[1]

[BostockIntermediate-1] ^ ^a ^b ^c ^d ^e ^f Bostock, David (1997). Intermediate logic. Oxford?: New York: Clarendon Press; Oxford University Press. pp.?8, 79. ISBN?978-0-19-875141-0.

[:0-2] Cook, Roy T. (March 20, 2009). Dictionary of Philosophical Logic. Edinburgh University Press. pp.?99, 180, 254. ISBN?978-0-7486-3197-1.

[:1-3] Rich, Elaine; Cline, Alan Kaylor. Quantifier Scope.

[:2-4] Makridis, Odysseus (February 21, 2022). Symbolic Logic. Springer Nature. pp.?93–95. ISBN?978-3-030-67396-3.

[:3-5] ^ ^a ^b ^c ^d ^e ^f ^g "3.3.2: Quantifier Scope, Bound Variables, and Free Variables". Humanities LibreTexts. January 21, 2017. Retrieved June 10, 2024.

[LemmonLogic-6] ^ ^a ^b ^c ^d ^e ^f Lemmon, Edward John (1998). Beginning logic. Boca Raton, FL: Chapman & Hall/CRC. pp.?45–48. ISBN?978-0-412-38090-7.

[:4-7] Gillon, Brendan S. (March 12, 2019). Natural Language Semantics: Formation and Valuation. MIT Press. pp.?250–253. ISBN?978-0-262-03920-8.

[:5-8] "Examples | Logic Notes - ANU". users.cecs.anu.edu.au. Retrieved June 10, 2024.

[9] Suppes, Patrick; Hill, Shirley (April 30, 2012). First Course in Mathematical Logic. Courier Corporation. pp.?23–26. ISBN?978-0-486-15094-9.

[10] Kirk, Donna (March 22, 2023). "2.2. Compound Statements". Contemporary Mathematics. OpenStax.

[:6-11] Bell, John L.; Machover, Moshé (April 15, 2007). "Chapter 1. Beginning mathematical logic". A Course in Mathematical Logic. Elsevier Science Ltd. p.?17. ISBN?978-0-7204-2844-5.

[:7-13] Uzquiano, Gabriel (2022), "Quantifiers and Quantification", in Zalta, Edward N.; Nodelman, Uri (eds.), The Stanford Encyclopedia of Philosophy (Winter 2022?ed.), Metaphysics Research Lab, Stanford University, retrieved June 10, 2024

[14] Allen, Colin; Hand, Michael (2001). Logic primer (2nd?ed.). Cambridge, Mass: MIT Press. p.?66. ISBN?978-0-262-51126-1.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[a]

[12]

[13]

美特斯邦威是什么档次	什么都不做	艾滋病通过什么途径传播	胃阳不足吃什么中成药	牛黄是什么
器皿是什么意思	手机为什么突然关机	提拉米苏是什么东西	虫合读什么	经常口臭的人是什么原因引起的
红糖是什么做的	甲亢不能吃什么	五红汤什么时候喝最好	三峡大坝什么时候建成的	被交警开罚单不交有什么后果
经常低血糖是什么原因	经期吃什么让血量增加	维脑路通又叫什么	脑癌是什么原因引起的	孩子生化了是什么意思

肝胆相照是什么意思cl108k.com	血糖高注意什么hcv8jop6ns9r.cn	什么是干槽症hcv8jop7ns0r.cn	梨子煮水喝有什么功效hcv9jop2ns7r.cn	脑血管痉挛是什么原因引起的hcv9jop4ns6r.cn
俄罗斯和白俄罗斯有什么区别xinjiangjialails.com	女性痔疮挂什么科室hcv9jop1ns4r.cn	尿管痒是什么原因hcv8jop1ns9r.cn	女性生活疼痛什么原因hcv8jop5ns3r.cn	八月十五是什么日子hcv8jop2ns6r.cn
宝付支付是什么cj623037.com	五体投地是什么意思hcv8jop3ns9r.cn	wv是什么意思hcv7jop9ns6r.cn	口嗨什么意思hcv8jop9ns0r.cn	子宫内膜薄有什么危害hanqikai.com
bml是什么hcv9jop7ns3r.cn	糖尿病能吃什么主食hcv9jop3ns0r.cn	做雾化起什么作用hcv8jop4ns6r.cn	回头是岸是什么意思hcv9jop0ns6r.cn	铁蛋白低是什么意思hcv7jop5ns2r.cn

用车小编教车主几招让冬季爱车变暖暖哒的法

Contents

Connectives

Quantifiers

See also

Notes

References

用车小编教车主几招 让冬季爱车变暖暖哒的法

Connectives

Quantifiers

See also

Notes

References

用车小编教车主几招让冬季爱车变暖暖哒的法