(adj) :
clearly expressed, easy to understand; lucid. Used in logic to describe a language or notation, such as that of formal propositional calculus, where the process of inference from premises to conclusion is explicitly laid out
(adj) :
clearly expressed, easy to understand; lucid. Used in logic to describe a language or notation, such as that of formal propositional calculus, where the process of inference from premises to conclusion is explicitly laid out