προτασιακός λογισμός
Νέα ελληνικά (el)
Ετυμολογία
Ετυμολογία - προτασιακός λογισμός < → δείτε τις λέξεις προτασιακός και λογισμός, (μεταφραστικό δάνειο) αγγλική propositional calculus
Πολυλεκτικός όρος
Πολυλεκτικός όροςπροτασιακός λογισμός
- (λογική) ο κλάδος της μαθηματικής λογικής ο οποίος μελετά τις λογικές προτάσεις και τις μεταξύ τους σχέσεις και πράξεις[1][2]
Συνώνυμα
Μεταφράσεις
Μεταφράσεις προτασιακός λογισμός
Αναφορές
Αναφορές- «Τεχνικές λογικού προγραμματισμού», σελ. 20, από repository.kallipos.gr. Πρόσβαση:2020-02-23
- «A Dictionary of Mathematics», σελ. 165, πληροφορίες βιβλίου
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.