Следы логики в математике

Если правильно понял задачу
вывод = решение
обобщение = нахождение точек пересечения
ограничение = уменьшение количества независимых переменных (аргументов)
аргумент = уравнение
конъюнкция = нахождение общих решений уравнений
дизъюнкция = объединение всех решений уравнений
отрицание = инверсия множества решений (все кроме...)
частный случай = подмножество решений

Это все понятия логики, которые смог найти в интернете (к ним и подобрал аналог операций/понятий в математике). Просто странно приравнивать конъюнкцию к сложению, учитывая что логика оперирует уравнениями, а не переменными. То есть запись "A AND B" это по сути не сумма переменных, а пересечение решений уравнений "A=1 AND B=1", где A и B - некие функции.

Ну, логику не изучал (знаком на уровне программирования), потому если что не так, сорри :)

Но если направление мысли понравилось - пишите. Постараюсь продолжить список.

КМК, погуглили бы вы представления/изоморфизм булевых алгебр. Вдруг что-то найдется полезное даже для философа.

Я считаю что если выпил, нужно не задавать вопросов

Следы женской логики имеются везде, в том числе и в математике.

Есть такое понятие как предмет- математическая логика. Подними учебник. Можно посмотреть каждое понятие в поиске Гугла например конгруэнтность,
Это связано с применением математики и логики суждений которые имеют свои закономерности как и в философии. Это полгода практики.

А тебе неравенства и равенства не хватает.
Вообще математика в своей сущности это строгая логика. Я тебе конкретные примеры привести не могу, но если тебе так интересно, заимись математикой.

Искусственный интеллект написать хочешь? :))

Я двоечник я умножение не знаю

Не уверен, что такое сопоставление понятий, будет удачным) Дело в том, что в математике широко используются все названные Вами логические операции, и в общем-то законы логики лежат в основе математики. Поэтому не стоит разделять математику и логику)) Отрицание и инверсия - это одно и то же, просто названия разные. То же самое можно сказать про следование и импликацию, равнозначность и эквивалентность. Что касается конъюнкции и дизъюнкции, то параллель со сложением и умножением не совсем очевидна:). Просто если считать, что логические переменные при истине принимают значение "1", а при лжи "0", то тогда конъюнкцию удобно рассматривать как умножение этих нулей и единичек, а дизъюнкцию как сложение (учитывая, что 1+1=1). Такой подход очень удобный, поэтому иногда конъюнкцию называют логическим умножением, а дизъюнкцию логическим сложением. Что касается функции - это фундаментальное понятие математики, восходящее скорее к теории множеств. Но, кончено, ничто не мешает построить эту функцию по какому-нибудь логическому принципу. Скажем, функция, которая аргументу сопоставляет его отрицание.

Следы логики в математике всегда есть

Никакой логики тратить время.

Логика не просматривается: функция и аргумент.

трудна

Не уверен, что такое сопоставление понятий, будет удачным) Дело в том, что в математике широко используются все названные Вами логические операции, и в общем-то законы логики лежат в основе математики. Поэтому не стоит разделять математику и логику)) Отрицание и инверсия - это одно и то же, просто названия разные. То же самое можно сказать про следование и импликацию, равнозначность и эквивалентность. Что касается конъюнкции и дизъюнкции, то параллель со сложением и умножением не совсем очевидна:). Просто если считать, что логические переменные при истине принимают значение "1", а при лжи "0", то тогда конъюнкцию удобно рассматривать как умножение этих нулей и единичек, а дизъюнкцию как сложение (учитывая, что 1+1=1). ну как бы так

Хм