Abstract structure of sentences, arguments.

Result following from premises logically.

Empirical verification of meaning philosophy.

a mental activity that aims to arrive at a conclusion in a rigorous way.

Reasoning systematically to form conclusions.

Manipulation of binary values systematically.

Structured reasoning supporting a conclusion.