11 отношения: Квантор, Предикат, Объект, Определение (синтаксис), Аналитическое суждение, Силлогистические теории, Синтетическое суждение, Тождество (математика), Математическая логика, Высказывание (логика), Вывод (рассуждение).
Квантор
Ква́нтор — общее название для логических операций, ограничивающих область истинности какого-либо предиката и создающих высказывание.
Новый!!: Суждение и Квантор · Узнать больше »
Предикат
Предика́т (praedicatum — заявленное, упомянутое, сказанное) — это утверждение, высказанное о субъекте.
Новый!!: Суждение и Предикат · Узнать больше »
Объект
Объе́кт (от objectum — предмет).
Новый!!: Суждение и Объект · Узнать больше »
Определение (синтаксис)
Определе́ние (или атрибу́т) — в синтаксисе второстепенный член предложения, обозначающий признак, качество, свойство предмета.
Новый!!: Суждение и Определение (синтаксис) · Узнать больше »
Аналитическое суждение
Аналити́ческое сужде́ние — суждение, которое не привносит никакой новой информации об объекте.
Новый!!: Суждение и Аналитическое суждение · Узнать больше »
Силлогистические теории
Силлогистика (συλλογιστικός умозаключающий) — теория логического вывода, исследующая умозаключения, состоящие из т. н.
Новый!!: Суждение и Силлогистические теории · Узнать больше »
Синтетическое суждение
Синтети́ческое сужде́ние — суждение, расширяющее и добавляющее информацию об объекте.
Новый!!: Суждение и Синтетическое суждение · Узнать больше »
Тождество (математика)
То́ждество (в математике) — равенство, выполняющееся на всём множестве значений входящих в него переменных, например: Иногда называют тождеством также равенство, не содержащее никаких переменных; напр.
Новый!!: Суждение и Тождество (математика) · Узнать больше »
Математическая логика
Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики.
Новый!!: Суждение и Математическая логика · Узнать больше »
Высказывание (логика)
Выска́зывание — в математической логике предложение, выражающее суждение.
Новый!!: Суждение и Высказывание (логика) · Узнать больше »
Вывод (рассуждение)
Вывод (conclusio) в логике — процесс рассуждения, в ходе которого осуществляется переход от некоторых исходных суждений (предпосылок) к новым суждениям — заключениям.
Новый!!: Суждение и Вывод (рассуждение) · Узнать больше »