Елементи на логика: твърдения, отрицания и импликации

от Стефан Стратиев, 04/08/2026

Въведение

Логиката е като „граматика“ на математиката: тя ни учи как да формулираме ясни твърдения и как да правим коректни изводи. В училище често решаваме задачи „по навик“, но логиката обяснява защо дадено разсъждение е вярно и кога не е. В тази статия ще разгледаме най-важните елементи на математическата логика на ниво 11–12 клас:

• какво е твърдение и какво не е;
• как се образува отрицание и как работят правилата на де Морган;
• какво означава импликация A ⇒ B и защо се бърка толкова често;
• какво е контрапозиция и защо е еквивалентна на импликацията;
• какво са квантори „за всяко“, „съществува“ и как правилно се отричат.

Накрая има кратък тест с отговори и идеи за домашно упражнение.

1. Основни понятия

1.1. Твърдение

Твърдение е изречение, за което можем еднозначно да кажем дали е вярно или невярно. Примери за твърдения:

• „7 е просто число.“ — вярно.
• „София е столица на България.“ — вярно.
• „Съществува число x, такова че x² = 2.“ — вярно. Не са твърдения:
• „Отвори прозореца!“ — заповед, не може да е вярно/невярно.
• „Кое е най-красивото число?“ — въпрос.
• „Този филм е страхотен.“ — субективно, няма еднозначна истинност.

Истинностна стойност на твърдение е „вярно“ обозначаваме с И или „невярно“ обозначаваме с Л.

1.2. Отрицание ¬A

Отрицанието на твърдение A се означава с ¬A и означава „не е вярно, че A“. Примери:

• A: „Днес вали.“
• ¬A: „Днес не вали.“
• A: „x е четно число.“
• ¬A: „x не е четно число.“ т.е. x е нечетно, ако x е цяло

Важно: отрицанието не е „обратното“ в житейски смисъл, а логическото „не“.

1.3. Конюнкция и дизюнкция: A ∧ B, A ∨ B

• Конюнкция A ∧ B означава „A и B“. Тя е вярна само ако и двете твърдения са верни.
• Дизюнкция A ∨ B означава „A или B“ в математиката „или“ обикновено е включващо — може и двете. Тя е вярна ако поне едно от твърденията е вярно.

Таблици за истинност:

1.4. Импликация A ⇒ B

Импликацията A ⇒ B се чете „ако A, то B“. Тук:

• A се нарича условие или предпоставка,
• B се нарича заключение.

Таблицата й за истинност е:

Това е най-неинтуитивната част: когато A е лъжа, импликацията A ⇒ B се счита за вярна, защото твърдението „ако A, то B“ не е нарушено — A не се е случило.
Пример: „Ако едно число се дели на 4, то се дели на 2.“ — вярно.

• Ако числото се дели на 4 A=И, то наистина се дели на 2 B=И.
• Ако числото не се дели на 4 A=Л, твърдението не казва нищо конкретно за делимостта на 2 — затова импликацията остава вярна.

1.5. Еквивалентност A ⇔ B

Еквивалентността A ⇔ B означава „A е еквивалентно на B“, „A тогава и само тогава, когато B“. Тя е вярна, когато A и B имат една и съща истинностна стойност:

2. Таблици за истинност (интуитивно)

Таблиците за истинност са „калкулатор“ за логически изрази: дават стойността на сложен израз за всички възможни комбинации на истинностите на простите твърдения.
Пример: Да намерим стойността на ¬A ∨ B за всички случаи.

Сравнете тази колона с таблицата за истинност на A ⇒ B — ще видите, че са еднакви. Това ни води до важна формула.

3. Важни еквивалентности и правила

3.1. Импликация като ¬A ∨ B

Една от най-важните еквивалентности е:

A ⇒ B ⇔ ¬A ∨ B

Това означава, че „ако A, то B“ е логически равносилно на „или A не е вярно, или B е вярно“. Тази формула е удобна, когато искаме да преобразуваме изрази или да отричаме импликации.

3.2. Контрапозиция

Контрапозиция на импликацията A ⇒ B е твърдението:

¬B ⇒ ¬A

И най-важното:

A ⇒ B ⇔ ¬B ⇒ ¬A

Пример: „Ако число е кратно на 4, то е четно.“Контрапозиция: „Ако число не е четно, то не е кратно на 4.“И двете твърдения са вярни и казват едно и също, но по различен начин.

3.3. Правила на де Морган

За отрицание на „и“ и „или“ важат правилата на де Морган:

¬A ∧ B ⇔ ¬A ∨ ¬B

¬A ∨ B ⇔ ¬A ∧ ¬B

Интуиция:

• „Не е вярно, че A и B“ означава „поне едно от тях не е вярно“.
• „Не е вярно, че A или B“ означава „и двете не са вярни“.

4. Квантори: „за всяко“ и „съществува“

Когато твърдението съдържа променлива x, например „x > 0“, то само по себе си не е твърдение, докато не уточним за кои x говорим.

4.1. Универсален квантор ∀

∀x, P(x) означава: „за всяко x е вярно P(x)“. Пример: „За всяко естествено число n, n+1 > n.“ Запис: ∀n ∈ ℕ; n+1 > n.

