SHPORA.net :: PDA | |
Main FAQ гуманитарные науки естественные науки математические науки технические науки Терема дедукции. Т. Если Н, А├В при этом в выводе не при каком применении правила связывания квантором к формулам, зависящим в этом выводе от А, не связывается квантором никакая свободная переменная, входящая в А, тогда Н├А->В. |