Translations:The logic of classical language/89/en

Suppose we need to prove that the proposition $p$ is true