40
Жорамалды жиі «теорема» деп атайды, осыдан термин «теоремаларды
автоматты түрде дәлелдеу» шығады. Бұл кәдімгі
рекурсивті логикалық
шығару, кӛбінесе, қарар кӛмегімен. Осындай шығарудың нәтижесі «Иә»
(егер дұрыс теңдік алынса) немесе «Жоқ» (егер бос формула алынса) болып
шығады.
Достарыңызбен бөлісу: