Μετατροπή τύπου σε Κανονική μορφή 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


Λέξεις Κλειδιά:
Κατηγορηματική-Λογική
Κορυφή
Μάρκος Βασίλης
Δημοσιεύσεις: 303
Εγγραφή: Σάβ Αύγ 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

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


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

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

#4

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

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


\textcolor{blue}{\forall after-maths}
Κορυφή
Απάντηση

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

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

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