προτασιακός λογισμός
Νέα ελληνικά (el)
επεξεργασία
Ετυμολογία
επεξεργασία
- προτασιακός λογισμός < → δείτε τις λέξεις προτασιακός και λογισμός, (μεταφραστικό δάνειο) αγγλική propositional calculus
Πολυλεκτικός όρος
επεξεργασία
προτασιακός λογισμός
- (λογική) ο κλάδος της μαθηματικής λογικής ο οποίος μελετά τις λογικές προτάσεις και τις μεταξύ τους σχέσεις και πράξεις[1][2]
Συνώνυμα
επεξεργασίαΔείτε επίσης
επεξεργασία
Μεταφράσεις
επεξεργασία
προτασιακός λογισμός
Αναφορές
επεξεργασία
- ↑ «Τεχνικές λογικού προγραμματισμού», σελ. 20, από repository.kallipos.gr. Πρόσβαση:2020-02-23
- ↑ «A Dictionary of Mathematics», σελ. 165, πληροφορίες βιβλίου