Диаграмма Эйлера-Венна как геометрическая схема, с помощью которой можно изобразить отношения между подмножествами для наглядного представления. Дизъюнкция - операция логики, отражающая употребление союза "или" в содержательных логических выводах.
Аннотация к работе
Первые учения о формах и способах рассуждений возникли в странах Древнего Востока (Китай, Индия), но в основе современной логики лежат учения, созданные в 4 веке до нашей эры древнегреческими мыслителями. Логика изучает внутреннюю структуру процесса мышления, который реализуется в таких естественно сложившихся формах как понятие, суждение, умозаключение и доказательство. Высказывание (суждение) - это форма мышления, выраженная с помощью понятий, посредством которой что-либо утверждают или отрицают о предметах, их свойствах и отношениях между ними. Операция логики, отражающая употребление союза "и" в содержательных логических выводах; заключается в образовании из двух конъюнкций - либо высказываний (или форм высказываний) А и В такого сложного высказывания (формы высказываний), которое истинно лишь тогда, когда истинны оба высказывания А и B (конъюнкцией часто называют и то высказывание, которое получается в результате применения операции конъюнкции). В классической двузначной логике высказываний слабую дизъюнкцию можно рассматривать как операцию образования из произвольных высказываний А и В такого сложного высказывания которое истинно, если, и только если, истинно по крайней мере одно из составляющих высказываний, а сильную дизъюнкцию - как операцию образования такого высказывания, которое истинно, если истинно одно, и только одно, из высказываний А и В, и ложно в остальных случаях.Между множествами (объемами понятий) могут быть различные виды отношений: - равнозначность, когда объемы понятий полностью совпадают; подчинения, когда объем одного понятия полностью входит в объем другого и т.д.