Độ dài của một chu trình trên đồ thị G là:

Đồ thị đầy đủ K_n là đồ thị vô hướng đơn giản có n đỉnh, trong đó mọi cặp đỉnh phân biệt đều được nối với nhau bằng một cạnh. Do đó:

• Số đỉnh của K_n là n.
• Số cạnh của K_n là số cách chọn 2 đỉnh từ n đỉnh, tức là tổ hợp chập 2 của n, được tính bằng công thức: nC2 = n! / (2! * (n-2)!) = n * (n-1) / 2.

Vậy, đồ thị đầy đủ K_n có n đỉnh và n(n-1)/2 cạnh.

Cây là một đồ thị vô hướng liên thông không có chu trình. Các phương án khác không phải là định nghĩa hoặc tính chất bắt buộc của cây.

Mệnh đề P→Q tương đương logic với mệnh đề \(\overline P \vee Q\). Điều này có nghĩa là "nếu P thì Q" tương đương với "hoặc không P, hoặc Q". Mệnh đề \(\overline Q \to \overline P \) (mệnh đề phản đảo) cũng tương đương với P→Q.

Trong các lựa chọn:

• Lựa chọn 1: \(\overline P \to \overline Q \) không tương đương.

• Lựa chọn 2: \(\overline Q \to \overline P \) tương đương với P→Q.

• Lựa chọn 3: \(P \vee Q \) không tương đương.

• Lựa chọn 4: \(P \vee \overline Q \) không tương đương.

Vậy đáp án đúng là lựa chọn 2.