2,041
edits
Changes
Translations:The logic of classical language/135/en (view source)
Revision as of 03:37, 27 October 2021
, 3 years agoImporting a new version from external source
It is also used to prove that a particular assertion is not true, or that a particular piece of knowledge is logically compatible/incompatible with a particular evidence