Մտածողական անհրաժեշտ դատողություն, նախադասության առաջարկ, ըստ որի ամեն մի եզրակացություն կամ վճիռ անհրաժեշտ է, եթե հնարավոր է և ճիշտ: Որոշ փիլիսոփաներ (օրինակ Ա. Ջ. Այերը) գտնում են, որ տրամաբանության և մաթեմատիկայի ճշմարտությունները անհրաժեշտություններ են, քանի որ նրանք ապրիորի են: Ապրիորի են պարզապես այն պատճառով, որ նրանք վերլուծական են. նմանապես կարելի է պնդել, որ պատահական, ապոստրեիորի և համադրական արժեքները լրիվ փոխարինում են միմյանց: