Xem mã nguồn của Lượng từ với mọi

{{Infobox mathematical statement
| name = Lượng từ với mọi
| type = [[Lượng từ (logic)|lượng từ]]
| field = [[logic toán học]]
| statement = <math>\forall xP(x)</math> đúng khi <math>P(x)</math> đúng với mọi <math>x</math>.
| symbolic statement = <math>\forall xP(x)</math>
}}
Trong [[logic toán học]], '''lượng từ với mọi''' hay '''lượng từ phổ dụng''' là một loại [[lượng từ (logic)|lượng từ]], một [[hằng logic]] ký hiệu cho "với bất kỳ" hay "với mọi". Nó biển thị rằng một [[mệnh đề toán học|mệnh đề]] được [[Đúng|giữ]] bởi mọi [[phần tử (toán học)|phần tử]] thuộc [[miền biện luận]].

Lượng từ này thường được ký hiệu bởi hình chữ A đảo ngược (∀) . Khi sử dụng kèm với một biến vị từ, lượng từ với mọi được ký hiệu như sau ("{{math|∀''x''}}", "{{math|∀(''x'')}}"). Lượng từ với mọi khác với [[lượng từ tồn tại]] ("Có tồn tại"), lượng từ tồn tại chỉ quan tâm đến tính chất hoặc quan hệ thỏa mãn bởi ít nhất một phần tử thuộc miền.

Ký hiệu lượng từ với mọi được mã hóa là {{unichar|2200|FOR ALL}} trong [[Unicode]], hay là <code>\forall</code> trong [[LaTeX]] và các trình soạn thảo toán học khác.

== Cơ bản ==
Giả sử ta có câu sau
<blockquote>2·0 = 0 + 0, và 2·1 = 1 + 1, và {{nowrap|1=2·2 = 2 + 2}}, vân vân.</blockquote>
Đây có vẻ giống với một mệnh đề với [[phép hội]] bởi vì ta sử dụng liên tục từ "và". Tuy nhiên từ "vân vân" không thể dùng làm phép hội trong [[logic mệnh đề]]. Do đó, câu trên phải được sửa như sau:
<blockquote>Với mọi số tự nhiên ''n'', ta có 2·''n'' = ''n'' + ''n''.</blockquote>

Câu trên có giá trị chân lý [[đúng (logic)|đúng]], vì ta có thể thay bất kỳ số tự nhiên nào cho ''n'' mà phát biểu "2·''n'' = ''n'' + ''n''" vẫn đúng. Ngược lại thì câu sau,
<blockquote>Với mọi số tự nhiên ''n'', ta có 2·''n'' > 2 + ''n''</blockquote>
là [[sai (logic)|sai]] là vì nếu ''n'' được thay bởi 1 thì mệnh đề "2·1 > 2 + 1" là sai. Ta chỉ cần một [[ví dụ phản chứng]] để chứng minh lượng từ với mọi sai.

Mặt khác nếu ta thay câu trên thành,
Với mọi [[hợp số]] ''n'', ta có 2·''n'' > 2 + ''n''
thì câu này đúng bởi không có phản chứng nào là hợp số cả. Điều này cho thấy tầm quan trọng của ''[[miền biện luận]]'', tức là việc chọn ra các giá trị hay đối tượng mà ''n'' có thể lấy.<ref group="note">Further information on using domains of discourse with quantified statements can be found in the [[Quantification (logic)]] article.</ref> Cụ thể hơn nếu miền biện luận bị giới hạn chỉ bao gồm các đối tượng thỏa mãn mệnh đề nào đó, thì vị từ đang xét phải đi kèm thêm [[phép kéo theo]]. Lấy ví dụ, câu "
Với mọi hợp số ''n'', ta có 2·''n'' > 2 + ''n''
" [[Tương đương logic|tương đương]] với
<blockquote>Với mọi số tự nhiên ''n'', nếu ''n'' là hợp số, thì 2·''n'' > 2 + ''n''.</blockquote>

