Вот видно, что лично вы, хоть и хорошо относитесь к программе Петерсон, но  плохо её усвоили. И вообще с логикой (даже формальной) не дружите. Иначе бы вы лучше разбирались в понятиях "условие необходимое", "условие достаточное" и "условие необходимое и достаточное". Ну да бог с вами.