Проверьте правильность превращения. в неправильном превращении сделайте правильный вывод. составьте схему вывода.
3.1. некоторые грибы ядовиты.
некоторые грибы не являются неядовитыми.
3.2. некоторые ягоды несъедобны.
некоторые ягоды съедобны.
3.3 труд закаляет.
труд не есть то, что не закаляет.
3.4. некоторые правонарушители несовершеннолетние.
некоторые правонарушители не являются несовершеннолетними.
3.5. государства существовали не всегда.
государства не существовали всегда.
3.6. в общеутвердительном суждении субъект распределен.
в общеутвердительном суждении субъект является распределенным.
3.7. некоторые ошибки непростительны.
некоторые ошибки не являются простительными.
Прежде чем приступить к проверке превращений, составим схему вывода, чтобы понять логическую структуру данного задания. Воспользуемся логическими операторами:
3.1. некоторые грибы ядовиты.
3.2. некоторые грибы не являются неядовитыми.
3.3. некоторые ягоды несъедобны.
3.4. некоторые ягоды съедобны.
3.5. труд закаляет.
3.6. труд не есть то, что не закаляет.
3.7. некоторые правонарушители несовершеннолетние.
3.8. некоторые правонарушители не являются несовершеннолетними.
3.9. государства существовали не всегда.
3.10. государства не существовали всегда.
3.11. в общеутвердительном суждении субъект распределен.
3.12. в общеутвердительном суждении субъект является распределенным.
3.13. некоторые ошибки непростительны.
3.14. некоторые ошибки не являются простительными.
Теперь, проведем проверку каждого превращения, используя реверсивную логику:
3.1. В данном превращении утверждается, что некоторые грибы ядовиты. Чтобы проверить его правильность, возьмем отрицание исходного утверждения: "некоторые грибы не ядовиты". Отрицание утверждения лишает его логической эквивалентности исходному утверждению, так как оно отличается по смыслу. Следовательно, данное превращение неправильное.
3.2. В данном превращении утверждается, что некоторые грибы не являются неядовитыми. Отрицанием данного утверждения будет "некоторые грибы являются неядовитыми". Отрицание данным образом сохраняет логическое эквивалентность утверждения, следовательно, это правильное превращение.
3.3. В данном превращении утверждается, что некоторые ягоды несъедобны. Отрицанием данного утверждения будет "некоторые ягоды съедобны". Отрицание сохраняет логическую эквивалентность, поэтому это правильное превращение.
3.4. В данном превращении утверждается, что некоторые ягоды съедобны. Отрицание данного утверждения будет "некоторые ягоды несъедобны". Отрицание сохраняет логическую эквивалентность, поэтому это правильное превращение.
3.5. В данном превращении утверждается, что труд закаляет. Отрицание данного утверждения будет "труд не закаляет". Отрицание сохраняет логическую эквивалентность, поэтому это правильное превращение.
3.6. В данном превращении утверждается, что труд не есть то, что не закаляет. Отрицание данного утверждения будет "труд есть то, что не закаляет". Отрицание лишает утверждение эквивалентности, поэтому это неправильное превращение.
3.7. В данном превращении утверждается, что некоторые правонарушители несовершеннолетние. Отрицание данного утверждения будет "некоторые правонарушители являются несовершеннолетними". Отрицание сохраняет логическую эквивалентность, поэтому это правильное превращение.
3.8. В данном превращении утверждается, что некоторые правонарушители не являются несовершеннолетними. Отрицание данного утверждения будет "некоторые правонарушители являются несовершеннолетними". Отрицание сохраняет логическую эквивалентность, поэтому это правильное превращение.
3.9. В данном превращении утверждается, что государства существовали не всегда. Отрицание данного утверждения будет "государства существовали всегда". Отрицание лишает утверждение эквивалентности, поэтому это неправильное превращение.
3.10. В данном превращении утверждается, что государства не существовали всегда. Отрицание данного утверждения будет "государства существовали всегда". Отрицание, лишает утверждение эквивалентности, поэтому это неправильное превращение.
3.11. В данном превращении утверждается, что в общеутвердительном суждении субъект распределен. Отрицание данного утверждения будет "в общеутвердительном суждении субъект не является распределенным". Отрицание, сохраняющее логическую эквивалентность, делает это превращение правильным.
3.12. В данном превращении утверждается, что в общеутвердительном суждении субъект является распределенным. Отрицанием данного утверждения будет "в общеутвердительном суждении субъект не является распределенным". Отрицание сохраняет логическую эквивалентность, поэтому это правильное превращение.
3.13. В данном превращении утверждается, что некоторые ошибки непростительны. Отрицанием данного утверждения будет "некоторые ошибки простительны". Отрицание сохраняет логическую эквивалентность, поэтому это правильное превращение.
3.14. В данном превращении утверждается, что некоторые ошибки не являются простительными. Отрицанием данного утверждения будет "некоторые ошибки являются простительными". Отрицание сохраняет логическую эквивалентность, поэтому это правильное превращение.
Таким образом, мы проверили каждое превращение и определили их правильность или неправильность.