Difference between revisions of "Translations:The logic of classical language/89/en"

(Importing a new version from external source)
Tags: Mobile web edit Mobile edit
 
(No difference)

Latest revision as of 03:37, 27 October 2021

Information about message (contribute)
This message has no documentation. If you know where or how this message is used, you can help other translators by adding documentation to this message.
Message definition (The logic of classical language)
Suppose we need to prove that the proposition <math>p</math> is true
TranslationSuppose we need to prove that the proposition <math>p</math> is true

Suppose we need to prove that the proposition is true