NEW
Font size
WorksheetsДискретная
Total questions: 17
Worksheet time: 6mins
Б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 болады
элементарлық конъюнкциялар деп...
n атомдардан немесе олардың терiстеулерiнен құрылған конъюнкцияларды айтады
тек қана n атомдардан құрылған конъюнкцияларды айтады
n атомдардың терiстеулерiнен құрылған конъюнкцияларды айтады
n атомдардан құрылған дизъюнкцияларды айтады
n атомдардың терiстеулерiнен құрылған дизъюнкцияларды айтады
Жетiлген дизъюнктивтi нормалды форма (ЖДНФ) деп.
элементарлық конъюнкциялардан құрылған дизъюнкцияны атайды
элементарлық дизъюнкциялардан құрылған дизъюнкцияны атайды
элементарлық конъюнкциялардан құрылған конъюнкцияны атайды
Элементарлық дизъюнкциялардан құрылған конъюнкцияны атайды
кезкелген дизъюнкциялардан құрылған дизъюнкцияны атайды
Элементарлық дизъюнкциялар деп...
n атомдардан Р1,...,Рn немесе олардың терiстеулерiнен құрылған дизъюнкцияларды айтады
тек қана n атомдардан құрылған дизъюнкцияларды айтады
тек қана n атомдардың терiстеулерiнен құрылған дизъюнкцияларды айтады
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р шын деген мәнді қабылдаса
Егер аRа болса, онда R қатынасы…деп аталады?
рефлексивтi
антисиметриялы
симметриялы
байланысты
антирефлексивтi
Егер аRв ⟹ вRа болса, онда R қатынасы А жиынында ..., деп аталады?
симметриялы
антирефлексивтi
рефлексивтi
антисиметриялы
связным (байланысты)
