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

vladkatr
Δημοσιεύσεις: 2
Εγγραφή: Δευ Μαρ 11, 2019 8:30 pm

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

#1

Μη αναγνωσμένη δημοσίευση από vladkatr » Δευ Ιουν 01, 2020 3:34 pm

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

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

Έχω αφιερώσει αρκετό χρόνο, αλλά δεν κατάφερα να βρω λύση. Οποιαδήποτε βοήθεια θα ήταν πολύ χρήσιμη! Ευχαριστώ! :D
τελευταία επεξεργασία από Demetres σε Δευ Ιουν 01, 2020 10:24 pm, έχει επεξεργασθεί 1 φορά συνολικά.
Λόγος: Γραφή σε Latex



Λέξεις Κλειδιά:
Μάρκος Βασίλης
Δημοσιεύσεις: 216
Εγγραφή: Σάβ Αύγ 31, 2019 5:47 pm
Τοποθεσία: Καισαριανή
Επικοινωνία:

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

#2

Μη αναγνωσμένη δημοσίευση από Μάρκος Βασίλης » Δευ Ιουν 01, 2020 4:47 pm

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


\textcolor{blue}{\forall after-maths}
vladkatr
Δημοσιεύσεις: 2
Εγγραφή: Δευ Μαρ 11, 2019 8:30 pm

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

#3

Μη αναγνωσμένη δημοσίευση από vladkatr » Δευ Ιουν 01, 2020 4:50 pm

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


Μάρκος Βασίλης
Δημοσιεύσεις: 216
Εγγραφή: Σάβ Αύγ 31, 2019 5:47 pm
Τοποθεσία: Καισαριανή
Επικοινωνία:

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

#4

Μη αναγνωσμένη δημοσίευση από Μάρκος Βασίλης » Δευ Ιουν 01, 2020 7:34 pm

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


\textcolor{blue}{\forall after-maths}
Απάντηση

Επιστροφή σε “Μαθηματική Λογική & Θεμέλια Μαθηματικών”

Μέλη σε σύνδεση

Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 2 επισκέπτες