Professional Documents
Culture Documents
Д. 1
Д. 1
Дејан Спасов
Емаил: dejan.spasov@finki.ukim.mk
Општи работи
• 3 часа неделно предавања
• 3 часа неделно вежби
• Снимање – нема
• 2 колоквиуми
• Мин од секој колоквиум 35%
• Збирот од двата колоквиуми поголем од 50%
• Учебник:
• Автор: Kenneth H. Rosen
• Наслов: DISCRETE MATHEMATICS AND ITS APPLICATIONS
• Издание: 6то или 7мо
Исказно сметање
Исказна логика
Исказно сметање
• Наука за искази
• Што е тоа исказ:
• Исказ е декларативна реченица која може да биде точна или неточна но не и
двете
• Декларативна – има одреден смисол или значење
• Пример:
• Надвор врне
• 3>5
• 2х=5 – не е исказ
• Колку е часот – не е исказ
• Во даден момент или ситуација може да не ја знаете вистинитосната
вредност на исказот
• Утре ќе врне
Историја
• Аристотел -350 год.
• Нема напредок 2000 години
• Модерната логика започнува во 1850 год со Џорџ Бул Boole
Исказни променливи
• Пример исказот „Надвор врне” можеме да го замениме со мала
латинична буква p, q, r, s, t ....
• Булова алгебра
• Пишуваме
• p: надвор врне
• q: 3>5
• p, q, r, s, t .... Се викаат исказни променливи
• p, q, s елементарни искази
• Сега ќе правиме сложени искази
Сложени искази
• Елементарен исказ
• 3>5
• Сложен исказ
• Не е точно дека 3>5
• Ознака за негација: ¬𝑝
𝑝 ¬𝑝
Т ^
• Ova ¬𝑝 e isto taka iskaz
^ Т
• Штом е исказ – може да биде Т или ^
Како да направиме сложен исказ
• Како правиме сложени реченици?
• Со сврзници И, ИЛИ
• Ознака: p ∧ q
Оператор 2: Конјункција
• Имаме два искази p, q:
p q p∧q
T T T
^ T ^
T ^ ^
^ ^ ^
Оператор #3: Дисјункција
• Имаме два искази p, q:
• Пример:
• p: надвор врне
• q: 3>5
p q p∨q
p q p∨q
T T ^
T T T
^ T Т
^ T T
T ^ Т
T ^ T
^ ^ ^
^ ^ ^
Пример
• Компанија А:
• нашиот радар работи во временски домен или во фреквентен домен
• Компанија Б:
• Нашиот радар работи во временски домен и во фреквентен доме
Оператор #5: Импликација
• Превод од англиски: Условен исказ
• Имаме два искази p, q:
• Пример:
• p: надвор врне
• q: 3>5
• Импликација е исказот: „ако надвор врне, тогаш 3>5”
• Ако p, тогаш q
• Ознака p→q
Оператор #5: Импликација
• Имаме два искази p, q:
• Пример:
• p: Јас напорно решавам задачи ДМ
• q: Јас ќе положам ДМ
p q p→q
• Ако p, тогаш q T T Т
^ T Т
• Ознака p→q
T ^ ^
^ ^ Т
Оператор #5: Импликација
• Пример: • Пример:
• p: Ти ќе положиш ДМ • p: Ти ќе положиш ДМ
• q: Јас ќе ти купам ајфон • q: Јас ќе ти купам ајфон
• Ако положиш ДМ, ќе ти купам • Само ако положиш ДМ, ќе ти
ајфон купам ајфон
• Ознака p→q • Ознака q→p
p q p→q p q q→p
T T Т T T Т
^ T Т ^ T ^
T ^ ^ T ^ Т
^ ^ Т ^ ^ Т
Оператор #5: Импликација
• На полагање што да правиме?
• (q Ú (¬ r)) ® p
1. p Ú q
2. ¬ p
3. p ® q
• Дали системот е конзистентен?
• За која комбинација на променливите p, q исказот 1 ќе е Т,
исказот 2 ќе е Т и исказот 3 ќе е Т
Системски Спецификации
1. p Ú q
2. ¬ p
3. p ® q
• Дали системот е конзистентен?
• Кога 2. е Т
• Одговор: кога p e T
• ВНИМАНИЕ: не пишуваме p=T
• Пишуваме р е Т или 𝜏 𝑝 = 𝐹
Системски Спецификации
1. p Ú q
2. ¬ p
3. p ® q
• Дали системот е конзистентен?
• Кога 1. е Т
• Odgovor: koga 𝜏 𝑞 = 𝑇
• P e netocno sto znaci 3. e T
• Заклучок: системот е конзистентен за 𝜏 𝑝 = 𝐹 и 𝜏 𝑞 = 𝑇