Assertion: logic | /r/CapableOf | provide technique
Facets:
Source sentences:
text: Computer scientists in general are familiar with the idea that logic provides techniques for analyzing the inferential properties of languages, and with the distinction between a high-level logical analysis of a reasoning problem and its implementations.