Η αναζήτηση βρήκε 2 εγγραφές

Επιστροφή στην ειδική αναζήτηση

από vladkatr
Δευ Ιουν 01, 2020 4:50 pm
Δ. Συζήτηση: Μαθηματική Λογική & Θεμέλια Μαθηματικών
Θέμα: Μετατροπή τύπου σε Κανονική μορφή Prenex
Απαντήσεις: 3
Προβολές: 3944

Re: Μετατροπή τύπου σε Κανονική μορφή Prenex

Εντάξει νομίζω πως βρήκα λύση :)
από vladkatr
Δευ Ιουν 01, 2020 3:34 pm
Δ. Συζήτηση: Μαθηματική Λογική & Θεμέλια Μαθηματικών
Θέμα: Μετατροπή τύπου σε Κανονική μορφή Prenex
Απαντήσεις: 3
Προβολές: 3944

Μετατροπή τύπου σε Κανονική μορφή Prenex

Θα μπορούσε κάποιος να βοηθήσει στη μετατροπή αυτού του τύπου σε κανονική μορφή prenex;

(\forall x)A(x) \leftrightarrow (\exists x)B(x)

Έχω αφιερώσει αρκετό χρόνο, αλλά δεν κατάφερα να βρω λύση. Οποιαδήποτε βοήθεια θα ήταν πολύ χρήσιμη! Ευχαριστώ! :D

Επιστροφή στην ειδική αναζήτηση