Worksheets1-25
Total questions: 25
Worksheet time: 13mins
. Келесi берiлген сөздерден пiкiрлер алгебрасының формулаларын табыңдар.
Келесi берiлген сөздерден пiкiрлер алгебрасының формулаларын табыңдар
Келесi берiлген сөздерден пiкiрлер алгебрасының формулаларын табыңдар
Келесi берiлген сөздерден пiкiрлер алгебрасының формулаларын табыңдар.
Бiрiншi импликативтiк мүше қалай аталады.
атом
консеквент
антецедент
импликация
шындық функция
Екiншi импликативтiк мүше қалай аталады?
шындық функция
антецедент
импликация
консеквент
атом
Қай логикалық операцияны келесi таблица көрсетедi
А эквиваленция В
А дизъюнкция В
А терiстеу
А импликация В
А конъюнкция В
Қай логикалық операцияны келесi таблица көрсетедi .
А импликация В
А конъюнкция В
А дизъюнкция В
А терiстеу
А эквиваленция В
. Пiкiрлер алгебрасының А формуласының интерпретациясы деп.
А формуласына кiретiн атомдардың шын мәндерiнiң тек сонғы жиынын айтамыз
А формуласына кiретiн атомдардың шын мәндерiнiң тек бiрiншi жиынын айтамыз
А формуласына кiретiн атомдардың шындық мәндерiнiң кез келген жиынын айтамыз
А формуласына кiретiн атомдардың жалған мәндерiнiң жиынын айтамыз
А формуласына кiретiн атомдардың тек шын мәндерiнiң жиынын айтамыз
Пікірлер алгебрасының формулаларының интерпретациясының саны неге тең
2⋅n
2n
22n
2⋅2n
2⋅2⋅n
Формуланың шындық таблицасы деп
формуланың тек шын мәндерiнен құрастырылған таблицаны атайды
формуланың тек жалған мәндерiнен құрастырылган таблицаны атайды
формуланың неше түрлi интерпретацияларынан және формуланың мәндерiнен құрастырылған таблицаны атайды
формуланың шындық мәндерiнен құрастырылған таблицаны атайды
формуланың неше түрлi интерпретацияларынан құрастырылған таблицаны атайды
А және В формуларын тепе-тең формулалар дейдi, егер...)
А жяне В формулалардың тек жалған интерпретацияларында осы формуларлардың мәндерi тең болса
А және В формулалардың тек шын интерпретацияларында осы формулалардың мәндерi тең болса
А және В формуладардың интепретацияларының сандары тең болса
А және В формулаларға кiретiн атомдардың сандары бiрдей болса
А және В формулалардың барлық интерпретацияларында осы формулалардың шындық мәндерi тең болса
Тепе-тең формулаларда...
логикалық операциялардың саңдары тең болады
шындық таблицалары тең болады
формулаға кiретiн атомдардын саны тең болады
интерпретацияларының сандары тең болады
тек шын мәндерi болады
элементарлық конъюнкциялар деп...
n атомдардан немесе олардың терiстеулерiнен құрылған конъюнкцияларды айтады
тек қана n атомдардан құрылған конъюнкцияларды айтады
n атомдардың терiстеулерiнен құрылған конъюнкцияларды айтады
n атомдардан құрылған дизъюнкцияларды айтады
n атомдардың терiстеулерiнен құрылған дизъюнкцияларды айтады
Жетiлген дизъюнктивтi нормалды форма (ЖДНФ) деп.
Элементарлық дизъюнкциялардан құрылған конъюнкцияны атайды
элементарлық конъюнкциялардан құрылған конъюнкцияны атайды
элементарлық конъюнкциялардан құрылған дизъюнкцияны атайды
элементарлық дизъюнкциялардан құрылған дизъюнкцияны атайды
кезкелген дизъюнкциялардан құрылған дизъюнкцияны атайды
Элементарлық дизъюнкциялар деп...
n атомдардан Р1,...,Рn немесе олардың терiстеулерiнен құрылған дизъюнкцияларды айтады
Tек қана n атомдардың терiстеулерiнен құрылған конъюнкцияларды айтады
n атомдардан құрылған конъюнкцияларын айтады
тек қана n атомдардан құрылған дизъюнкцияларды айтады
тек қана n атомдардың терiстеулерiнен құрылған дизъюнкцияларды айтады
Жетiлген конъюнктивтiк нормалды форма (ЖКНФ) деп.
элементарлық конъюнкциялардан құрылған дизъюнкцияны айтады
кезкелген конъюнкциялардан құрылған конъюнкцияны айтады
элементарлық дизъюнкциялардан құрылған конъюнкцияны айтады
элементарлыя конъюнкциялардан құрылған коъюнкцияны айтады
элементарлық дизъюнкциялардан құрылған дизъюнкцияны айтады
Жалған болмайтын кезкелген шындық функцияны келесi түрде жаза аламыз.
ВИ
ЭД
ЖКНФ
ЖДНФ
МР
Шынға тең емес кезкелген шындық функцияны келесi түрде жаза аламыз
ВИ
ЭК
ЖКНФ
ЖДНФ
МР
Шындық функциялардың системалары толық деп аталады, егер...
шындық функциялар бойынша системаның барлық функцияларын жаза алсақ
системаның функциясы бойынша бiр де бiр шындық функциясын жазалмасақ
системаның функциясы бойынша тек қана бiр шындық функциясын жазалсақ
бұл системаның функциясы бойынша кез келген емес шындық функцияны жазалсақ
бұл системаның функциясы бойынша кез келген шындық функцияны жаза алсақ
А формуласы жалпы мәндi формула деп аталады, егер:
формулада шын және жалған мәндерiнiң саны тең болса
барлық өзiнiң интерпретациясында жалған мәндi болса
ең болмаса бiр жалған мәнi болса
ол барлық өзiнiң интерпретациясында шын мәндi болса
ең болмаса бiр шын мәнi болса
А формуласы орындалмайтын формула деп аталады, егер
ол ең болмаса бiр шын деген мәнді қабылдаса
ол барлық өзiнiң интерпретациясында жалған мәндi болса
ең болмаса бiр жалған мәндi болса
барлық өзiнiң интерпретасиясында шын мәнді болса
ол формулада шын және жалған мәндерiнiң саны тең болса
. егер |=A және |= A→B . онда:
|=B
|=A
|= A∨B
|= A∧B
|= A∼B
∥=A∼B⟺
A∨B
A∨B
A∧B
A→B
A≡B
Қарама-қайшылық заңы:
B∨A
A∧A
A∨A
A∨B
A∨A
