Font size
WorksheetsMục tiêu bài giảng Toán rời rạc
Total questions: 88
Worksheet time: 44mins
The goal of this lecture is what? Fill in the blanks: Understand the ________ and ________, including nested quantifiers.
clauses and quantifiers
functions and variables
sets and mappings
systems of equations and inequalities
What is the objective of this lecture? Fill in the blank: Apply the rules of reasoning to _________?
logical reasoning
mathematics
linguistics
computer science
What is the goal of this lecture? Fill in the blank: Get acquainted with proof methods and choose ________ appropriately.
proof strategy
sample problem
incorrect result
quick solving method
Propositional logic is a branch of logic that deals with statements (propositions) that can be True (T) or False (F), but cannot be both. These statements are combined using logical operations such as AND, OR, and NOT to form more complex expressions. Which of the following correctly describes propositional logic?
Handles statements that can be both true and false
Handles statements that can only be true or false
Handles statements that have no truth value
Fill in the blanks: Each statement in propositional logic has a definite truth value: ________ or ________.
True or False
True or Undefined
False or Undefined
True or Possible
Propositional logic is the foundation of ________ logic, used in computer science and mathematics.
Boolean
Fuzzy
Formal
Vague
Propositional logic is the foundation of Boolean algebra, circuit design, and logic programming in which field?
Computer Science
Economics
Literature
Biology
In which field is propositional logic applied to automated reasoning, decision making, and knowledge representation?
Artificial Intelligence
Economics
Literature
Medicine
Which field ensures the correctness of algorithms in encryption and security protocols?
Network security
Artificial intelligence
Data science
Software development
Which field uses propositional logic in query processing and optimization?
Database management systems
Construction engineering
Fashion design
Agriculture
What value does the logical AND operator return?
True if both propositions are true
True if at least one proposition is true
Reverses the truth value of the proposition
What value does the logical OR operator return?
True if both propositions are true
True if at least one proposition is true
Reverses the truth value of the proposition
What does the logical NOT operator do?
True if both propositions are true
True if at least one proposition is true
Reverses the truth value of the proposition
Fill in the correct value for the truth table below: P = True, Q = True P AND Q = ?
True
False
Undefined
No correct answer
Fill in the correct value for the truth table below:
P = True, Q = False
P AND Q = ?
False
True
Undefined
Both are true
Fill in the correct value for the truth table below:
P = False, Q = True
P OR Q = ?
True
False
Undefined
Both are true
Fill in the correct value for the truth table below:
P = False, Q = False
P OR Q = ?
False
True
Undefined
No value
A smart irrigation system decides whether to water the garden based on the following conditions: - Condition 1: Dry soil (S). - Condition 2: No rain (R is False). - Condition 3: Water tank is not empty (W). - Action: Irrigation system is turned on (I). Write a logical expression that represents this rule using AND, OR, and NOT.
I = S AND (NOT R) AND W
I = S OR R AND W
I = S AND R AND (NOT W)
I = (NOT S) AND (NOT R) AND W
When will the irrigation system turn on?
Soil is dry (S is True), it is not raining (R is False), the water tank is not empty (W is True)
Soil is wet (S is False), it is raining (R is True), the water tank is empty (W is False)
Soil is dry (S is True), it is raining (R is True), the water tank is not empty (W is True)
Soil is dry (S is True), it is not raining (R is False), the water tank is empty (W is False)
Based on the truth table, fill in the blank: If S = Yes, R = No, W = Yes then I (Irrigation On) will be _____?
Yes
No
Undefined
Possible
Based on the truth table, fill in the blank: If S = Yes, R = Yes, W = Yes then I (Irrigation On) will be _____?
No
Yes
Possible
Undefined
Fill in the blank: Two logical expressions are called ______ if they always yield the same result in every situation.
equivalent
independent
contradictory
identical
Why is recognizing propositional equivalences important? Fill in the blank: Recognizing logical equivalences helps us _________ complex logical statements, making them easier to analyze.
simplify
complicate
ignore
increase the number of
Why is recognizing logical equivalences important? Fill in the blank: Recognizing logical equivalences helps us _________ efficient algorithms in programming and artificial intelligence.
write
delete
read
edit
Why is recognizing equivalent propositions important?
optimization
reduce accuracy
increase complexity
distort results
Why is recognizing propositional equivalences important? Fill in the blank: Recognizing logical equivalences helps us _________ reasoning and decision-making in automated systems.
improve
reduce
complicate
delay
How many ways are there to prove that two logical expressions are equivalent?
1 way
2 ways
3 ways
4 ways
Which of the following methods uses a truth table to compare the truth values of two logical expressions?
Truth table method
Logical equivalence method
Proof by contradiction method
Mathematical induction method
Fill in the blank: (A OR B) AND (A OR (B AND A)) = ___
A OR (B AND A)
A AND B
A OR B
B AND (A OR B)
The truth table below applies to two logical expressions: (A OR B) and A OR (B AND A). Fill in the correct value in the blank for the expression A = T, B = F in the 'Full Expression' column. A = T, B = F, Full Expression = ___
T
F
0
1
The truth table below applies to two logical expressions: (A OR B) and A OR (B AND A). Fill in the correct value in the blank for the expression A = F, B = T in the 'Full Expression' column. A = F, B = T, Full Expression = ___
F
T
A
B
According to the truth table, how do the two logical expressions (A OR B) and A OR (B AND A) compare?
A. Always the same
B. Always different
C. Sometimes the same, sometimes different
D. Undefined
Conclusion: The two expressions (A OR B) and A OR (B AND A) are logically equivalent.
True
False
Fill in the blank: The original expression is _______.
(A OR B) AND (A OR (B AND A))
(A AND B) OR (A AND (B OR A))
(A OR B) OR (A AND (B OR A))
(A AND B) AND (A OR (B AND A))
Fill in the blank: The equation used for simplification is _______.
A OR (B AND A) = A OR (B AND A)
A AND (B OR A) = B OR (A AND B)
A OR (B OR A) = B OR (A OR B)
A AND (B AND A) = B AND (A AND B)
Apply the distribution law to the following expression: (A OR B) AND (A OR (B AND A)) = ?
A OR (B AND A)
A AND (B OR A)
A OR B OR A
(A AND B) OR (A AND A)
What is the simplified result of the following expression?
A OR (B AND A)
A AND (B OR A)
A OR B
A AND B
What is the conclusion of applying the distribution law in this logical expression?
A OR (B AND A)
A AND (B OR A)
(A OR B) AND A
A OR B AND A
What does the symbol ∀x mean?
There exists at least one x
For all x
Only one x
No x exists
What does the symbol ∃x mean?
There exists at least one x
For all x
No x exists
Only one x
For every x, there exists at least one ___ such that P(x, y) is true.
y
x
z
t
The nested quantifier ∃x∀y P(x, y) means: "There exists at least one x such that for every y, P(x, y) is true." Fill in the blank: There exists at least one x such that for every ___, P(x, y) is true.
y
x
z
n
Why is the order of ∀ and ∃ important in logical statements?
The order of ∀ and ∃ affects the meaning of the logical statement.
The order of ∀ and ∃ does not affect the meaning of the logical statement.
The order of ∀ and ∃ is only important in discrete mathematics.
The order of ∀ and ∃ only affects the speed of solving the problem.
Choose the statement: ∀x∃y P(x, y). What is the meaning of this statement?
Each student has borrowed all the books
Each student has borrowed at least one book
There is one book that all students have borrowed
No student has borrowed any books
Choose the statement: ∃y∀x P(x, y). What is the meaning of this statement?
A. There is a book that all students have borrowed
B. Each student has borrowed at least one book
C. Each student has borrowed all the books
D. No student has borrowed any books
Write a logical expression for the following mathematical statements using nested quantifiers: 1. "For every real number x, there exists a real number y such that y > x."
∀x ∈ ℝ, ∃y ∈ ℝ, y > x
∃x ∈ ℝ, ∀y ∈ ℝ, y > x
∀y ∈ ℝ, ∃x ∈ ℝ, y > x
∃y ∈ ℝ, ∀x ∈ ℝ, y > x
Write a logical expression for the following mathematical statement using nested quantifiers: 2. "There exists a smallest natural number."
∃x ∈ ℕ, ∀y ∈ ℕ, x ≤ y
∀x ∈ ℕ, ∃y ∈ ℕ, x ≤ y
∃x ∈ ℕ, ∀y ∈ ℕ, x ≥ y
∀x ∈ ℕ, ∀y ∈ ℕ, x ≤ y
Viết biểu thức lượng từ cho câu sau: "Với mọi số thực x, tồn tại một số thực y sao cho y > x." (Where x, y ∈ ℝ)
∀x∃y (y > x)
∃x∀y (y > x)
∀y∃x (y > x)
∃y∀x (y > x)
Viết biểu thức lượng từ cho câu sau: "Tồn tại một số tự nhiên nhỏ nhất." (Where x, y ∈ ℕ)
∃x∀y (x ≤ y)
∀x∃y (y < x)
∃x∀y (y < x)
∀x∀y (x ≤ y)
Hàm ý logic (⇒) là gì? Điền vào chỗ trống: Nếu một mệnh đề là đúng, thì ______ cũng phải đúng.
mệnh đề khác
mệnh đề ban đầu
kết quả sai
giả thiết
Tương đương logic (⇔) là gì? Chọn đáp án đúng:
A. Hai mệnh đề luôn có cùng giá trị chân lý.
B. Nếu một mệnh đề đúng, mệnh đề kia cũng phải đúng.
C. Hai mệnh đề luôn khác giá trị chân lý.
Hàm ý: "Nếu một số chia hết cho 6, thì nó là số chẵn." Biểu diễn điều này bằng ký hiệu toán học nào sau đây?
A. ∀x ∈ ℤ, (D₆(x) ⇒ E(x))
B. ∀x ∈ ℤ, (E(x) ⇒ D₆(x))
C. ∀x ∈ ℤ, (D₂(x) ⇔ E(x))
D. ∀x ∈ ℤ, (E(x) ⇔ D₆(x))
Tương đương: "Một số là số chẵn khi và chỉ khi nó chia hết cho 2." Biểu diễn điều này bằng ký hiệu toán học nào sau đây?
A. ∀x ∈ ℤ, (D₆(x) ⇒ E(x))
B. ∀x ∈ ℤ, (E(x) ⇔ D₂(x))
C. ∀x ∈ ℤ, (D₂(x) ⇒ E(x))
D. ∀x ∈ ℤ, (E(x) ⇒ D₆(x))
Điền vào chỗ trống: D₆(x) có nghĩa là "x chia hết cho _____."
6
5
4
3
Điền vào chỗ trống: D₂(x) có nghĩa là "x chia hết cho _____."
2
3
4
5
Chọn phát biểu đúng về hàm ý:
Hàm ý mô tả mối quan hệ nguyên nhân - kết quả.
Hàm ý mô tả hai điều kiện luôn đúng cùng nhau.
Hàm ý là một phép toán cộng.
Hàm ý là một phép toán trừ.
Chọn phát biểu đúng về tương đương:
Tương đương mô tả hai điều kiện luôn đúng cùng nhau.
Tương đương mô tả mối quan hệ nguyên nhân - kết quả.
Tương đương là một phép toán nhân.
Tương đương là một phép toán chia.
Nhiệm vụ: Đối với mỗi phát biểu sau, hãy xác định nó biểu diễn hàm ý (⇒) hay tương đương (⇔) và viết dưới dạng logic vị từ.
1. "Nếu một hàm số tăng, thì đạo hàm của nó không âm."
Phát biểu trên thuộc loại nào?
A. Hàm ý (⇒)
B. Tương đương (⇔)
C. Đẳng thức (=)
D. Phủ định (¬)
Hàm ý (⇒)
Tương đương (⇔)
Đẳng thức (=)
Phủ định (¬)
Phát biểu sau biểu diễn loại quan hệ logic nào và viết dưới dạng logic vị từ: "Một số là số lẻ khi và chỉ khi nó không chia hết cho 2."
Hàm ý (⇒); ∀x (Odd(x) ⇒ ¬Even(x))
Tương đương (⇔); ∀x (Odd(x) ⇔ ¬Even(x))
Hàm ý (⇒); ∀x (Odd(x) ⇒ Even(x))
Tương đương (⇔); ∀x (Odd(x) ⇔ Even(x))
Phát biểu sau biểu diễn loại quan hệ logic nào và viết dưới dạng logic vị từ: "Nếu một sinh viên đạt điểm trên 90, thì họ qua môn."
Chọn đáp án đúng.
Hàm ý (⇒); ∀x (Student(x) ∧ Score(x) > 90 ⇒ Pass(x))
Tương đương (⇔); ∀x (Student(x) ∧ Score(x) > 90 ⇔ Pass(x))
Hàm ý (⇒); ∀x (Student(x) ∧ Score(x) > 90 ⇔ Pass(x))
Tương đương (⇔); ∀x (Student(x) ∧ Score(x) > 90 ⇒ Pass(x))
Phát biểu sau biểu diễn loại quan hệ nào và viết dưới dạng logic vị từ: "Một tam giác là đều khi và chỉ khi tất cả các góc của nó bằng nhau."
Tương đương (⇔); ∀x (TamGiac(x) ⇔ (Deu(x) ⇔ TatCaGocBangNhau(x)))
Hàm ý (⇒); ∀x (TamGiac(x) ⇒ (Deu(x) ⇒ TatCaGocBangNhau(x)))
Hàm ý (⇒); ∀x (TamGiac(x) ⇒ (TatCaGocBangNhau(x) ⇒ Deu(x)))
Tương đương (⇔); ∀x (TamGiac(x) ⇔ (Deu(x) ⇒ TatCaGocBangNhau(x)))
Điền vào chỗ trống: Nếu một hàm số đang tăng, thì đạo hàm của nó là _________.
không âm
âm
bằng 0
không xác định
Điền vào chỗ trống: Một số là số lẻ khi và chỉ khi nó không chia hết cho _________.
2
3
5
10
Chuyển đổi câu sau sang ký hiệu logic: "Nếu một sinh viên đạt điểm trên 90, thì họ sẽ qua môn."
∀x(G(x) > 90 ⇒ P(x))
∀x(G(x) < 90 ⇒ P(x))
∃x(G(x) > 90 ⇒ P(x))
∀x(G(x) > 90 ⇔ P(x))
Điền vào chỗ trống: Một tam giác là tam giác đều nếu và chỉ nếu tất cả các góc của nó đều bằng nhau. Ký hiệu logic: ∀t(____ ⇔ ____) Trong đó ____ là "t là tam giác đều" và ____ là "tất cả các góc trong t đều bằng nhau."
E(t), A(t)
A(t), E(t)
E(t), E(t)
A(t), A(t)
Quy tắc suy luận là gì?
Một nguyên tắc logic cho phép chúng ta rút ra kết luận hợp lệ từ các giả thiết.
Một phương pháp giải toán.
Một quy tắc về ngữ pháp.
Một định nghĩa về số học.
Ví dụ: Modus Ponens (Luật Tách rời) Giả thiết 1: "Nếu trời mưa, thì mặt đất sẽ ướt." (P ⇒ Q) Giả thiết 2: "Trời đang mưa." (P) Kết luận: "_______." (Q) Điền vào chỗ trống để hoàn thành kết luận.
Mặt đất ướt.
Trời không mưa.
Mặt đất khô.
Không có kết luận.
Quy tắc suy luận là nền tảng của những lĩnh vực nào sau đây?
A. Chứng minh toán học, lý luận logic, và chứng minh định lý tự động
B. Văn học, lịch sử, và địa lý
C. Sinh học, hóa học, và vật lý
D. Kinh tế học, xã hội học, và tâm lý học
Quy tắc nào sau đây phát biểu: Nếu P ⇒ Q và P đúng, thì Q phải đúng?
Modus Ponens
Modus Tollens
Luật loại trừ trung gian
Luật De Morgan
Quy tắc nào sau đây phát biểu: Nếu P ⇒ Q đúng và NOT Q đúng, thì NOT P phải đúng, giả sử rằng P ⇒ Q đại diện cho một hàm ý logic hợp lệ?
Modus Tollens
Modus Ponens
Luật loại trừ trung gian
Luật khẳng định hệ quả
Quy tắc nào sau đây phát biểu: Nếu P ⇒ Q và Q ⇒ R, thì P ⇒ R?
Hypothetical Syllogism
Modus Ponens
Modus Tollens
Disjunctive Syllogism
Quy tắc nào sau đây phát biểu: Nếu P HOẶC Q và NOT P đúng, thì Q phải đúng?
Disjunctive Syllogism
Modus Ponens
Modus Tollens
Hypothetical Syllogism
Quy tắc nào sau đây phát biểu: P ⇒ Q tương đương logic với (⇔) NOT Q ⇒ NOT P?
Contraposition
Modus Ponens
Modus Tollens
Disjunction
Nếu ___ là đúng và ___ là đúng, thì ___ phải đúng.
P ⇒ Q; P; Q
P ⇒ Q; Q; P
P ∧ Q; P; Q
P ∨ Q; Q; P
Nếu trời mưa (P), thì mặt đất sẽ ướt (Q). Trời đang mưa. Vậy mặt đất sẽ như thế nào?
Khô
Ướt
Không thay đổi
Có tuyết
Modus Ponens quan trọng trong toán học rời rạc vì lý do nào sau đây?
Nó cho phép suy luận từ hai mệnh đề để kết luận một mệnh đề mới.
Nó dùng để kiểm tra tính đúng sai của một mệnh đề.
Nó là phương pháp chứng minh bằng phản chứng.
Nó giúp xác định số lượng tập hợp con của một tập hợp.
Định nghĩa: Modus Tollens phát biểu rằng nếu P ⇒ Q là đúng và NOT Q là đúng, thì NOT P phải đúng, giả sử rằng P ⇒ Q mô hình hóa đúng một mối quan hệ logic hợp lệ. Câu nào sau đây mô tả đúng về Modus Tollens?
Nếu P ⇒ Q là đúng và Q là đúng, thì P phải đúng
Nếu P ⇒ Q là đúng và NOT Q là đúng, thì NOT P phải đúng
Nếu P ⇒ Q là đúng và NOT P là đúng, thì NOT Q phải đúng
Nếu P ⇒ Q là đúng và Q là sai, thì P phải đúng
Ví dụ: Nếu xe buýt đến đúng giờ (P), thì tôi sẽ đến trường đúng giờ (Q). Tôi KHÔNG đến trường đúng giờ. Điều này có nhất thiết nghĩa là xe buýt KHÔNG đến đúng giờ không?
Không nhất thiết, vì có thể có những lý do khác khiến tôi đến muộn.
Đúng, chắc chắn xe buýt đã không đến đúng giờ.
Không, điều này có nghĩa là tôi không đi xe buýt.
Có, vì xe buýt luôn là lý do duy nhất khiến tôi đến muộn.
Giải thích: Modus Tollens chỉ hợp lệ khi P ⇒ Q là yếu tố quyết định duy nhất cho Q. Trong trường hợp có nhiều yếu tố góp phần vào Q, phủ định của Q không nhất thiết dẫn đến phủ định của P. Đúng hay sai: Modus Tollens luôn hợp lệ bất kể có bao nhiêu yếu tố ảnh hưởng đến Q.
True
False
Định nghĩa: Tam đoạn luận giả định phát biểu rằng nếu P ⇒ Q và Q ⇒ R, thì P ⇒ ___. Hãy chọn đáp án đúng.
R
Q
P
Q và R
Nếu tôi học chăm chỉ (P), thì tôi sẽ vượt qua kỳ thi (Q). Nếu tôi vượt qua kỳ thi, thì tôi sẽ tốt nghiệp (R). Vậy, nếu tôi học chăm chỉ, thì tôi sẽ:
Không vượt qua kỳ thi
Tốt nghiệp
Không tốt nghiệp
Không học chăm chỉ
Quy tắc này cho phép chúng ta làm gì với các mệnh đề kéo theo nhau?
Kết hợp các mệnh đề để rút ra kết luận mới.
Loại bỏ các mệnh đề không liên quan.
Thay đổi thứ tự các mệnh đề.
Chia nhỏ các mệnh đề thành nhiều phần.
Định nghĩa: Tam đoạn luận phân ly phát biểu rằng nếu P HOẶC Q và KHÔNG P đều đúng, thì ___ phải đúng.
Q
P
KHÔNG Q
P và Q
Ví dụ: Either it is raining (P) or it is sunny (Q). It is NOT raining. Therefore, it is sunny. Câu nào sau đây đúng với ví dụ trên?
Nếu trời mưa thì trời nắng
Nếu trời không mưa thì trời nắng
Nếu trời nắng thì trời mưa
Nếu trời không nắng thì trời mưa
Nếu một trong hai khả năng bị loại bỏ, ___ phải đúng.
khả năng còn lại
cả hai khả năng
không có khả năng nào
một khả năng khác
Câu nào sau đây đúng về phép đối ngẫu?
P ⇒ Q tương đương với Q ⇒ P
P ⇒ Q tương đương với NOT Q ⇒ NOT P
P ⇒ Q tương đương với NOT P ⇒ NOT Q
P ⇒ Q tương đương với P ⇔ Q
Điền vào chỗ trống: Nếu KHÔNG có khói (______), thì KHÔNG có lửa (______).
NOT Q, NOT P
NOT P, NOT Q
Q, P
P, Q
Giải thích: Quy tắc này phát biểu rằng phủ định cả hai phần của một mệnh đề kéo theo và đảo ngược thứ tự của chúng sẽ bảo toàn tính tương đương logic. Câu nào sau đây mô tả đúng quy tắc của phép đối ngẫu?
A. Đảo ngược thứ tự mà không phủ định các phần
B. Phủ định cả hai phần và đảo ngược thứ tự
C. Chỉ phủ định phần đầu tiên
D. Không thay đổi gì cả
