This is a preview. Log in through your library . Abstract We conducted a computer-based psychological experiment in which a random mix of 40 tautologies and 40 non-tautologies were presented to the ...

Truth diagrams (TDs) are introduced as a novel graphical representation for propositional logic (PL). To demonstrate their epistemic efficacy a set of 28 concepts are proposed that any comprehensive ...

Description: Intelligent industrial systems. Expert-system and knowledge-based decision and control examples. Propositional logic, resolution principle for deduction, Horn-clause systems of logic, ...