12 отношения: Карпенко, Александр Степанович, Квантор, Алгебра логики, Необходимое и достаточное условия, Розенталь, Дитмар Эльяшевич, Суждение, Математическая логика, Бродский, Иосиф Нусимович, Войшвилло, Евгений Казимирович, Логическая операция, Логика высказываний, Логика первого порядка.
Карпенко, Александр Степанович
Алекса́ндр Степа́нович Карпе́нко (псевдонимы Беловежский, Чаха;,, СССР —, Москва, Российская Федерация) — советский и российский философ, специалист в области неклассических логик.
Новый!!: Высказывание (логика) и Карпенко, Александр Степанович · Узнать больше »
Квантор
Ква́нтор — общее название для логических операций, ограничивающих область истинности какого-либо предиката и создающих высказывание.
Новый!!: Высказывание (логика) и Квантор · Узнать больше »
Алгебра логики
Алгебра логики (алгебра высказываний) — раздел математической логики, в котором изучаются логические операции над высказываниями.
Новый!!: Высказывание (логика) и Алгебра логики · Узнать больше »
Необходимое и достаточное условия
Необходимое условие и достаточное условие — виды условий, логически связанных с некоторым суждением.
Новый!!: Высказывание (логика) и Необходимое и достаточное условия · Узнать больше »
Розенталь, Дитмар Эльяшевич
Ди́тмар Элья́шевич Розента́ль (Лодзь, Царство Польское, Российская империя — 29 июля 1994, Москва, Российская Федерация) — советский и российский лингвист, автор многочисленных трудов по русскому языку.
Новый!!: Высказывание (логика) и Розенталь, Дитмар Эльяшевич · Узнать больше »
Суждение
Сужде́ние — мысль, в которой утверждается наличие или отсутствие каких-либо.
Новый!!: Высказывание (логика) и Суждение · Узнать больше »
Математическая логика
Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики.
Новый!!: Высказывание (логика) и Математическая логика · Узнать больше »
Бродский, Иосиф Нусимович
Ио́сиф Нусимович Бро́дский (19 ноября 1924, Харьков — 7 декабря 1994, Санкт-Петербург) — советский и российский логик.
Новый!!: Высказывание (логика) и Бродский, Иосиф Нусимович · Узнать больше »
Войшвилло, Евгений Казимирович
Евге́ний Казими́рович Войшви́лло (14 сентября 1913, Владивосток, Российская империя — 18 декабря 2008, Москва) — советский и российский философ, логик, доктор философских наук (1967), профессор МГУ имени М. В. Ломоносова (1968).
Новый!!: Высказывание (логика) и Войшвилло, Евгений Казимирович · Узнать больше »
Логическая операция
В логике логи́ческими опера́циями называют действия, вследствие которых порождаются новые понятия, с использованием уже существующих.
Новый!!: Высказывание (логика) и Логическая операция · Узнать больше »
Логика высказываний
Логика высказываний, или пропозициональная логика (propositio — «высказывание»), или исчисление высказываний — это раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения.
Новый!!: Высказывание (логика) и Логика высказываний · Узнать больше »
Логика первого порядка
Логика первого порядка, называемая иногда логикой или исчислением предикатов — формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов.
Новый!!: Высказывание (логика) и Логика первого порядка · Узнать больше »