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

[maria123]

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

[Mihalis_Lambrou]

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

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

[maria123]

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

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

Να αποδειχθεί ότι ο προτασιακός τύπος είναι ταυτολογία. Στη συνέχεια να αποδειχθεί ότι το είναι πλήρες σύνολο.

Eίναι απο τα διακριτά μαθηματικά της σχολής μου.δυσκολεύομαι στο 2ο ερώτημα.το σύμβολο σημαίνει αρνητικό (not) και το σημαίνει ή (or).

[grigkost]

... και το σημαίνει ή (or).

Μήπως το συμβολίζει το (διαζευκτικό) ή (or) ;

[maria123]

... και το σημαίνει ή (or).

Μήπως το συμβολίζει το (διαζευκτικό) ή (or) ;

ναι μπερδεύτικα! ήθελα να γράψω και.

[nsmavrogiannis]

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

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

Να αποδειχθεί ότι ο προτασιακός τύπος είναι ταυτολογία. Στη συνέχεια να αποδειχθεί ότι το είναι πλήρες σύνολο.

Eίναι απο τα διακριτά μαθηματικά της σχολής μου.δυσκολεύομαι στο 2ο ερώτημα.το σύμβολο σημαίνει αρνητικό (not) και το σημαίνει ή (or).

Για το πρώτο μπορείς να κατασκευάσεις ένα πίνακα τιμών.
Για το δεύτερο πρέπει να αποδείξεις ότι ο σύνδεσμος μπορει να εκφρασθει από τους .
Ήδη το πρώτο ερώτημα σε βοηθάει για τον .