4.2. Съществувателен квантор ∃

∃x, P(x) означава: „съществува x, за което е вярно P(x)“. Пример: „Съществува цяло число k, такова че k² = 9.“ Запис: ∃k ∈ ℤ; k² = 9.

4.3. Отрицание на квантори

Това е една от най-важните теми, защото често се среща в задачи и доказателства. Правилата са:

¬∀x, P(x) ⇔ ∃x, ¬P(x)

¬∃x, P(x) ⇔ ∀x, ¬P(x)

Тоест:

• „Не е вярно, че за всяко x е вярно P(x)“ означава „съществува x, за което P(x) не е вярно“.
• „Не е вярно, че съществува x, за което P(x) е вярно“ означава „за всяко x, P(x) не е вярно“.

Пример 1: Отречете: „Всички ученици са подготвени.“Отрицание: „Съществува ученик, който не е подготвен.“ Пример 2: Отречете: „Съществува решение на уравнението.“Отрицание: „Няма решения.“ или: „За всяко x уравнението не е изпълнено.“

5. Примери стъпка по стъпка

Пример 1: Отрицание на съставни твърдения (де Морган)

Да отречем твърдението: „Ученицата/ученикът реши задачата и предаде работата навреме.“ Нека:

• A: „Задачата е решена.“
• B: „Работата е предадена навреме.“

Тогава изходното твърдение е A ∧ B. Отрицанието е:

¬(A ∧ B) ⇔ ¬A ∨ ¬B

С думи: „Или задачата не е решена, или работата не е предадена навреме (или и двете).“ Важно: неправилно е да кажем „Задачата не е решена и работата не е предадена навреме“ — това е твърде силно.

Пример 2: Импликация и контрапозиция

Да разгледаме: „Ако число n е кратно на 6, то е кратно на 3.“ Нека:

• A: „n е кратно на 6.“
• B: „n е кратно на 3.“

Твърдението е A ⇒ B. Контрапозицията е:

¬B ⇒ ¬A

Тоест: „Ако n не е кратно на 3, то n не е кратно на 6.“ Това често е по-лесно за доказване, защото „не е кратно на 3“ означава, че n има остатък 1 или 2 при деление на 3 и тогава няма как да бъде кратно на 6.

Пример 3: Превод от естествен език към символична логика

Изречение: „Ако утре вали, то няма да излезем, освен ако имаме чадър.“
Нека:

• R: „Утре вали.“
• E: „Излизаме.“
• U: „Имаме чадър.“

Фразата „няма да излезем, освен ако имаме чадър“ се тълкува като:ако излизаме, значи имаме чадър: (E ⇒ U).Но в контекст на „ако вали, няма да излезем, освен ако имаме чадър“ по-естественият училищен модел е:

• ако вали и нямаме чадър, тогава не излизаме:

R ∧ ¬U ⇒ ¬E

Този пример показва, че преводът към символи не е механичен — трябва внимателно да се уточни смисълът.

6. Чести грешки

1. Смесване на импликация с еквивалентност „Ако A, то B“ не означава „A тогава и само тогава, когато B“. Например: „Ако число е кратно на 4, то е четно“ е вярно, но обратното „ако е четно, то е кратно на 4“ е невярно.
2. Буквално отричане без де Морган ¬(A ∧ B) не е ¬A ∧ ¬B. Трябва да се превключи „и“ ↔ „или“.
3. Неправилно отрицание на квантори „Не всички x имат свойство“ не означава „никой x няма свойство“. Означава „има поне един x, който няма свойството“.
4. Забравяне на областта на променливата „∀x; x² ≥ 0“ е вярно за реални числа, но ако не кажем „x ∈ ℝ“, изречението е неясно.

7. Кратък тест (с отговори)

Задача 1

Отречете твърдението: „Всички x са по-големи 0.“ Запис: ∀x; x > 0
Отговор:

(¬∀x; x > 0) ⇔ ∃x; ¬(x > 0) ⇔ ∃x; (x ≤ 0)

С думи: „Съществува x, такова че x ≤ 0.“

Задача 2

Кое е еквивалентно на A ⇒ B?
Отговор: ¬A ∨ B. Също така еквивалентна форма е контрапозицията ¬B ⇒ ¬A.

Задача 3

Отречете: „A или B“.
Отговор:

¬(A ∨ B) ⇔ (¬A ∧ ¬B)

8. Домашно упражнение (10 кратки задачи)

1. Отречете: „Днес е понеделник и вали.“
2. Отречете: „Ще уча или ще почивам.“
3. Запишете с логически символи: „Ако n е кратно на 10, то е кратно на 5.“
4. Напишете контрапозицията на задачa 3.
5. Кое е отрицанието на „Съществува реално x, за което x² < 0“?
6. Отречете: „За всяко цяло k, k² е четно.“
7. Създайте таблицата за истинност за A ∧ (¬A ∨ B).
8. Проверете чрез таблица еквивалентността A ⇒ B ⇔ ¬A ∨ B.
9. Дайте пример за вярна импликация, при която A е лъжа.
10. Обяснете с думи разликата между „ако“ и „тогава и само тогава, когато“.