Μετατροπή τύπου σε Κανονική μορφή Prenex
Μετατροπή τύπου σε Κανονική μορφή Prenex
Θα μπορούσε κάποιος να βοηθήσει στη μετατροπή αυτού του τύπου σε κανονική μορφή prenex;
Έχω αφιερώσει αρκετό χρόνο, αλλά δεν κατάφερα να βρω λύση. Οποιαδήποτε βοήθεια θα ήταν πολύ χρήσιμη! Ευχαριστώ!
Έχω αφιερώσει αρκετό χρόνο, αλλά δεν κατάφερα να βρω λύση. Οποιαδήποτε βοήθεια θα ήταν πολύ χρήσιμη! Ευχαριστώ!
τελευταία επεξεργασία από Demetres σε Δευ Ιουν 01, 2020 10:24 pm, έχει επεξεργασθεί 1 φορά συνολικά.
Λόγος: Γραφή σε Latex
Λόγος: Γραφή σε Latex
Λέξεις Κλειδιά:
-
- Δημοσιεύσεις: 303
- Εγγραφή: Σάβ Αύγ 31, 2019 5:47 pm
- Τοποθεσία: Καισαριανή
- Επικοινωνία:
Re: Μετατροπή τύπου σε Κανονική μορφή Prenex
Δοκίμασε να γράψεις για αρχή τη διπλή συνεπαγωγή σαν σύζευξη δύο απλών και έπειτα χρησιμοποίησε την ταυτότητα (της προτασιακής λογικής) .
-
- Δημοσιεύσεις: 303
- Εγγραφή: Σάβ Αύγ 31, 2019 5:47 pm
- Τοποθεσία: Καισαριανή
- Επικοινωνία:
Μέλη σε σύνδεση
Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 3 επισκέπτες