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