Giá 3x la bao nhiêu tiền

Trong logic toán, một phân ngành logic, cơ sở của mọi ngành toán học, mệnh đề, hay gọi đầy đủ là mệnh đề logic là một khái niệm nguyên thủy, không định nghĩa.

Nội dung chính

• Mục lục
• Mệnh đề và câuSửa đổi
• Mệnh đề logic và mệnh đề mờSửa đổi
• Các phép toán logic cơ bảnSửa đổi
• Phép phủ địnhSửa đổi
• Phép hộiSửa đổi
• Phép tuyểnSửa đổi
• Phép kéo theoSửa đổi
• Phép tương đươngSửa đổi
• Công thứcSửa đổi
• Sự tương đương logicSửa đổi
• Đẳng thứcSửa đổi
• Chứng minh đẳng thứcSửa đổi
• Hàm mệnh đề. Các lượng từ tồn tại và tổng quátSửa đổi
• Khái niệm về hàm mệnh đềSửa đổi
• Mệnh đề tồn tạiSửa đổi
• Mệnh đề tổng quátSửa đổi
• Phủ định của mệnh đề tồn tại và tổng quátSửa đổi
• Ứng dụngSửa đổi
• Giải bài toán bằng suy luận logicSửa đổi
• Giải bài toán trong kĩ thuậtSửa đổi
• Xem thêmSửa đổi
• Tham khảoSửa đổi
• Liên kết ngoàiSửa đổi
• Video liên quan

Thuộc tính cơ bản của một mệnh đề là giá trị chân lý của nó, được pháp luật như sau :
Mỗi mệnh đề có đúng một trong hai giá trị chân lý 0 hoặc 1. Mệnh đề có giá trị chân lý 1 là mệnh đề đúng, mệnh đề có giá trị chân lý 0 là mệnh đề sai.Mỗi mệnh đề có đúng một trong hai giá trị chân lý 0 hoặc 1. Mệnh đề có giá trị chân lý 1 là mệnh đề đúng, mệnh đề có giá trị chân lý 0 là mệnh đề sai .Ký hiệu :

• Người ta thường dùng các chữ cái a, b, c,… để ký hiệu cho các mệnh đề.
• Nếu mệnh đề a có giá trị chân lý là 1 thì ta ký hiệu G[a] = 1; nếu mệnh đề a có giá trị chân lý là 0 thì ta ký hiệu là G[a] = 0.

Chẳng hạn, để ký hiệu a là mệnh đề ” Paris là TP. hà Nội của nước Pháp ” ta sẽ viết :

• a = “Paris là thủ đô của nước Pháp” hoặc
• a: “Paris là thủ đô của nước Pháp”.

Ở đây, a là mệnh đề đúng nên G [ a ] = 1 .Chú ý :
1. Trong thực tế có những mệnh đề mà tính đúng sai của nó luôn gắn với một thời gian và địa điểm cụ thể: đúng ở thời gian hoặc địa điểm này nhưng sai ở thời gian hoặc địa điểm khác. Nhưng ở bất kì thời điểm nào, địa điểm nào cũng luôn có giá trị chân lý đúng hoặc sai. Chẳng hạn:

• Sáng nay bạn An đi học.
• Trời mưa.
• Học sinh tiểu học đang đi nghỉ hè.

2. Ta thừa nhận các luật sau đây của logic mệnh đề:

• Luật bài trùng: Mỗi mệnh đề phải hoặc đúng, hoặc sai; không có mệnh đề nào không đúng cũng không sai.
• Luật mâu thuẫn: Không có mệnh đề nào vừa đúng lại vừa sai.

3. Có những mệnh đề mà ta không biết [hoặc chưa biết] đúng hoặc sai nhưng biết “chắc chắn” nó nhận một giá trị. Chẳng hạn:

• Trên Sao Hỏa có sự sống.

1. Trong trong thực tiễn có những mệnh đề mà tính đúng sai của nó luôn gắn với một thời hạn và khu vực đơn cử : đúng ở thời hạn hoặc khu vực này nhưng sai ở thời hạn hoặc khu vực khác. Nhưng ở bất kể thời gian nào, khu vực nào cũng luôn có giá trị chân lý đúng hoặc sai. Chẳng hạn : 2. Ta thừa nhận những luật sau đây của logic mệnh đề : 3. Có những mệnh đề mà ta không biết [ hoặc chưa biết ] đúng hoặc sai nhưng biết ” chắc như đinh ” nó nhận một giá trị. Chẳng hạn :

Mệnh đề và câuSửa đổi

Mệnh đề hoàn toàn có thể là một câu nhưng không phải mọi câu đều là mệnh đề. Có thể chia những câu trong khoa học cũng như trong đời sống ra làm hai loại : loại thứ nhất gồm những câu phản ánh tính đúng hoặc sai một trong thực tiễn khách quan và loại thứ hai gồm những câu không phản ánh tính đúng hoặc sai một thực tiễn khách quan nào. Những câu thuộc loại thứ nhất là chính những mệnh đề. Vì vậy hoàn toàn có thể nói : ” Mệnh đề là một câu khẳng định chắc chắn có đặc thù hoặc đúng hoặc sai ” .

Ví dụ:

1. “Paris là thủ đô của nước Pháp”là mệnh đề đúng.2. “Nước Việt Nam nằm ở châu Âu”là mệnh đề sai.3. “Tháng 12 có 28 ngày”là mệnh đề sai.4. “Một năm có 12 tháng và mỗi tuần có 7 ngày”là mệnh đề đúng.5. “20 là số chẵn”là mệnh đề đúng.6. “Số 123 chia hết cho 3”là mệnh đề đúng.7. “2 cộng với 3 bằng 7”là mệnh đề sai.8. “15 lớn hơn 30”là mệnh đề sai.9. Các câu sau:
“Cuốn sách này giá bao nhiêu tiền?”
“Bao giờ lớp mình đi tham quan Đền Hùng?”
“Ôi! ngôi nhà mới đẹp làm sao!”
“Tất cả hãy anh dũng tiến lên!”đều không phải là mệnh đề.

Nhận xét : nói chung những câu nghi vấn, câu cảm thán, câu mệnh lệnh đều không phải là mệnh đề .

Mệnh đề logic và mệnh đề mờSửa đổi

Nếu như trong logic toán, một mệnh đề chỉ hoàn toàn có thể nhận một trong hai giá trị chân lý 0 hoặc 1 thì trong Trí tuệ tự tạo người ta dùng logic mờ, mà ở đó giá trị chân lý của một mệnh đề là 1 số ít nằm giữa 0 và 1. Mệnh đề có giá trị chân lý 0 là sai, có giá trị chân lý 1 là đúng. Còn giá trị chân lý nằm giữa 0 và 1 chỉ ra mức độ đổi khác của chân lý .

