Умозаключение, как и понятия и суждение, являются формой абстрактного мышления.В противном случае суждение ложно (все растения являются съедобными) .В простом атрибутивном суждении имеются субъект, предикат, связка и кванторное слово.Объект атрибутивного суждения - это понятие о предмете суждения.Субъект суждения обозначается буквой S (от лат. слова subjectum) .Простые суждения, о которых шла речь, называются ассекторическими.Итак, конъюнкция (a b) истина тогда, когда оба простых суждения истинны.Строгая дизъюнкция (a b) истина тогда, когда только одно простое суждение истинно.Нестрогая дизъюнкция (a b) истина тогда, когда хотя бы одно простое суждение истинно.Эквиваленция (a b) истина тогда, когда оба суждения истинны или оба ложны.