If an argument can be cast in the form of sentences in Symbolic Logic, then it can be tested by the application of accepted proof procedures.
Если аргумент может быть приведён в виде предложений в символической логике, то он может быть проверен с помощью применения признанных процедур доказательства.