1. (∀x ∈ Z : x^2 + x чётное число) ⇔ (∃x ∈ Z : x^2 + x не = 0) a)Определите истинность данного выражения
б)Напишите её негацию
2. ¬A ⇒ C, C ⇔ D, ¬B ⇒ ¬C, D ⇒¬A.
а)Докажите, что ¬A ⇒ B
б)Напишите, какой метод доказательства вы использовали(прямой, косвенный, от противного)