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.deQui puoi annotare un errore o proporre un miglioramento per questa voce PONS:
Come posso esportare le traduzioni nel trainer lessicale?
Ricorda che la lista dei vocaboli viene salvata soltanto sul tuo browser. Una volta esportata nel trainer lessicale, sarà disponibile su tutti i dispositivi.