Лекция Тұжырымдар алгебрасы Тұжырымдардың Буль алгебрасы. Жетілдірілген формалар. Логикалық амалдардың толықтығы


Логикалық амалдардың толық жүйесі



бет4/7
Дата07.02.2022
өлшемі227,39 Kb.
#84661
түріЛекция
1   2   3   4   5   6   7
Байланысты:
2-лек.МЛДМ (1)

3. Логикалық амалдардың толық жүйесі.

Анықтама. функциясын түрінде белгілейміз және Шеффер сызығы деп атаймыз.
Анықтама. функциясын түрінде белгілейміз және Пирс бағыты деп атаймыз.
Анықтама. Конъюнкция, дизъюнкция, кері амал, импликациядан тұратын жиынды логикалық амалдардың толық жүйесі деп атайды.
Лемма . Логикалық амалдардың келесі жиындары
1) ,
2) ,
3)
толық жүйе құрайды.
Дәлелдеуі. Толық жүйенің көмегімен тұжырымдар алгебрасының кез келген күрделі формуласын жазуға болатындығы белгілі.

  1. Сондықтан, жиынның толық жүйе болатындығын көрсету үшін дизъюнкция мен импликация амалдарын осы амалдар арқылы өрнектеуге болатындығын көрсетсек жеткілікті.

Де Морган заңы бойынша
;
.
2),3) дәлелдеуін оқушыларға қалдырамыз.
Лемма. , жиындары логикалық амалдардың толық жүйесін құрамайды.
Дәлелдеуі. Кері амалды конъюнкция, импликация, дизъюнкция амалдарының көмегімен өрнектеу мүмкін емес.


Достарыңызбен бөлісу:
1   2   3   4   5   6   7




©engime.org 2024
әкімшілігінің қараңыз

    Басты бет