Các phép toán logic cơ bảnSửa đổi

Trong toán học, khi có hai số, người ta dùng những phép toán số học [ cộng, trừ, nhân, chia, … ] ảnh hưởng tác động vào chúng để nhận được những số mới. Tương tự, khi có mệnh đề, người ta dùng những phép logic tác động ảnh hưởng vào chúng để nhận được những mệnh đề mới. Dưới đây ta trình diễn định nghĩa và những đặc thù cơ bản của những phép toán này .

Phép phủ địnhSửa đổi

Phủ định của mệnh đề a là một mệnh đề, ký hiệu là a ¯ { \ displaystyle { \ overline { a } } }, đúng khi a sai và sai khi a đúng .

Bảng giá trị chân lý của phép phủ địnha

a ¯ { \ displaystyle { \ overline { a } } }

1001

Ví dụ 1:

Nếu a = ” Paris là TP. hà Nội của nước Pháp ” thì mệnh đề phủ định a ¯ { \ displaystyle { \ overline { a } } } hoàn toàn có thể diễn đạt như sau :

• a ¯ { \ displaystyle { \ overline { a } } }

  = “Không phải Paris là thủ đô của nước Pháp”

• hoặc

  a ¯ { \ displaystyle { \ overline { a } } }

  = “Paris không phải là thủ đô của nước Pháp”.

Ở đây G [ a ] = 1 còn G [ a ¯ { \ displaystyle { \ overline { a } } } ] = 0 .

Ví dụ 2:

Nếu b = ” 15 lớn hơn 30 ” thì mệnh đề phủ định b ¯ { \ displaystyle { \ overline { b } } } hoàn toàn có thể diễn đạt như sau :

• b ¯ { \ displaystyle { \ overline { b } } }

  = “Không phải 15 lớn hơn 30”

• hoặc

  b ¯ { \ displaystyle { \ overline { b } } }

  = “15 không lớn hơn 30”

• hoặc

  b ¯ { \ displaystyle { \ overline { b } } }

  = “15 nhỏ hơn hoặc bằng 30”

Ở đây G [ b ] = 0 còn G [ b ¯ { \ displaystyle { \ overline { b } } } ] = 1 .

Ví dụ 3:

Nếu c = ” Chuyến tàu TN1 thời điểm ngày hôm nay bãi bỏ ” thì mệnh đề phủ định c ¯ { \ displaystyle { \ overline { c } } } hoàn toàn có thể diễn đạt như sau :

c ¯ { \ displaystyle { \ overline { c } } }

= “Chuyến tàu TN1 hôm nay không bãi bỏ”.= ” Chuyến tàu TN1 ngày hôm nay không bãi bỏ ” .Nếu qua xác định mệnh đề c đúng [ hoặc sai ] thì mệnh đề phủ định c ¯ { \ displaystyle { \ overline { c } } } sẽ sai [ hoặc đúng ] .Chú ý : Mệnh đề phủ định a thường được diễn đạt là ” không phải a ” .

Phép hộiSửa đổi

Hội của hai mệnh đề a, b là một mệnh đề, đọc là a và b, ký hiệu a Λ b [ hoặc a. b ], đúng khi cả hai mệnh đề a, b cùng đúng và sai trong những trường hợp còn lại .

Bảng giá trị chân lý của phép hộiaba Λ b111100010000

Chú ý : Để thiết lập mệnh đề hội của hai mệnh đề a, b ta ghép hai mệnh đề đó bởi liên từ ” và ” hay một liên từ khác cùng loại. Những liên từ đó là : mà, nhưng, tuy nhiên, đồng thời, vẫn, cùng, … hoặc dùng dấu phẩy hoặc không dùng liên từ gì .

Ví dụ 1:

“Lúc 8 giờ sáng nay Hà có mặt ở Hà Nội và thành phố Hồ Chí Minh” là hội của hai mệnh đề a = “Lúc 8 giờ sáng nay Hà có mặt ở Hà Nội” và b = “Lúc 8 giờ sáng nay Hà có mặt ở thành phố Hồ Chí Minh”. Vì hai mệnh đề này không thể cùng đúng, nên G[a Λ b] = 0.

Ví dụ 2:

“Thành phố Hồ Chí Minh là thành phố lớn nhất trong cả nước nhưng không phải là thủ đô” là hội của hai mệnh đề a = “Thành phố Hồ Chí Minh là thành phố lớn nhất trong cả nước” và b = “Thành phố Hồ Chí Minh không phải là thủ đô”. Rõ ràng là G[a] = 1 và G[b] = 1 nên G[a Λ b] = 1.

Ví dụ 3:

• “Số π lớn hơn 2 song nhỏ hơn 3″.
• “Chị Nga nói thạo tiếng Pháp mà không biết tiếng Anh”.
• “ABC là tam giác vuông cân” là hội của hai mệnh đề a = “ABC là tam giác vuông” và b = “ABC là tam giác cân”.
• “Không những trời nắng to mà còn gió tây”.
• “Chồng cày, vợ cấy, con trâu đi bừa”.

Chú ý : Đôi khi trong mệnh đề có liên từ ” và ” nhưng không có nghĩa của mệnh đề hội. Chẳng hạn :

• “Số lẻ và số chẵn là hai tập con rời nhau của tập số tự nhiên”.
• “Hùng đạt được tất cả 20 điểm 9 và 10”.

Phép tuyểnSửa đổi

Tuyển của hai mệnh đề a, b là một mệnh đề đọc là a hoặc b, ký hiệu là a ν b [ hoặc a + b ], sai khi cả hai mệnh đề cùng sai và đúng trong trường hợp còn lại .

Bảng giá trị chân lý của phép tuyểnaba ν b111101011000

Phép tuyển trên còn được gọi là phép tuyển không loại trừ .Phép tuyển loại trừ của hai mệnh đề a và b, chỉ đúng khi hoặc a, hoặc b đúng .Chú ý : Để thiết lập mệnh đề tuyển của hai mệnh đề a, b ta ghép hai mệnh đề đó bởi liên từ ” hoặc ” [ hay liên từ khác cùng loại ] .

Ví dụ 1:

” Tháng 12 có 31 ngày hoặc 2 + 2 = 4 ” là tuyển của hai mệnh đề a = ” Tháng 12 có 31 ngày ” và b = ” 2 + 2 = 4 ” .Ở đây G [ a ν b ] = 1 .

Ví dụ 2:

