Найдите ошибку в умозаключении: "Все овчарки - породистые собаки. Все овчарки - сторожевые собаки. Следовательно, все сторожевые собаки являются породистыми собаками".

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

Найдите в научной литературе примеры доказательства и проанализируйте их, указав 1) тезис; 2) аргументы; 3) вид демонстрации; 4) способ доказательства.

Привести к классической форме простого категорического силлогизма следующее сложное (молекулярное) суждение «Все, кто приговорен к каторжным работам, были признаны виновными во время последней сессии суда, поскольку все,