Uniqueness Proof

preview_player
Показать описание

Рекомендации по теме
Комментарии
Автор

If I take the contrapositive of forall y if y != x then !P(y) don't I get : P(y) implies that there exists a y such that y = x1. My question is, what happens to the quantifier when you take the contrapositive?

FatherOfTheParty