Проверить правильность вывода и указать возможные ошибки в силлогизме. Он никогда не поет больше часа. Если пение продолжается больше часа, окружающим надоедает слушать.

Выразить утверждения естественного языка средствами формальной системы Исчисление предикатов 1 порядка. Также необходимо оценить истинность или ложность записанных утверждений в конкретной интерпретации.

Придумайте суждение, которое является подчиняющим по отношению к суждению «По меньше мере один человек, знающий некоторые западные языки, не является человеком, не знающим некоторых восточных языков»

1. Сделайте все выводы (непосредственные умозаключения) из данного суждения путем а) обращения, б) превращения, в) противопоставления предикату. Сначала преобразуйте предложение в явное суждение: Мышление – великое достоинство.