1.
Sei A eine Formel in Negationsnormalform, in der p nur positiv vorkommt.
Zeigen Sie mit struktureller Induktion:
www-madlener.informatik.uni-kl.de1.
Let A be a formula in negation normal form, where p occurs only positively.
Prove by structural induction:
www-madlener.informatik.uni-kl.de您可在此指出该PONS条目的错误或提出改进建议：
如何在词汇练习助手中接受翻译内容？
请注意，词汇表中的这些词语在本浏览器中是可以使用的。只要这些词语已被收入词汇练习助手，即可随时调用。