Олонлог логикийн элементүүд Лекц№7

1. A B C A ˅ B A ˅ C A ˅ C
(A ˅ B) ˄ (A ˅ C)
Өмнөх хичээлийг нөхөх зорилгоор энэ хүснэгтийг гүйцээнэ үү?

2. ОБЬЕКТУУДЫН ТАНИН
МЭДЭХҮЙН БОДЛОГО БОДОХ
Лекц №7
2016-04-27

3. Обьектийн танин мэдэхүйн бодлого
• Ухагдахууны агуулга, багтаамжийг сэргээж
унших
• 33-р хуудас
• A={x│xC ба P(x)} тайлж бич.

4. Обьектийн танин мэдэхүйн дүрэм
• xC
• xC => xA
• xC => P(x)
• P(x)=> xA
• P(x) биш => xA

5. Квантортой хэллэг
• - ерөнхийллийн квантор
• -оршин байхын квантор
• х- дурын х тоо
• n- n тоо оршин байна

6. Квантортой өгүүлбэр
• A-оюутны олонлог
• В-Үйлчилгээний ажилчдын олонлог
• а(AВ)
• aA автобусанд үнэгүй зорчино.

7. Ерөнхийллийн квантор
• Бүх
• Дурын
• Ямар ч
• ...

8. Оршин байхын квантор
• Зарим нь
• Олдоно
• Ядаж нэг нь
• !

9. Асуулт
• Квантор агуулсан хэллэгийн үнэний утгыг
хэрхэн тогтоох вэ?
• 36-р хуудас унших
• Бичих

10. Няцаах жишээ гэж юу вэ?
• 36-р хуудас унш
• Тодорхойлж бичиж, жишээ гарга.

11. Де Морганы хууль
• 38-р хуудас унших
• Бичих

12. Квантор агуулсан хэллэгийн
үгүйсгэлийг хэрхэн үүсгэх вэ?
• 38-р хуудас унших
• Жишээг уншиж төстэй жишээ гаргах

13. Мөрдөн гарах
• 39-р хуудас унших
• =>
• Бичих

14. Жишээ
• x, x 3 ˄ x N
• n, nN
