Prolog program: CPC e-scenarios

CPC e-scenarios: The program generates atomic e-scenarios for yes-no questions of the form ?{A, not A}, where A is a formula of the language of Classical Propositional Logic. The program is published at the Resources page.

Reklamy