Логиката и множествата

Какво е множество

Множеството е сбор от ясно определени обекти, разглеждани като едно цяло. Може да е множеството на учениците в класа, на четните числа, на буквите в азбуката. Важното е винаги да е ясно кои обекти влизат в множеството и кои не.

Елементи на множеството

Обектите, които съставят едно множество, се наричат негови елементи. Числото 3 е елемент на множеството на нечетните числа; буквата „а" е елемент на множеството на гласните. Едно множество може да има малко, много или дори безброй елементи.

Записване на множество

Множество се записва с фигурни скоби, в които изброяваме елементите, разделени със запетаи. Например множеството на първите три естествени числа е {1, 2, 3}. Редът на изброяване няма значение, а един и същ елемент не се повтаря.

Принадлежност

Когато един обект е елемент на множество, казваме, че той принадлежи на множеството. Числото 2 принадлежи на множеството {1, 2, 3}, но числото 5 не му принадлежи. Така за всеки обект можем ясно да кажем дали е вътре, или не.

Подмножество

Едно множество е подмножество на друго, ако всичките му елементи се съдържат в другото. Множеството {1, 2} е подмножество на {1, 2, 3}, защото и 1, и 2 са в по-голямото множество. Подмножеството е „по-малка част" от по-голямо множество.

Обединение на множества

Обединението на две множества е ново множество, което съдържа всички елементи и на двете (без повторения). Обединението на {1, 2} и {2, 3} е {1, 2, 3}. Все едно слагаме всичко от двете множества заедно в едно.

Сечение на множества

Сечението на две множества съдържа само общите им елементи. Сечението на {1, 2, 3} и {2, 3, 4} е {2, 3}, защото само те са и в двете. Сечението показва какво двете множества имат общо помежду си.

Празно множество

Множество, което няма нито един елемент, се нарича празно множество. Например множеството на числата, които са едновременно четни и нечетни, е празно, защото такива числа няма. Празното множество е важно понятие, макар да изглежда необичайно.

Какво е логика

Логиката изучава правилното мислене и разсъждение. В нея всяко твърдение е или вярно (истинно), или невярно (лъжливо), но не и двете едновременно. „Числото 4 е четно" е вярно твърдение; „5 е по-голямо от 8" е невярно. Логиката ни учи да преценяваме точно.

Логически съюзи

С думите „и", „или" и „не" свързваме твърдения. Твърдение с „и" е вярно само ако и двете части са верни; с „или": ако поне едната е вярна; „не" обръща истинността. Тези съюзи правят разсъжденията ни точни и са основа на работата на компютрите.

Логиката в живота и компютрите

Логиката не е само в математиката. Когато решаваш пъзел, проверяваш дали извод следва от факти или програмираш, използваш логика. Компютрите работят изцяло на логически правила (вярно и невярно, и, или, не). Затова логичното мислене е ценно умение навсякъде.

Чести грешки

Не бъркай обединение със сечение: обединението събира всичко, сечението оставя само общото. Внимавай и с логическото „или": в математиката то значи „поне едното", а не „точно едно от двете". И помни, че едно твърдение не може да е едновременно вярно и невярно.

Венова диаграма

Множествата се изобразяват нагледно с кръгове (Венова диаграма). Два застъпващи се кръга показват две множества: общата им част е сечението, а всичко в двата кръга заедно: обединението. Този чертеж прави абстрактните множества видими и помага да решаваме задачи по-лесно.

Стъпка по стъпка: обединение и сечение

Имаме A = {1, 2, 3, 4} и B = {3, 4, 5}. Обединението събира всичко без повторения: {1, 2, 3, 4, 5}. Сечението оставя само общите: {3, 4}. Винаги първо намираш общите елементи (сечение), после слагаш всичко заедно (обединение).

Логиката в програмирането

Компютрите работят изцяло на логика. Всяко решение в програмата е условие, което е вярно или невярно, а съюзите „и", „или", „не" комбинират условията. Например „ако е събота И е слънчево, иди на разходка". Затова логичното мислене е първата стъпка към програмирането.

Кратко обобщение

Множеството е сбор от ясно определени обекти (елементи), записан с фигурни скоби. Едно множество е подмножество на друго, ако всичките му елементи са в него. Обединението събира всичко, сечението оставя общото. Логиката работи с верни и неверни твърдения и съюзите „и", „или", „не".