സാധുതയുടെ കർശനമായ തത്വങ്ങൾ അനുസരിച്ച് യുക്തിസഹമായി നടത്തുകയോ വിലയിരുത്തുകയോ ചെയ്യുന്നു.
ഒരു പ്രത്യേക സിസ്റ്റം അല്ലെങ്കിൽ തെളിവുകളുടെയും അനുമാനത്തിന്റെയും തത്വങ്ങളുടെ കോഡിഫിക്കേഷൻ.
സാധുവായ കിഴിവ് ആർഗ്യുമെന്റിന്റെ രൂപങ്ങൾ നിർണ്ണയിക്കാൻ പ്രതീകാത്മകവും ഗണിതശാസ്ത്രപരവുമായ സാങ്കേതിക വിദ്യകളുടെ ചിട്ടയായ ഉപയോഗം.
യുക്തിയാൽ ന്യായീകരിക്കപ്പെടുന്നതിന്റെ ഗുണം.
ആവശ്യമായ പരിണതഫലമായി നിർദ്ദേശിച്ച അല്ലെങ്കിൽ പിന്തുടരുന്ന പ്രവർത്തന ഗതി.
ഒരു നിർദ്ദിഷ്ട ടാസ് ക് നിർവഹിക്കുന്നതിന് ഒരു കമ്പ്യൂട്ടറിലോ ഇലക് ട്രോണിക് ഉപകരണത്തിലോ ഉള്ള ഘടകങ്ങളുടെ ക്രമീകരണത്തിന് അടിസ്ഥാനമായ ഒരു സിസ്റ്റം അല്ലെങ്കിൽ തത്ത്വങ്ങളുടെ കൂട്ടം.
ലോജിക്കൽ പ്രവർത്തനങ്ങൾ കൂട്ടായി.
അനുമാനത്തെ വിശകലനം ചെയ്യുന്ന തത്ത്വചിന്തയുടെ ശാഖ
യുക്തിസഹവും ന്യായയുക്തവുമായ വിധി
തന്നിരിക്കുന്ന ഒരു ഫീൽഡിനോ സാഹചര്യത്തിനോ യുക്തിസഹമായി നയിക്കുന്ന തത്വങ്ങൾ
ലോജിക്കൽ പ്രവർത്തനങ്ങളുടെ മെഷീന്റെ പ്രാതിനിധ്യത്തിന് അടിവരയിടുന്ന ഒരു കമ്പ്യൂട്ടർ നടത്തുന്ന പ്രവർത്തന സംവിധാനം