resolution

in logic, rule of inference

en-GB/ˌɹɛzəˈluːʃən/
en-US/ˌɹɛzəˈluʃən/

Categories:

field of studyrule of inferenceacademic disciplinefield of studytheorem