mathematica.gr

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



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

Δοκίμασε να γράψεις για αρχή τη διπλή συνεπαγωγή σαν σύζευξη δύο απλών και έπειτα χρησιμοποίησε την ταυτότητα (της προτασιακής λογικής) .

Εντάξει νομίζω πως βρήκα λύση

Ωραία, αν θες ανέβασέ την κι εδώ, να τη δούμε.