Формализовать и проверить правильность мышлений. Существует ли между основаниями и выводами отношения логического следования? Формалізувати і перевірити правильність міркувань. Чи існує між засновками та висновками відношення логічного слідування?
Если на улице холодно, мы пойдём в театр. Если на улице не холодно, мы пойдём на прогулку. Мы пошли в театр. Следовательно, на улице холодно.
Сделайте вывод из следующей посылки с помощью преобразования, обращения и противопоставления предикату. Зробіть висновок з наступної посилки за допомогою перетворення, обернення та протиставлення предикату:
Считая суждения из упражнения истинными, что вы можете сказать про истинность или ложность других типов суджений (согласно логическому квадрату). Вважаючи судження з вправи істинним, що ви можете сказати про істинність або помилковість інших типів суджень (згідно логічного квадрату)
Привести, если необходимо, мысли к нормальной форме. Установить по заданнойклассификации тип мыслей. Определите схему отношений между субъектом и предикатом распределённость терминов. (Привести, якщо необхідно, думки до нормальної форми. Встановити по заданій класифікації тип думок. Визначить схему відносин між суб’єктом і предикатом розподіленість термінів.)