• “3 nhỏ hơn hoặc bằng 4” là mệnh đề đúng
• “Số lẻ là số có chữ số tận cùng bằng 1, 3, 5, 7 hoặc 9” là mệnh đề đúng
• “20 là số lẻ hoặc chia hết cho 3” là mệnh đề sai

Chú ý : Trong trong thực tiễn, liên từ ” hoặc ” thường được dùng với hai nghĩa ” loại trừ ” và ” không loại trừ ” .

• Phép tuyển “hoặc a hoặc b” là phép tuyển loại trừ để chỉ a hoặc b nhưng không thể cả a lẫn b.
• Phép tuyển “a hoặc b” là phép tuyển không loại trừ để chỉ a hoặc b và có thể cả a lẫn b.

Chẳng hạn :

• “Hôm nay là ngày Chủ nhật hoặc ngày lễ” là phép tuyển không loại trừ.
• “20 là số lẻ hoặc nó chia hết cho 2” là phép tuyển loại trừ.

Phép kéo theoSửa đổi

a kéo theo b là một mệnh đề, ký hiệu là a { \ displaystyle \ rightarrow } b, chỉ sai khi a đúng và b sai và đúng trong những trường hợp còn lại .

Bảng giá trị chân lý của phép kéo theoaba

{ \ displaystyle \ rightarrow }

b

111100011001

Chú ý : Mệnh đề a kéo theo b thường được diễn đạt dưới nhiều hình thức khác nhau, ví dụ điển hình :
“Nếu a thì b”
“Có b khi có a”
“Từ a suy ra b”
“a là điều kiện đủ để có b”
“b là điều kiện cần [ắt có] để có a”
…………..
” Nếu a thì b ” ” Có b khi có a ” ” Từ a suy ra b ” ” a là điều kiện kèm theo đủ để có b ” ” b là điều kiện kèm theo cần [ ắt có ] để có a ” …………..

Ví dụ:

• “15 có chữ số tận cùng bằng 5 suy ra 15 chia hết cho 5” mệnh đề đúng.
• “Nếu dây tóc bóng đèn có dòng điện chạy qua thì bóng đèn sáng” mệnh đề đúng.

Chú ý :
1. Trong logic, khi xét giá trị chân lý của mệnh đề a 1. Trong logic, khi xét giá trị chân lý của mệnh đề a

{ \ displaystyle \ Rightarrow }

b người ta không quan tâm đến mối quan hệ về nội dung của hai mệnh đề a, b. Không phân biệt trường hợp a có phải là nguyên nhân để có b hay không, mà chỉ quan tâm đến tính đúng, sai của chúng.
Ví dụ:

• “Nếu mặt trời quay quanh Trái Đất thì Việt Nam nằm ở châu Âu” mệnh đề đúng. Vì ở đây hai mệnh đề a = “mặt trời quay quanh Trái Đất” và b = “Việt Nam nằm ở châu Âu” đều sai.
• “Nếu tháng 12 có 31 ngày thì mỗi năm có 13 tháng” mệnh đề sai.

2. Theo bảng chân lý trên, ta thấy:

• Nếu a sai thì a

  { \ displaystyle \ rightarrow }

  b luôn đúng.

• Nếu a đúng thì a

  { \ displaystyle \ rightarrow }

  b đúng khi b đúng.

Vì vậy để chứng minh mệnh đề a b người ta không chăm sóc đến mối quan hệ về nội dung của hai mệnh đề a, b. Không phân biệt trường hợp a có phải là nguyên do để có b hay không, mà chỉ chăm sóc đến tính đúng, sai của chúng. Ví dụ : 2. Theo bảng chân lý trên, ta thấy : Vì vậy để chứng tỏ mệnh đề a

{ \ displaystyle \ Rightarrow }

b đúng ta chỉ cần xét trường hợp a và b cùng đúng và phép chứng minh mệnh đề a b đúng ta chỉ cần xét trường hợp a và b cùng đúng và phép chứng tỏ mệnh đề a

{ \ displaystyle \ Rightarrow }

b được tiến hành theo ba bước:
Bước 1. Giả sử a đúng.
Bước 2. Từ giả thiết a đúng, dùng lập luận và các mệnh đề toán học đã biết, suy ra b đúng.
Bước 3. Kết luận a b được thực thi theo ba bước : Bước 1. Giả sử a đúng. Bước 2. Từ giả thiết a đúng, dùng lập luận và những mệnh đề toán học đã biết, suy ra b đúng. Bước 3. Kết luận a

{ \ displaystyle \ Rightarrow }

b luôn đúng.
Trong mệnh đề a b luôn đúng. Trong mệnh đề a

{ \ displaystyle \ Rightarrow }

b ta gọi a là giả thiết, b là kết luận.
3. Nếu ta coi a b ta gọi a là giả thiết, b là Kết luận. 3. Nếu ta coi a

{ \ displaystyle \ Rightarrow }

b là mệnh đề thuận thì b b là mệnh đề thuận thì b

{ \ displaystyle \ Rightarrow }

a là mệnh đề đảo, a là mệnh đề hòn đảo ,

a ¯ { \ displaystyle { \ overline { a } } }

{ \ displaystyle \ Rightarrow }

b ¯ { \ displaystyle { \ overline { b } } }

là mệnh đề phản và là mệnh đề phản và

b ¯ { \ displaystyle { \ overline { b } } }

{ \ displaystyle \ Rightarrow }

a ¯ { \ displaystyle { \ overline { a } } }

là mệnh đề phản đảo.
4. Trong văn học, mệnh đề kéo theo còn được diễn đạt bằng nhiều hình thức phong phú. Chẳng hạn:”Mấy đời bánh đúc có xương,
Mấy đời dì ghẻ có thương con chồng”
hoặc”Chuồn chuồn bay thấp thì mưa,
Bay cao thì nắng bay vừa thì râm”.

Phép tương đươngSửa đổi

là mệnh đề phản hòn đảo. 4. Trong văn học, mệnh đề kéo theo còn được diễn đạt bằng nhiều hình thức đa dạng và phong phú. Chẳng hạn : ” Mấy đời bánh đúc có xương, Mấy đời dì ghẻ có thương con chồng ” hoặc ” Chuồn chuồn bay thấp thì mưa, Bay cao thì nắng bay vừa thì râm ” .Bài cụ thể : Tương đương logic
a tương tự b là một mệnh đề, ký hiệu là a { \ displaystyle \ Leftrightarrow } b, nếu cả hai mệnh đề a và b cùng đúng hoặc cùng sai .

Bảng giá trị chân lý của mệnh đề tương đươngaba

{ \ displaystyle \ leftrightarrow }

b

