Απόδειξη συνόλου

maria123
Δημοσιεύσεις: 5
Εγγραφή: Σάβ Αύγ 26, 2017 8:24 pm

Απόδειξη συνόλου

#1

Μη αναγνωσμένη δημοσίευση από maria123 » Σάβ Αύγ 26, 2017 8:34 pm

Γεια σας. Πως μπορώ να αποδείξω ότι το {¬,^} είναι πλήρες σύνολο;



Λέξεις Κλειδιά:
Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 11502
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Re: Απόδειξη συνόλου

#2

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou » Σάβ Αύγ 26, 2017 10:03 pm

Καλώς ήλθες στο φόρουμ.

Πες μας τον ορισμό του πλήρους συνόλου που ακολουθείς καθώς και το νόημα των συμβόλων.


maria123
Δημοσιεύσεις: 5
Εγγραφή: Σάβ Αύγ 26, 2017 8:24 pm

Re: Απόδειξη συνόλου

#3

Μη αναγνωσμένη δημοσίευση από maria123 » Σάβ Αύγ 26, 2017 11:24 pm

Mihalis_Lambrou έγραψε:Καλώς ήλθες στο φόρουμ.

Πες μας τον ορισμό του πλήρους συνόλου που ακολουθείς καθώς και το νόημα των συμβόλων.
Να αποδειχθεί ότι ο προτασιακός τύπος p\vee{q}\leftrightarrow\neg(\neg{p}\wedge\neg{q}) είναι ταυτολογία. Στη συνέχεια να αποδειχθεί ότι το \{\neg,\wedge\} είναι πλήρες σύνολο.

Eίναι απο τα διακριτά μαθηματικά της σχολής μου.δυσκολεύομαι στο 2ο ερώτημα.το σύμβολο \neg σημαίνει αρνητικό (not) και το \wedge σημαίνει ή (or).
τελευταία επεξεργασία από grigkost σε Σάβ Αύγ 26, 2017 11:34 pm, έχει επεξεργασθεί 1 φορά συνολικά.
Λόγος: LaTeX


Άβαταρ μέλους
grigkost
Διαχειριστής
Δημοσιεύσεις: 2792
Εγγραφή: Πέμ Δεκ 18, 2008 12:54 pm
Τοποθεσία: Ιωάννινα

Re: Απόδειξη συνόλου

#4

Μη αναγνωσμένη δημοσίευση από grigkost » Σάβ Αύγ 26, 2017 11:38 pm

maria123 έγραψε:... και το \wedge σημαίνει ή (or).
Μήπως το \vee συμβολίζει το (διαζευκτικό) ή (or) ;


{\color{dred}\Gamma\!\rho\,{\rm{H}}\gamma\varnothing\varrho{\mathscr{H}}\varsigma \ {\mathbb{K}}\,\Omega\sum{\rm{t}}{\mathscr{A}}\,{\mathbb{K}}\!\odot\varsigma
maria123
Δημοσιεύσεις: 5
Εγγραφή: Σάβ Αύγ 26, 2017 8:24 pm

Re: Απόδειξη συνόλου

#5

Μη αναγνωσμένη δημοσίευση από maria123 » Σάβ Αύγ 26, 2017 11:50 pm

grigkost έγραψε:
maria123 έγραψε:... και το \wedge σημαίνει ή (or).
Μήπως το \vee συμβολίζει το (διαζευκτικό) ή (or) ;
ναι μπερδεύτικα! ήθελα να γράψω και.


Άβαταρ μέλους
nsmavrogiannis
Επιμελητής
Δημοσιεύσεις: 4245
Εγγραφή: Σάβ Δεκ 20, 2008 7:13 pm
Τοποθεσία: Αθήνα
Επικοινωνία:

Re: Απόδειξη συνόλου

#6

Μη αναγνωσμένη δημοσίευση από nsmavrogiannis » Κυρ Αύγ 27, 2017 12:15 am

maria123 έγραψε:
Mihalis_Lambrou έγραψε:Καλώς ήλθες στο φόρουμ.

Πες μας τον ορισμό του πλήρους συνόλου που ακολουθείς καθώς και το νόημα των συμβόλων.
Να αποδειχθεί ότι ο προτασιακός τύπος p\vee{q}\leftrightarrow\neg(\neg{p}\wedge\neg{q}) είναι ταυτολογία. Στη συνέχεια να αποδειχθεί ότι το \{\neg,\wedge\} είναι πλήρες σύνολο.

Eίναι απο τα διακριτά μαθηματικά της σχολής μου.δυσκολεύομαι στο 2ο ερώτημα.το σύμβολο \neg σημαίνει αρνητικό (not) και το \wedge σημαίνει ή (or).
Για το πρώτο μπορείς να κατασκευάσεις ένα πίνακα τιμών.
Για το δεύτερο πρέπει να αποδείξεις ότι ο σύνδεσμος \displaystyle{ \vee } μπορει να εκφρασθει από τους \neg,\wedge .
Ήδη το πρώτο ερώτημα σε βοηθάει για τον \vee.
τελευταία επεξεργασία από nsmavrogiannis σε Κυρ Αύγ 27, 2017 12:38 am, έχει επεξεργασθεί 1 φορά συνολικά.
Λόγος: Διόρθωση


Αν κανείς δεν ελπίζει, δεν θα βρεί το ανέλπιστο, οι δρόμοι για το ανεξερεύνητο θα είναι κλειστοί.
Ηράκλειτος
Απάντηση

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

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

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