… the logical conclusion is generally valid. Robinson’s resolution method uses logical simplifications, according to which any logical … derive all logical truths of predicate logic of first …
CITATION STYLE
Mainzer, K. (2020). Logical Thinking Becomes Automatic (pp. 15–45). https://doi.org/10.1007/978-3-662-59717-0_3
Mendeley helps you to discover research relevant for your work.