=== Ký hiệu ===
Trong [[logic bậc nhất]], ký hiệu lượng từ với mọi <math> \forall </math> (chữ &nbsp;"[[A]]" đảo ngược trong phông chữ [[sans-serif]], Unicode&nbsp;U+2200) được dùng để biểu thị cho lượng từ với mọi. Lần đầu được dùng bởi [[Gerhard Gentzen]] trong 1935, tương đương với ký hiệu lượng từ tồn tại <math>\exists</math> của [[Giuseppe Peano]] cho [[lượng từ tồn tại]] và sau đó được sử dụng trong công trình của [[Bertrand Russell]].<ref>{{chú thích web|title=Earliest Uses of Symbols of Set Theory and Logic|url=http://jeff560.tripod.com/set.html|work=Earliest Uses of Various Mathematical Symbols|first=Jeff|last=Miller}}</ref>

Lấy ví dụ, nếu ''P''(''n'') làm vị từ "2·''n'' > 2 + ''n''" và '''N''' là [[tập hợp (toán học)|tập]] các số tự nhiên ''n'', thì
: <math> \forall n\!\in\!\mathbb{N}\; P(n) </math>
là câu (có giá trị chân lý sai) sau:
:"với mọi số tự nhiên ''n'', ta có 2·''n'' > 2 + ''n''".

Tương tự, nếu ''Q''(''n'') là vị từ "''n'' là hợp số", thì
: <math> \forall n\!\in\!\mathbb{N}\; \bigl( Q(n) \rightarrow  P(n) \bigr) </math>
là câu sau:
:"với mọi số tự nhiên ''n'', nếu ''n'' là hợp số, thì {{nowrap|2·''n'' > 2 + n}}".

== Các tính chất ==

<!-- ''We need a list of algebraic properties of universal quantification, such as distributivity over conjunction, and so on. Also rules of inference.'' -->

=== Phủ định ===
Phủ định của lượng từ với mọi có được bằng cách thay lượng từ với mọi sang [[lượng từ tồn tại]] rồi phủ định mệnh đề đang xét. Nghĩa là, 
:<math>\lnot \forall x\; P(x)\quad\text {tương đương với}\quad \exists x\;\lnot P(x) </math>
trong đó <math>\lnot</math> ký hiệu [[phép phủ định]].

Để lấy ví dụ nếu {{math|''P''(''x'')}} là vị từ "{{math|''x''}} đã cưới", và [[tập hợp (toán học)|tập]] {{mvar|X}} là tập tất cả các người đang sống thì lượng từ với mọi được dùng như sau:
<blockquote>Với bất cứ ai đang sống {{math|''x''}}, người đó đã cưới</blockquote>
được viết thành
:<math>\forall x \in X\, P(x)</math>

Câu trên sai, do đó phải viết thành
<blockquote>Không phải bất cứ ai đang sống {{mvar|''x''}}, người đó đã cưới</blockquote>
hay là:
:<math>\lnot\ \forall x \in X\, P(x)</math>.

Nếu {{math|''P''(''x'')}} không đúng ''với mọi'' phần tử thuộc {{mvar|X}}, thì phải có ít nhất một phần tử khiến cho vị từ sai. Tức là phủ định của <math>\forall x \in X\, P(x)</math> tương đương với "Tồn tại một người đang sống {{math|''x''}} chưa cưới", hay:
:<math>\exists x \in X\, \lnot P(x)</math>

Không được nhầm lẫn giữa "mọi người đều không cưới" (nghĩa là "không có ai đã cưới") với "không phải mọi người đều đã cưới" (nghĩa là "có người chưa cưới"):
:<math>\lnot\ \exists x \in X\, P(x) \equiv\ \forall x \in X\, \lnot P(x) \not\equiv\ \lnot\ \forall x\in X\, P(x) \equiv\ \exists x \in X\, \lnot P(x)</math>

===Các kết nối logic khác===
===Quy tắc suy diễn===

== Chú thích ==
<references group="note" />

== Tham khảo ==
{{tham khảo}}

*{{chú thích sách | author = Hinman, P. | title = Fundamentals of Mathematical Logic | publisher = [[A K Peters]] | year = 2005 | isbn = 1-56881-262-0}}
*{{chú thích sách | author = [[James Franklin (philosopher)|Franklin, J.]] and Daoud, A. | title = Proof in Mathematics: An Introduction | url = http://www.maths.unsw.edu.au/~jim/proofs.html | publisher = Kew Books | year = 2011 | isbn = 978-0-646-54509-7}} (ch. 2)

== Liên kết ngoài ==
* {{Wiktionary-inline|every}}
<!--
{{Common logical symbols}}
{{logic toán học}}
-->

[[Thể loại:Ký hiệu logic]]
[[Thể loại:Biểu thức logic]]
[[Thể loại:Lượng từ]]