111100010001

Chú ý :
1. Trong thực tế, mệnh đề “a tương đương b” thường được diễn đạt dưới nhiều hình thức khác nhau. Chẳng hạn:”a khi và chỉ khi b”
“a nếu và chỉ nếu b”
“a và b là hai mệnh đề tương đương”
“a là điều kiều kiện cần và đủ để có b”
2. Hai mệnh đề a, b tương đương với nhau hoàn toàn không có nghĩa là nội dung của chúng như nhau, mà nó chỉ nói lên rằng chúng có cùng giá trị chân lý [cùng đúng hoặc cùng sai].
Ví dụ:

• “Tháng 12 có 31 ngày khi và chỉ khi Trái Đất quay quanh mặt trời” là mệnh đề đúng.
• “12 giờ trưa hôm nay Tuấn có mặt ở Hà Nội nếu và chỉ nếu vào giờ đó anh đang ở thành phố Hồ Chí Minh” là mệnh đề sai.
• “Hình vuông có một góc tù khi và chỉ khi 100 là số nguyên tố” là mệnh đề đúng.

3. Một cách khác, người ta cũng nói rằng a tương đương b khi và chỉ khi cả hai mệnh đề a 1. Trong trong thực tiễn, mệnh đề ” a tương tự b ” thường được diễn đạt dưới nhiều hình thức khác nhau. Chẳng hạn : ” a khi và chỉ khi b ” ” a nếu và chỉ nếu b ” ” a và b là hai mệnh đề tương tự ” ” a là điều kiều kiện cần và đủ để có b ” 2. Hai mệnh đề a, b tương tự với nhau trọn vẹn không có nghĩa là nội dung của chúng như nhau, mà nó chỉ nói lên rằng chúng có cùng giá trị chân lý [ cùng đúng hoặc cùng sai ]. Ví dụ : 3. Một cách khác, người ta cũng nói rằng a tương tự b khi và chỉ khi cả hai mệnh đề a

{ \ displaystyle \ Rightarrow }

b và b b và b

{ \ displaystyle \ Rightarrow }

a cùng đúng [hoặc cùng sai]. Vì vậy để chứng minh mệnh đề a a cùng đúng [ hoặc cùng sai ]. Vì vậy để chứng tỏ mệnh đề a

{ \ displaystyle \ Leftrightarrow }

b ta chứng minh hai mệnh đề a b ta chứng tỏ hai mệnh đề a

{ \ displaystyle \ Rightarrow }

b và b b và b

{ \ displaystyle \ Rightarrow }

a.4. Các cặp mệnh đề thuận và phản đảo, đảo và phản là những cặp mệnh đề tương đương. Đây chính là cơ sở của phương pháp chứng minh gián tiếp trong toán học.a. 4. Các cặp mệnh đề thuận và phản hòn đảo, hòn đảo và phản là những cặp mệnh đề tương tự. Đây chính là cơ sở của chiêu thức chứng tỏ gián tiếp trong toán học .= = Sự tương tự logic

Công thứcSửa đổi

Trong phần trên ta đã xét năm phép toán trên những mệnh đề. Như vậy, nếu có những mệnh đề a, b, c, … khi dùng những phép toán logic tác động ảnh hưởng vào, tất cả chúng ta sẽ nhận được những mệnh đề ngày càng phức tạp hơn. Mỗi mệnh đề như thế và cả những mệnh đề xuất phát ta gọi là công thức. Hay nói cách khác :
a] Mỗi mệnh đề gọi là một công thức.
b] Nếu P, Q là những công thức thì a ] Mỗi mệnh đề gọi là một công thức. b ] Nếu P., Q. là những công thức thì

P. ¯ { \ displaystyle { \ overline { P } } }

, P Λ Q, P ν Q, P, P Λ Q, P ν Q., P.

{ \ displaystyle \ Rightarrow }

Q, P Q., P.

{ \ displaystyle \ Leftrightarrow }

Q cũng đều là công thức.
c] Mọi dãy ký hiệu khác không xác định theo quy tắc a], b] đều không phải là công thức.Q. cũng đều là công thức. c ] Mọi dãy ký hiệu khác không xác lập theo quy tắc a ], b ] đều không phải là công thức .Mỗi công thức được tạo thành từ những mệnh đề dưới công dụng của những phép toán logic. Như vậy ta gán cho mỗi mệnh đề xuất hiện trong công thức P. một giá trị chân lý, dùng bảng chân lý của những phép logic ta khẳng định chắc chắn được công thức P. là mệnh đề đúng hoặc sai. Nếu P. là mệnh đề đúng [ hoặc sai ] thì ta nói công thức P. có giá trị chân lý bằng 1 [ hoặc 0 ] .

Ví dụ:

• a a ¯ ¯ { \ displaystyle { \ overline { a \ land { \ overline { a } } } } }

  [1] là công thức có giá trị chân lý bằng 1 [với mọi mệnh đề a].

Bảng giá trị chân lý của công thức [1]a

a ¯ { \ displaystyle { \ overline { a } } }

a Λ

a ¯ { \ displaystyle { \ overline { a } } }

a a ¯ ¯ { \ displaystyle { \ overline { a \ land { \ overline { a } } } } }

01011001

• [ a b ] [ b ¯ a ¯ ] ¯ { \ displaystyle { \ overline { [ a \ rightarrow b ] \ Leftrightarrow [ { \ overline { b } } \ rightarrow { \ overline { a } } ] } } }

  [2] là một công thức có giá trị chân lý bằng 0 [với mọi mệnh đề a, b]

Bảng giá trị chân lý của công thức [2]ab

a ¯ { \ displaystyle { \ overline { a } } }

b ¯ { \ displaystyle { \ overline { b } } }

a b { \ displaystyle a \ rightarrow b }

b ¯ a ¯ { \ displaystyle { \ overline { b } } \ rightarrow { \ overline { a } } }

[ a b ] [ b ¯ a ¯ ] { \ displaystyle [ a \ rightarrow b ] \ Leftrightarrow [ { \ overline { b } } \ rightarrow { \ overline { a } } ] }

[ a b ] [ b ¯ a ¯ ] ¯ { \ displaystyle { \ overline { [ a \ rightarrow b ] \ Leftrightarrow [ { \ overline { b } } \ rightarrow { \ overline { a } } ] } } }

11001110100100100110111000111110

Sự tương đương logicSửa đổi

