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Εδώ μπορείτε να σημειώσετε βελτιωτικές προτάσεις ή σχόλια σχετικά με λάθη σε αυτό το λήμμα:
Πώς μπορώ να μεταφέρω τις μεταφράσεις στον προπονητή λεξιλογίου;
Έχετε υπόψη ότι τα λήμματα σε αυτήν τη λίστα λεξιλογίου διατίθενται μόνο σε αυτό τον περιηγητή. Μόλις τα περάσετε όμως στον προπονητή λεξιλογίου, θα μπορείτε να τα καλέσετε από παντού.