2,041
edits
Changes
Translations:The logic of classical language/89/en (view source)
Revision as of 03:37, 27 October 2021
, 3 years agoImporting a new version from external source
Suppose we need to prove that the proposition <math>p</math> is true