Cho P. và Q. là hai công thức. Ta nói rằng hai công thức P., Q. tương tự logic với nhau, ký hiệu là P Q, nếu với mọi hệ chân lý gán cho những mệnh đề xuất hiện trong hai công thức đó thì chúng luôn nhận giá trị chân lý như nhau .Đặc biệt, hai mệnh đề a, b gọi là tương tự logic, ký hiệu là a b, nếu chúng cùng đúng hoặc cùng sai .Chú ý :
1. Ký hiệu a b là để chỉ hai mệnh đề tương đương logic chứ không phải là hai mệnh đề bằng nhau.
2. Hai mệnh đề tương đương logic có thể về nội dung chúng hoàn toàn không có liên quan.
Chẳng hạn: “Tháng 2 có 31 ngày 2 + 2 = 11”.
3. Quan hệ P Q còn được gọi là một đẳng thức.

Đẳng thứcSửa đổi

1. Ký hiệu a b là để chỉ hai mệnh đề tương tự logic chứ không phải là hai mệnh đề bằng nhau. 2. Hai mệnh đề tương tự logic hoàn toàn có thể về nội dung chúng trọn vẹn không có tương quan. Chẳng hạn : ” Tháng 2 có 31 ngày 2 + 2 = 11 “. 3. Quan hệ P Q còn được gọi là một đẳng thức .Dưới đây là một số ít đẳng thức thường gặp trong logic mệnh đề :

Phủ định của phủ địnhSửa đổi

[1] [ 1 ]

a ¯ ¯ { \ displaystyle { \ overline { \ overline { a } } } }

a.

Luật De MorganSửa đổi

[2] a. [ 2 ]

a b ¯ { \ displaystyle { \ overline { a \ land b } } }

Xem thêm: Bảng giá VnDirect – Những tính năng nâng cao vượt trội của Lightning VnDirect – ECCthai

a ¯ b ¯ { \ displaystyle { \ overline { a } } \ vee { \ overline { b } } }

[3] [ 3 ]

a b ¯ { \ displaystyle { \ overline { a \ vee b } } }

a ¯ b ¯ { \ displaystyle { \ overline { a } } \ land { \ overline { b } } }

Tính chất tích hợp của những phép logicSửa đổi

[4] [a Λ b] Λ c a Λ [b Λ c]
[5] [a ν b] ν c a ν [b ν c]

Tính chất giao hoán của những phép logicSửa đổi

[6] a Λ b b Λ a
[7] a ν b b ν a
[8] a [ 4 ] [ a Λ b ] Λ c a Λ [ b Λ c ] [ 5 ] [ a ν b ] ν c a ν [ b ν c ] [ 6 ] a Λ b b Λ a [ 7 ] a ν b b ν a [ 8 ] a

{ \ displaystyle \ leftrightarrow }

b b b b

{ \ displaystyle \ leftrightarrow }

a

Tính chất phân phốiSửa đổi

[9] a Λ [b ν c] [a Λ b] ν [a Λ c]
[10] a ν [b Λ c] [a ν b] Λ [a ν c]

Tính lũy đẳngSửa đổi

[11] a Λ a a
[12] a ν a a

Biểu diễn phép kéo theo qua những phép logic khácSửa đổi

[13] [ 9 ] a Λ [ b ν c ] [ a Λ b ] ν [ a Λ c ] [ 10 ] a ν [ b Λ c ] [ a ν b ] Λ [ a ν c ] [ 11 ] a Λ a a [ 12 ] a ν a a [ 13 ]

a b { \ displaystyle a \ rightarrow b }

a ¯ b { \ displaystyle { \ overline { a } } \ vee b }

[14] [ 14 ]

a b { \ displaystyle a \ rightarrow b }

a b ¯ ¯ { \ displaystyle { \ overline { a \ land { \ overline { b } } } } }

[15] [ 15 ]

a b { \ displaystyle a \ rightarrow b }

b ¯ a ¯ { \ displaystyle { \ overline { b } } \ rightarrow { \ overline { a } } }

[luật phản đảo]

Biểu diễn tương tự qua những phép logic khácSửa đổi

[16] [ luật phản hòn đảo ] [ 16 ]

a b { \ displaystyle a \ leftrightarrow b }

[ a b ] [ b a ] { \ displaystyle [ a \ rightarrow b ] \ land [ b \ rightarrow a ] }

[17] [ 17 ]

a b { \ displaystyle a \ leftrightarrow b }

a ¯ b ¯ { \ displaystyle { \ overline { a } } \ leftrightarrow { \ overline { b } } }

Các đẳng thức về 0 và 1Sửa đổi

Người ta còn dùng ký hiệu 1 [ hoặc 0 ] để chỉ một mệnh đề luôn luôn đúng [ hoặc luôn luôn sai ]. Ta có những đẳng thức sau về 0 và 1 :
[18] a Λ 0 0
[19] a ν 0 a
[20] a Λ 1 a
[21] a ν 1 1
[22] a ν [ 18 ] a Λ 0 0 [ 19 ] a ν 0 a [ 20 ] a Λ 1 a [ 21 ] a ν 1 1 [ 22 ] a ν

a ¯ { \ displaystyle { \ overline { a } } }

1 [luật bài trung]
[23] a Λ 1 [ luật bài trung ] [ 23 ] a Λ

a ¯ { \ displaystyle { \ overline { a } } }

0 [luật mâu thuẫn]

Chứng minh đẳng thứcSửa đổi

0 [ luật xích míc ]Để chứng tỏ một đẳng thức trong logic mệnh đề ta thường dùng chiêu thức lập bảng giá trị chân lý .

Ví dụ 1: Chứng minh:

a

b

¯

{\displaystyle {\overline {a\land b}}}

a
¯

b
¯

{\displaystyle {\overline {a}}\vee {\overline {b}}}

Bảng giá trị chân lýab

a b ¯ { \ displaystyle { \ overline { a \ land b } } }

a ¯ b ¯ { \ displaystyle { \ overline { a } } \ vee { \ overline { b } } }

1100101101110011

Nhìn cột 3 và 4 trong bảng trên ta thấy hai công thức a b ¯ { \ displaystyle { \ overline { a \ land b } } } và a ¯ b ¯ { \ displaystyle { \ overline { a } } \ vee { \ overline { b } } } luôn nhận giá trị chân lý như nhau. Vậy ta có điều phải chứng tỏ .

Ví dụ 2: Chứng minh:

a

b

{\displaystyle a\rightarrow b}

b
¯

a
¯

{\displaystyle {\overline {b}}\rightarrow {\overline {a}}}

Bảng giá trị chân lýab

a b { \ displaystyle a \ rightarrow b }

b ¯ a ¯ { \ displaystyle { \ overline { b } } \ rightarrow { \ overline { a } } }

1111100001110011

