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