Συμβολική λογική
Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Συμβολική λογική (symbolic logic) είναι ο τομέας των μαθηματικών που μελετά τις αμιγώς τυπικές ιδιότητες που έχουν οι συμβολοσειρές. Το ενδιαφέρον στον τομέα αυτό ξεκινά από δύο πηγές. Πρώτον, τα σύμβολα που χρησιμοποιούνται στη συμβολική λογική μπορούν να ερμηνευθούν σαν αναπαραστάσεις των λέξεων που χρησιμοποιούνται στη φιλοσοφική λογική. Δεύτερον, οι κανόνες για το χειρισμό των συμβόλων της συμβολικής λογικής μπορούν να υλοποιηθούν σε ένα πρόγραμμα υπολογιστή.
Η συμβολική λογική διαιρείται συνήθως σε δύο υποπεδία, την προτασιακή λογική και την κατηγορηματική λογική.
Σύχρονοι τομείς των μαθηματικών δημιουργούνται από την τυπική λογική και ομαδοποιούνται με τον τίτλο μαθηματική λογική.
[Επεξεργασία] Προτασιακή λογική
Ο κλάδος της συμβολικής λογικής που λέγεται προτασιακή λογική, λεγόταν αρχικά προτασιακός λογισμός, και μελετά τις ιδιότητες των προτάσεων που δημιουργούνται από σταθερές, που συνήθως συμβολίζονται με A, B, C, ... και πέντε λογικούς τελεστές: AND, OR, IMPLIES, EQUALS και NOT. Οι πέντε αυτοί τελεστές γράφονται ορισμένες φορές και .AND., .OR., κλπ, συνήθως στην επιστήμη υπολογιστών, όπως επίσης και με τα σύμβολα και
αντίστοιχα. Όλοι εκτός από το NOT είναι δυαδικοί τελεστές, το NOT είναι μοναδιαίος τελεστής που γράφεται πριν το όρισμά του. Οι τιμές των τελεστών αυτών δίνονται από πίνακες αλήθειας.
[Επεξεργασία] Κατηγορηματική λογική
Η κατηγορηματική λογική, που αρχικά λεγόταν κατηγορηματικός λογισμός, επεκτείνει την προτασιακή λογική με την εισαγωγή μεταβλητών, που συνήθως συμβολίζονται με μικρό γράμμα, π.χ. x, y, z, και επίσης με προτάσεις που περιέχουν μεταβλητές, που λέγονται κατηγορήματα και συνήθως συμβολίζονται με ένα κεφαλαίο γράμμα το οποίο ακολουθείται από μια λίστα μεταβλητών, π.χ. P(x) ή Q(y,z). Επιπλέον, η κατηγορηματική λογική εισάγει δύο σύμβολα που λέγονται ποσοτικοί τελεστές (quantifiers), το για κάθε και το υπάρχει, που συμβολίζονται αντίστοιχα με και
.
- Το άρθρο αντλεί πληροφορίες από το αντίστοιχο της αγγλόφωνης Wikipedia.