12 отношения: Конъюнкция, Отрицание, Оккам, Уильям, Теорема, Формула включений-исключений, Множество, Морган, Огастес де, Дизъюнкция, Логическая операция, Логика, Логика высказываний, Логика первого порядка.
Конъюнкция
Конъю́нкция (от conjunctio — «союз, связь») — логическая операция, по смыслу максимально приближенная к союзу «и».
Новый!!: Законы де Моргана и Конъюнкция · Узнать больше »
Отрицание
Отрица́ние, инве́рсия (от inversio — «переворот»), логи́ческое «НЕ» в логике — унарная операция над суждениями, результатом которой является суждение (в известном смысле) «противоположное» исходному.
Новый!!: Законы де Моргана и Отрицание · Узнать больше »
Оккам, Уильям
Уи́льям О́ккам (или Оккамский) (William of Ockham; ок., Оккам, графство Суррей, Англия —,, герцогство Бавария, Священная Римская империя) — английский философ, францисканский монах из Оккама, маленькой деревни в графстве Суррей в Южной Англии.
Новый!!: Законы де Моргана и Оккам, Уильям · Узнать больше »
Теорема
Теоре́ма (θεώρημα «доказательство, вид; взгляд; представление, положение») — утверждение, выводимое в рамках рассматриваемой теории из множества аксиом посредством использования конечного множества правил вывода.
Новый!!: Законы де Моргана и Теорема · Узнать больше »
Формула включений-исключений
Формула включений-исключений (или принцип включений-исключений) — комбинаторная формула, позволяющая определить мощность объединения конечного числа конечных множеств, которые в общем случае могут пересекаться друг с другом.
Новый!!: Законы де Моргана и Формула включений-исключений · Узнать больше »
Множество
Мно́жество — одно из ключевых понятий математики; это предельно общее понятие, поэтому его нельзя строго определить через другие математические понятия.
Новый!!: Законы де Моргана и Множество · Узнать больше »
Морган, Огастес де
Огастес (Август) де Мо́рган (Augustus de Morgan,,, Индия —, Лондон) — шотландский математик и логик, профессор математики в Университетском колледже Лондона (1828—1831, 1836—1866).
Новый!!: Законы де Моргана и Морган, Огастес де · Узнать больше »
Дизъюнкция
Дизъю́нкция (от disjunctio — «разобщение»), логи́ческое сложе́ние, логи́ческое ИЛИ, включа́ющее ИЛИ; иногда просто ИЛИ — логическая операция, по своему применению максимально приближённая к союзу «или» в смысле «или то, или это, или оба сразу».
Новый!!: Законы де Моргана и Дизъюнкция · Узнать больше »
Логическая операция
В логике логи́ческими опера́циями называют действия, вследствие которых порождаются новые понятия, с использованием уже существующих.
Новый!!: Законы де Моргана и Логическая операция · Узнать больше »
Логика
гроте изображён Парменид, с которым логическая аргументация проложила себе путь в философию. Ло́гика (λογική — «наука о правильном мышлении», «способность к рассуждению» от λόγος — «рассуждение», «мысль», «разум») — раздел философии, нормативная наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых на логическом языке.
Новый!!: Законы де Моргана и Логика · Узнать больше »
Логика высказываний
Логика высказываний, или пропозициональная логика (propositio — «высказывание»), или исчисление высказываний — это раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения.
Новый!!: Законы де Моргана и Логика высказываний · Узнать больше »
Логика первого порядка
Логика первого порядка, называемая иногда логикой или исчислением предикатов — формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов.
Новый!!: Законы де Моргана и Логика первого порядка · Узнать больше »
Перенаправления здесь:
Правила де Моргана, Правило де Моргана, Закон де Моргана, Законы моргана, Законы Моргана.