---

Comment : Logic quiz
Comment : This quiz is designed to test your knowledge of the basics of mathematical logic (logical connectives such as negation and implication, as well as quantifiers).

---

Question 1: Let X and Y be statements. If we know that X implies Y, then we can also conclude that

---

---

	X is true, and Y is also true.
	Y cannot be false.
	If Y is true, then X is true.
	If Y is false, then X is false.
	If X is false, then Y is false.
	X cannot be false.
	At least one of X and Y is true.