Какая схема непосредственного умозаключения путём превращения является правильной для общеотрицательного суждения?
1. Все неправильны
2. Все S не есть Р, следовательно, все не-Р есть S
3. Все S не есть Р, следовательно, все S есть не-Р
4. Все S не есть Р, следовательно, некоторые S есть не-Р