| Анықтама. Өзі де формула болатын берілген формуланың ішкі сөзін ішкі формула дейміз.
Енді формулалардыңмағынасына көңіл аударалық. Әрбір пікір не ақиқат, не жалған мән қабылдауға тиіс. Ал кез келген формуланың ақиқаттық мәні – құрамындағы қарапайым пікірлердің ақиқаттық мәндерімен толық анықталады. Сондықтан формулалардыңақиқаттық мәнін анықтау үшін, алдымен ақиқаттықфункцияұғымын енгіземіз.
Анықтама. әріптері берілсін. Кез келген n функциясы ақиқаттық функция деп аталады.әріптерінің n функциясы бойынша бейнелерінің тізбегін ақиқаттық мәндердіңорналасуы деп айтамыз.
Төмендегі индукциялық анықтама – ақиқаттық ұғымын бүкіл пікірлер логикасыныңформулалар жиынына ұлғайтуға мүмкіндікбереді.
Достарыңызбен бөлісу: | 
