Более быстрый доступ, чем браузер!
16 отношения: Modus ponens, Конъюнктивная нормальная форма, Рекурсивное определение, Стрелка Пирса, Сложение по модулю 2, Таблица истинности, Штрих Шеффера, Эквиваленция, Математическая логика, Бродский, Иосиф Нусимович, Высказывание (логика), Войшвилло, Евгений Казимирович, Гильберт, Давид, Дистрибутивность, Дизъюнктивная нормальная форма, Логика первого порядка.
Modus ponens
Modus ponens («правило вывода»): если A и A \to B — выводимые формулы, то B также выводима.
Новый!!: Логика высказываний и Modus ponens · Узнать больше »
Конъюнктивная нормальная форма
Конъюнкти́вная норма́льная фо́рма (КНФ) в булевой логике — нормальная форма, в которой булева формула имеет вид конъюнкции дизъюнкций литералов.
Новый!!: Логика высказываний и Конъюнктивная нормальная форма · Узнать больше »
Рекурсивное определение
Рекурсивное определение или индуктивное определение определяет сущность в терминах её самой (то есть рекурсивно), хотя и полезным способом.
Новый!!: Логика высказываний и Рекурсивное определение · Узнать больше »
Стрелка Пирса
Стре́лка Пи́рса — бинарная логическая операция, булева функция над двумя переменными.
Новый!!: Логика высказываний и Стрелка Пирса · Узнать больше »
Сложение по модулю 2
Рис. 1 График побитового исключающего «или» Сложе́ние по мо́дулю 2 (логи́ческая неравнозна́чность, исключа́ющее «ИЛИ», строгая дизъюнкция, XOR, поразрядное дополнение, побитовый комплемент, жегалкинское сложение, логическое вычитание) — булева функция, а также логическая и битовая операция.
Новый!!: Логика высказываний и Сложение по модулю 2 · Узнать больше »
Таблица истинности
Таблица истинности — это таблица, описывающая логическую функцию.
Новый!!: Логика высказываний и Таблица истинности · Узнать больше »
Штрих Шеффера
Штрих Ше́ффера — бинарная логическая операция, булева функция над двумя переменными.
Новый!!: Логика высказываний и Штрих Шеффера · Узнать больше »
Эквиваленция
Логическая равнозначность или эквивале́нция (или эквивале́нтность) — это логическое выражение, которое является истинным тогда, когда оба простых логических выражения имеют одинаковую истинность.
Новый!!: Логика высказываний и Эквиваленция · Узнать больше »
Математическая логика
Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики.
Новый!!: Логика высказываний и Математическая логика · Узнать больше »
Бродский, Иосиф Нусимович
Ио́сиф Нусимович Бро́дский (19 ноября 1924, Харьков — 7 декабря 1994, Санкт-Петербург) — советский и российский логик.
Новый!!: Логика высказываний и Бродский, Иосиф Нусимович · Узнать больше »
Высказывание (логика)
Выска́зывание — в математической логике предложение, выражающее суждение.
Новый!!: Логика высказываний и Высказывание (логика) · Узнать больше »
Войшвилло, Евгений Казимирович
Евге́ний Казими́рович Войшви́лло (14 сентября 1913, Владивосток, Российская империя — 18 декабря 2008, Москва) — советский и российский философ, логик, доктор философских наук (1967), профессор МГУ имени М. В. Ломоносова (1968).
Новый!!: Логика высказываний и Войшвилло, Евгений Казимирович · Узнать больше »
Гильберт, Давид
Дави́д Ги́льберт (David Hilbert; 23 января 1862 — 14 февраля 1943) — немецкий -универсал, внёс значительный вклад в развитие многих областей математики.
Новый!!: Логика высказываний и Гильберт, Давид · Узнать больше »
Дистрибутивность
Дистрибути́вность (от distributivus «распределительный»), также распределительный закон — свойство согласованности двух бинарных операций, определённых на одном и том же множестве.
Новый!!: Логика высказываний и Дистрибутивность · Узнать больше »
Дизъюнктивная нормальная форма
Дизъюнкти́вная норма́льная фо́рма (ДНФ) в булевой логике — нормальная форма, в которой булева формула имеет вид дизъюнкции конъюнкций литералов.
Новый!!: Логика высказываний и Дизъюнктивная нормальная форма · Узнать больше »
Логика первого порядка
Логика первого порядка, называемая иногда логикой или исчислением предикатов — формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов.
Новый!!: Логика высказываний и Логика первого порядка · Узнать больше »
Перенаправления здесь:
Теория L, Классическое исчисление высказываний, Пропозициональная логика, Истинностное значение, Исчисление высказываний, Исчисления высказываний.