Nhìn cột 3 và 4 trong bảng trên ta thấy hai công thức a b { \ displaystyle a \ rightarrow b } và b ¯ a ¯ { \ displaystyle { \ overline { b } } \ rightarrow { \ overline { a } } } luôn nhận giá trị chân lý như nhau. Vậy ta có điều phải chứng tỏ .

Hàm mệnh đề. Các lượng từ tồn tại và tổng quátSửa đổi

Bài chi tiết cụ thể : Logic bậc nhất

Khái niệm về hàm mệnh đềSửa đổi

Ta xét những ví dụ sau :

Ví dụ 1: “Số tự nhiên n chia hết cho 5”.

Về phương diện ngôn từ thì đây là một câu. Nhưng câu này chưa phản ánh tính đúng hoặc sai một trong thực tiễn khách quan nào, vì vậy nó chưa phải là mệnh đề. Song nếu ta thay n bằng số tự nhiên đơn cử, ví dụ điển hình :

• Thay n = 100 ta được mệnh đề đúng: “Số 100 chia hết cho 5”.
• Thay n = 101 ta được mệnh đề sai: “Số 101 chia hết cho 5”.

Ví dụ 2: “x + 3 > 7”.

Tương tự như trong ví dụ 1, x + 3 > 7 chưa phải là mệnh đề, tuy nhiên nếu ta thay x bởi một số ít thực đơn cử, ví dụ điển hình :

• Thay x = 0 ta được mệnh đề sai: “0 + 3 > 7”.
• Thay x = 5 ta được mệnh đề đúng: “5 + 3 > 7”.

Ví dụ 3: “Ông A là nhà toán học vĩ đại”.

Câu trên chưa phải là mệnh đề. Nhưng nếu ta chọn ” ông A ” là ” Gausơ ” sẽ được mệnh đề đúng : ” Gausơ là nhà toán học vĩ đại “, nếu ta chọn ” ông A ” là ” Đinh Bộ Lĩnh ” thì sẽ được mệnh đề sai : ” Đinh Bộ Lĩnh là nhà toán học vĩ đại ” .Từ những ví dụ trên ta đi đến định nghĩa sau :Những câu có chứa những biến mà bản thân nó chưa phải là mệnh đề nhưng khi ta thay những biến đó bởi những thành phần thuộc tập xác lập X thì nó trở thành mệnh đề [ đúng hoặc sai ] ta sẽ gọi là hàm mệnh đề [ hoặc vị từ, hàm phán đoán, mệnh đề không xác lập, mệnh đề chứa biến ]. Tập X gọi là miền xác lập của hàm mệnh đề đó .Ta dùng ký hiệu : T [ n ], F [ x ], … để chỉ những hàm mệnh đề .Chẳng hạn :

• Hàm mệnh đề T[n]: “Số tự nhiên n chia hết cho 5” có miền xác định là tập các số tự nhiên N. Tập các số tự nhiên có tận cùng bằng 0 hoặc 5 là miền đúng của T[n].
• Hàm mệnh đề F[x] = “x + 3 > 7” có miền xác định là các số thực. Tập các số thực lớn hơn 4 ta gọi là miền đúng của hàm mệnh đề F[x].

Mệnh đề tồn tạiSửa đổi

Cho T [ x ] là hàm mệnh đề xác lập trên miền X. Nếu ta đặt thêm cụm từ ” Tồn tại x X { \ displaystyle x \ in X } sao cho … ” vào trước hàm mệnh đề T [ x ] ta được mệnh đề :

“Tồn tại

x X { \ displaystyle x \ in X }

sao cho T[x]”

Ta gọi mệnh đề có cấu trúc như trên là mệnh đề sống sót. Ký hiệu là :

x X : T [ x ] { \ displaystyle \ exists x \ in X : T [ x ] }

hoặc

x T [ x ] { \ displaystyle \ exists x \ T [ x ] }

x X { \ displaystyle x \ in X }

Ký hiệu { \ displaystyle \ exists } gọi là lượng từ sống sót .

Ví dụ:

• “Tồn tại số thực x sao cho x + 4 > 7” là mệnh đề đúng.

Ký hiệu là: Ký hiệu là :

x : x + 4 > 7 { \ displaystyle \ exists x : x + 4 > 7 }

• “Tồn tại số tự nhiên n sao cho n chia hết cho 5” là mệnh đề đúng.

Ký hiệu là: Ký hiệu là :

n N : n 5 { \ displaystyle \ exists n \ in \ mathbb { N } : n \ \ vdots \ 5 }

• “Tồn tại số thực x sao cho x2 + 1 = 0” là mệnh đề sai.

Ký hiệu là: Ký hiệu là :

x : x 2 + 1 = 0 { \ displaystyle \ exists x : x ^ { 2 } + 1 = 0 }

Chú ý :
1. Trong thực tế, mệnh đề tồn tại còn được diễn đạt dưới những dạng khác nhau, chẳng hạn:

• “Tồn tại ít nhất một

  x X { \ displaystyle x \ in X }

  sao cho T[x]”.

• “Có một

  x X { \ displaystyle x \ in X }

  sao cho T[x]”.

• “Có ít nhất một

  x X { \ displaystyle x \ in X }

  sao cho T[x]”.

• “Ít ra cũng có một người là nhà toán học”.
• “Một số người là nhà toán học”.
• “Có nhiều người là nhà toán học”
• ………………

2. Ta dùng ký hiệu 1. Trong thực tiễn, mệnh đề sống sót còn được diễn đạt dưới những dạng khác nhau, ví dụ điển hình : 2. Ta dùng ký hiệu

! x X : T [ x ] { \ displaystyle \ exists ! x \ in X : T [ x ] }

với nghĩa “Tồn tại duy nhất một với nghĩa ” Tồn tại duy nhất một

x X { \ displaystyle x \ in X }

sao cho T[x]”.

Mệnh đề tổng quátSửa đổi

sao cho T [ x ] ” .Cho T [ x ] là hàm mệnh đề xác lập trên miền X. Nếu ta đặt thêm cụm từ ” Với mọi x X { \ displaystyle x \ in X } ta có … ” vào trước hàm mệnh đề T [ x ] ta được mệnh đề :

“Với mọi

x X { \ displaystyle x \ in X }

ta có T[x]”

Ta gọi mệnh đề có cấu trúc như trên là mệnh đề tổng quát [ hoặc toàn thể, thông dụng, phổ cập, … ]. Ký hiệu là :

x X, T [ x ] { \ displaystyle \ forall x \ in X, \ T [ x ] }

hoặc

[ x X ] T [ x ] { \ displaystyle [ \ forall x \ in X ] \ T [ x ] }

hoặc

