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.deTu lahko pustite obvestila o napakah v tem geslu ali predlogih za izboljave:
Kako naložim besedišče v vadnico?
Zavedajte se, da je spisek besedišča shranjen le v tem brskalniku. S tem, ko naložite besedišče v vadnico, je dostopno povsod.