|
Mötəbər (dəqiq) hökmlər kifayət qədər əsaslandırılmış olur.Onların həqiqiliyi və ya
yalanlığı,ya bilavasitə yoxlama yolu ilə,yaxud da dolayısı ilə,yəni empirik və nəzəri
müddəalar vasitəsilə aşkara çıxarılır.Bu qəbildən olan hökmlərin modallığı aşağıdakı iki
operatorla ifadə olunur: sübutetmə(verifikasiya)-V ilə işarə olunur və təkzib etmə
(falsifikasiya)-F ilə işarə olunur.Əgər P hökmü kifayət qədər əsaslandırılmışdırsa,onda o
sübut edilmişdir.Simvolik yazılışı:-Vp.Əgər hökmün inkarı kifayət dərəcədə
əsaslandırılmışdırsa,yəni qeyri-P-dirsə,bu halda da hökm sübuta yetirilmiş hesab olunur.
Dostları ilə paylaş: | 
