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