Шешілімділік мәселесі
Біз берілген формула ақиқат па, жалған ба, әлде орындалатын екенін анықтайтын тәсілдерді қарастырдық, ендеше осы сұрақты формуласы үшін де шешуге болады.
Егер ақиқат формула болса, онда F – жалған формула болады (орындалмайтын).
Егер ақиқат формула болмаса, онда F- жалған формула болмайды, яғни орындалатын формула болады.
Қойылған мәселе «шешілімділік мәселесі» деп аталады.
(Ол тек қана пікірлер алгебрасы үшін ғана емес, басқа да логикалық жүйелер үшін де қойылады).
Пікірлер алгебрасы үшін бұл мәселе оңай шешіледі.
1. F(X1,…,Xn ) – құрамында X1,…,Xn элементар пікірлер бар, пікірлер алгебрасының формуласы болсын.
Бұл формула екі мән қабылдай алатын X1,…,Xn айнымалыларға қатысты қандай-да бір функцияны анықтайды.
X1,…,Xn айнымалыларының мәндерінің мүмкін болатын комбинацияларының саны 2n тең. Кез келген комбинация үшін айнымалылардың мәні кесте арқылы анықталады.
Аталған тәсіл шешілімділік мәселесінің шешуі болып табылады, бірақ өте көп сынау жүргізу керек.
Достарыңызбен бөлісу: |