x T [ x ] { \ displaystyle \ forall x \ T [ x ] }

x X { \ displaystyle x \ in X }

Ký hiệu { \ displaystyle \ forall } gọi là lượng từ tổng quát [ hay toàn thể, thông dụng, phổ cập, … ]

Phủ định của mệnh đề tồn tại và tổng quátSửa đổi

Phủ định những mệnh đề sống sót và tổng quát được thiết lập theo hai quy tắc dưới đây :

x X : T [ x ] ¯ x X, T [ x ] ¯ v a ` x X, T [ x ] ¯ x X : T [ x ] ¯ { \ displaystyle { \ overline { \ exists x \ in X : T [ x ] } } \ equiv \ forall x \ in X, { \ overline { T [ x ] } } \ \ v { \ grave { a } } \ \ { \ overline { \ forall x \ in X, T [ x ] } } \ equiv \ exists x \ in X : { \ overline { T [ x ] } } }

Như vậy, hai mệnh đề :

• x X : T [ x ] { \ displaystyle \ exists x \ in X : T [ x ] }

  và

  x X, T [ x ] ¯ { \ displaystyle \ forall x \ in X, { \ overline { T [ x ] } } }

  là phủ định của nhau.

• x X, T [ x ] { \ displaystyle \ forall x \ in X, T [ x ] }

  và

  x X : T [ x ] ¯ { \ displaystyle \ exists x \ in X : { \ overline { T [ x ] } } }

  là phủ định của nhau.

Ví dụ:

• Co \ mot \ so \ tu \ nhien \ n \ chia \ het \ cho \ 5 ¯ { \ displaystyle { \ overline { \ textrm { Co \ mot \ so \ tu \ nhien \ n \ chia \ het \ cho \ 5 } } } }

Moi \ so \ tu \ nhien \ n \ deu \ khong \ chia \ het \ cho \ 5. { \ displaystyle \ equiv { \ textrm { Moi \ so \ tu \ nhien \ n \ deu \ khong \ chia \ het \ cho \ 5. } } }

Ký hiệu là: Ký hiệu là :

n N : n 5 ¯ n N, n 5 ¯ { \ displaystyle { \ overline { \ exists n \ in \ mathbb { N } : n \ \ vdots \ 5 } } \ equiv \ forall n \ in \ mathbb { N }, { \ overline { n \ \ vdots \ 5 } } }

• Moi \ tam \ giac \ deu \ khong \ la \ phai \ la \ tam \ giac \ can ¯ { \ displaystyle { \ overline { \ textrm { Moi \ tam \ giac \ deu \ khong \ la \ phai \ la \ tam \ giac \ can } } } }

• Nguoi \ Viet \ Nam \ nao \ chang \ noi \ thao \ tieng \ Anh ¯ { \ displaystyle { \ overline { \ textrm { Nguoi \ Viet \ Nam \ nao \ chang \ noi \ thao \ tieng \ Anh } } } }

Co \ it \ nhat \ mot \ nguoi \ Viet \ Nam \ khong \ noi \ thao \ tieng \ Anh. { \ displaystyle \ equiv { \ textrm { Co \ it \ nhat \ mot \ nguoi \ Viet \ Nam \ khong \ noi \ thao \ tieng \ Anh. } } }

• Co \ it \ nhat \ mot \ so \ thuc \ x \ la \ nghiem \ cua \ phuong \ trinh x 2 3 x 4 = 0 ¯ { \ displaystyle { \ overline { { \ textrm { Co \ it \ nhat \ mot \ so \ thuc \ x \ la \ nghiem \ cua \ phuong \ trinh } } \ x ^ { 2 } – 3 x – 4 = 0 } } }

Moi \ so \ thuc \ x \ deu \ khong \ phai \ nghiem \ cua \ phuong \ trinh x 2 3 x 4 = 0 { \ displaystyle \ equiv { \ textrm { Moi \ so \ thuc \ x \ deu \ khong \ phai \ nghiem \ cua \ phuong \ trinh } } \ x ^ { 2 } – 3 x – 4 = 0 }

Phuong \ trinh x 2 3 x 4 = 0 khong \ co \ nghiem \ thuc. { \ displaystyle \ equiv { \ textrm { Phuong \ trinh } } \ x ^ { 2 } – 3 x – 4 = 0 \ { \ textrm { khong \ co \ nghiem \ thuc. } } }

Ký hiệu là: Ký hiệu là :

x R : x 2 3 x 4 = 0 ¯ x R, x 2 3 x 4 = 0 ¯ { \ displaystyle { \ overline { \ exists x \ in \ mathbb { R } : x ^ { 2 } – 3 x – 4 = 0 } } \ equiv \ forall x \ in \ mathbb { R }, { \ overline { x ^ { 2 } – 3 x – 4 = 0 } } }

Ứng dụngSửa đổi

.

Giải bài toán bằng suy luận logicSửa đổi

Thông thường khi giải một bài toán dùng công cụ của logic mệnh đề ta triển khai theo những bước sau :
Bước 1: Phiên dịch đề bài từ ngôn ngữ đời thường sang ngôn ngữ của logic mệnh đề:

• Tìm xem bài toán được tạo thành từ những mệnh đề nào.
• Diễn đạt các điều kiện [đã cho và phải tìm] trong bài toán bằng ngôn ngữ của logic mệnh đề.

Bước 2: Phân tích mối liên hệ giữa điều kiện đã cho với kết luận của bài toán bằng ngôn ngữ của logic mệnh đề.
Bước 3: Dùng các phương pháp suy luận logic dẫn dắt từ các điều kiện đã cho tới kết luận của bài toán.Bước 1 : Phiên dịch đề bài từ ngôn từ đời thường sang ngôn từ của logic mệnh đề : Bước 2 : Phân tích mối liên hệ giữa điều kiện kèm theo đã cho với Tóm lại của bài toán bằng ngôn từ của logic mệnh đề. Bước 3 : Dùng những chiêu thức suy luận logic dẫn dắt từ những điều kiện kèm theo đã cho tới Kết luận của bài toán .

Ví dụ:

Tại Tiger Cup 98 có bốn đội lọt vào vòng bán kết : Nước Ta, Nước Singapore, Đất nước xinh đẹp Thái Lan và Indonesia. Trước khi tranh tài vòng bán kết, ba bạn Dụng, Quang, Trung Dự kiến như sau :
Dụng: Singapore nhì, còn Thái Lan ba.
Quang: Việt Nam nhì, còn Thái Lan tư.
Trung: Singapore nhất và Indonesia nhì.Dụng : Nước Singapore nhì, còn Xứ sở nụ cười Thái Lan ba. Quang : Nước Ta nhì, còn Xứ sở nụ cười Thái Lan tư. Trung : Nước Singapore nhất và Indonesia nhì .Kết quả, mỗi bạn Dự kiến đúng một đội và sai một đội. Hỏi mỗi đội đã đạt giải mấy ?Giải :Ký hiệu những mệnh đề :

• d1, d2 là hai dự đoán của Dụng.
• q1, q2 là hai dự đoán của Quang.
• t1, t2 là hai dự đoán của Trung.

Vì Dụng có một Dự kiến đúng và một Dự kiến sai, nên có hai năng lực :

• Nếu G[d1] = 1 thì G[t1] = 0. Suy ra G[t2] = 1. Điều này vô lý vì cả hai đội Singapore và Indonesia đều đạt giải nhì.
• Nếu G[d1] = 0 thì G[d2] = 1. Suy ra G[q2] = 0 và G[q1] = 1. Suy ra G[t2] = 0 và G[t1] = 1.

Vậy Nước Singapore nhất, Nước Ta nhì, Đất nước xinh đẹp Thái Lan ba còn Indonesia đạt giải tư .

Giải bài toán trong kĩ thuậtSửa đổi

Mệnh đề logic còn được ứng dụng trong kĩ thuật lắp ráp những mạch điện và thiết bị trong nhà máy sản xuất. Dưới đây là một ví dụ minh họa .

Ví dụ:

Giữa công tắc nguồn và dây may so của một chiếc Bàn là có rơle tự ngắt [ để khi dây may so nóng đến nhiệt độ pháp luật được cho phép thì rơle tự ngắt mạch điện cho Bàn là được bảo đảm an toàn ]. Hãy thiết lập nguyên tắc logic của quy trình hoạt động giải trí của chiếc Bàn là đó [ thiết lập mối liên hệ giữa việc đóng, ngắt mạch của công tắc nguồn, rơle với nhiệt độ được cho phép của dây may so ] .Giải :Ký hiệu những mệnh đề :

• c = “Công tắc Bàn là đóng mạch”.
• r = “Rơ le Bàn là đóng mạch”.
• t = “Dây may so trong Bàn là nóng tới nhiệt độ cho phép”.

Mối liên hệ giữa trạng thái an toàn của Bàn là và giá trị chân lý của những mệnh đề c, r, t hoàn toàn có thể trình diễn bởi bảng sau :

Trạng tháicrtTrạng thái an toàn1111không2110có3101có4100không5011không6010có7001có8000không

Nhìn vào bảng trên ta thấy :

• Trạng thái 1 và 5 không đảm bảo an toàn, vì khi dây may so đã nóng tới nhiệt độ quy định cho phép mà rơle vẫn đóng mạch thì dẫn đến hỏng Bàn là hoặc đồ là.
• Trạng thái 4 và 8 không đảm bảo an toàn vì dây may so chưa nóng tới nhiệt độ quy định cho phép mà rơle đã ngắt mạch thì Bàn là không sử dụng được.

Các trạng thái còn lại : 2, 3, 6 và 7 đều bảo vệ bảo đảm an toàn. Các trạng thái đó được miêu tả bằng những công thức logic sau :

Trạng tháiCông thức2

c r t ¯ { \ displaystyle c \ land r \ land { \ overline { t } } }

3

c r ¯ t { \ displaystyle c \ land { \ overline { r } } \ land t }

6

c ¯ r t ¯ { \ displaystyle { \ overline { c } } \ land r \ land { \ overline { t } } }

7

c ¯ r ¯ t { \ displaystyle { \ overline { c } } \ land { \ overline { r } } \ land t }

Vậy Bàn là hoạt động giải trí bảo đảm an toàn khi và chỉ khi :

[ c r t ¯ ] [ c r ¯ t ] [ c ¯ r t ¯ ] [ c ¯ r ¯ t ] { \ displaystyle [ c \ land r \ land { \ overline { t } } ] \ vee [ c \ land { \ overline { r } } \ land t ] \ vee [ { \ overline { c } } \ land r \ land { \ overline { t } } ] \ vee [ { \ overline { c } } \ land { \ overline { r } } \ land t ] }

[1][ 1 ]Áp dụng những đẳng thức về luật phân phối, những đẳng thức về 0 và 1 cho trạng thái 2 với 6 và 3 với 7, ta có :

[ c r t ¯ ] [ c ¯ r t ¯ ] [ c c ¯ ] [ r t ¯ ] r t ¯ { \ displaystyle [ c \ land r \ land { \ overline { t } } ] \ vee [ { \ overline { c } } \ land r \ land { \ overline { t } } ] \ equiv [ c \ vee { \ overline { c } } ] \ land [ r \ land { \ overline { t } } ] \ equiv r \ land { \ overline { t } } }

[2][ 2 ]

[ c r ¯ t ] [ c ¯ r ¯ t ] [ c c ¯ ] [ r ¯ t ] r ¯ t { \ displaystyle [ c \ land { \ overline { r } } \ land t ] \ vee [ { \ overline { c } } \ land { \ overline { r } } \ land t ] \ equiv [ c \ vee { \ overline { c } } ] \ land [ { \ overline { r } } \ land t ] \ equiv { \ overline { r } } \ land t }

[3][ 3 ]Dùng bảng chân lý ta nhận được :

[ r t ¯ ] [ r ¯ t ] [ r t ¯ ] [ r ¯ t ] { \ displaystyle [ r \ land { \ overline { t } } ] \ vee [ { \ overline { r } } \ land t ] \ equiv [ r \ Leftrightarrow { \ overline { t } } ] \ equiv [ { \ overline { r } } \ Leftrightarrow t ] }

[4][ 4 ]Từ [ 1 ], [ 2 ], [ 3 ] và [ 4 ] ta suy ra :Bàn là hoạt động giải trí bảo đảm an toàn khi và chỉ khi [ r t ¯ ] [ r ¯ t ] { \ displaystyle [ r \ Leftrightarrow { \ overline { t } } ] \ equiv [ { \ overline { r } } \ Leftrightarrow t ] }

Quy trình trên ta có thể phát biểu thành lời như sau: để Bàn là hoạt động an toàn phải đảm bảo nguyên tắc: “Công tắc rơle đóng mạch khi và chỉ khi nhiệt độ dây may so chưa tới hạn cho phép” hay “nhiệt độ dây may so tới hạn cho phép khi và chỉ khi công tắc rơle ngắt mạch điện”.

Xem thêm: Top #10 Ý Nghĩa Tên Alice Xem Nhiều Nhất, Mới Nhất 2/2022 # Top Trend | //tuvi365.net