LOGIC :

 proposition (n) : mệnh đề.

 the negation of p : phủ định của p.
 truth value : chân trị. The truth value of a proposition is true, denoted by 1, if it is a true
proposition, and the truth value of a proposition is false, denoted by 0, if it is a false proposition.
 the truth table : bảng chân trị . the truth table for the negation of a proposition p.
 conjunction : phép toán nối liền (). The conjunction of p and q, denoted by p ∧ q.
 disjunction : phép toán nối rời () . The disjunction of p and q, denoted by p ∨ q.
 if p, then q (implication, conditional statement) : phép toán kéo theo, p  q.
 p if and only if q (The biconditional statement p ↔ q): p  q
 compound propositions : dạng mệnh đề, biểu thức mệnh đề.
 tautology : hằng đúng
 contradiction : hằng sai
 logically equivalent : tương đương logic. Compound propositions that have the same truth values
in all possible cases are called logically equivalent.
 predicate : vị từ
 universal quantification : lượng từ phổ dụng ()
 existential quantification : lượng từ tồn tại (). The existential quantification of P (x) is the
proposition ∃ x, P (x).
 induction : qui nạp. To prove that P (n) is true for all positive integers n, where P (n) is a
propositional function, we complete two steps: basic step and inductive step.
SET , FUNCTION : tập hợp, ánh xạ
 the universal set : Tập hợp vũ trụ
 empty set : tập hợp rỗng
 subset : tập hợp con. The set A is a subset of B if and only if every element of A is also an element
of B.
 finite set : tập hợp hữu hạn
 infinite set : tập hợp vô hạn
 cardinality of S = |S|
 the union of the sets A and B = A  B
 The intersection of the sets A and B = A ∩ B
 The difference of A and B = A - B
 The complement of the set A = A
  function : ánh xạ
 A function f is said to be one-to-one, or an injunction . . . : f được gọi là đơn ánh . . .
 A function f from A to B is called onto, or a surjection . . . : f được gọi là toàn ánh . . .
 The function f is a one-to-one correspondence, or a bijection . . . : f được gọi là đơn ánh . . .
 inverse function of f : ánh xạ ngược của f
 The composition of the functions f and g = f ◦ g

COUNT :
 the product rule : nguyên lý nhân
 the sum rule : nguyên lý cộng
 permutation : hoán vị
 a m_permutation of a set with n distinct elements : chỉnh hợp của tập n phần tử chọn m
 a m-combinations of a set with n elements : một tổ hợp của n phần tử chọn m
 coefficient : hệ số
 term : số hạng
 expansion : What is the coefficient of x12y13 in the expansion of (x + y)25?
 the Pigeonhole Principle : nguyên lý chuồng bồ câu (dạng 1)
 the Generalized Pigeonhole Principle : nguyên lý chuồng bồ câu mở rộng (dạng 2)

RELATION : QUAN HỆ
 reflexive (adj) : phản xạ . A relation R on a set A is called reflexive if (a, a) ∈ R for every element
a ∈ A.
 symmetric : đối xứng
 antisymmetric : phản xứng (phản đối xứng)
 transitive : bắc cầu
Ex : For each of these relations on the set { 1, 2, 3, 4 }, decide whether it is reflexive,
whether it is symmetric, whether it is antisymmetric, and whether it is transitive. ….
 equivalence relation : quan hệ tương đương
 equivalence class of a : lớp tương đương chứa a ( [ a ] )
 partial ordering ( partial order ) : quan hệ thứ tự
 Hasse Diagram : biểu đồ Hasse
 greatest element : phần tử lớn nhất
  least element : phần tử bé nhất
 Maximal Element , Minimal Element : phần tử tối đại , phần tử tối tiểu
 upper bound of A : chặn trên (chung) của A
 least upper bound of A : sup A
 lower bound of A : chặn dưới (chung) của A
 greatest lower bound of A : inf A
 lattice : dàn
 3 | 21 : 3 devides 21 (21 chia hết cho 3)
 prime : số nguyên tố
 square number : số chính phương = bình phương của một số nguyên, VD 1, 4, 9, …
 perfect number : số hoàn hảo (SHH) . SHH là số nguyên dương bằng tổng các ước của nó không
kể chính nó, VD 6, 28.

BOOLEAN ALGEBRA : Đại số Bool

 The complement of an element : phần tử bù

 Boolean variable : biến Bool (lấy giá trị thuộc Z2={0, 1})
 Boolean expression : biểu thức Bool
 Boolean function : hàm Bool (VD : hàm Bool 4 biến x, y, z, t)
 minterm : từ tối tiểu
 disjunctive normal form of the Boolean function (or the sum-of-products expansion ): dạng nối
rời chính tắc của một hàm Bool
 Logic Gates : cổng logic (cổng AND, OR, NOT)
 gating networks or (combinational circuits) : mạng các cổng (cổng logic)
 Minimization of Circuits : tối ưu hóa mạng các cổng (tìm công thức đa thức tối tiểu)
 Karnaugh map (or K-map) : biểu đồ Karnaugh