Дневник профессиональной практики.
5.1311. Если мы заключаем от р V q и ~р к q, то отношение между формами предложений "p\/q" и "~р" здесь затемняется способом обозначения. Но если мы, например, вместо "pVq" напишем "р / q -/- р / q и вместо "~р" - "~p/р" (р/q==ни р, ни q), тo внутренняя связь станет очевидной. 5.132. Если р следует из q, то я могу заключить от
|