λογικοπροτασιακός λογισμός
Μετάβαση στην πλοήγηση
Πήδηση στην αναζήτηση
Νέα ελληνικά (el)[επεξεργασία]
Ετυμολογία [επεξεργασία]
- λογικοπροτασιακός λογισμός < → δείτε τις λέξεις λογικός, προτασιακός και λογισμός, (μεταφραστικό δάνειο) αγγλική propositional calculus. Μη αποδεκτός όρος από την ΕΛΕΤΟ.[1]
Πολυλεκτικός όρος[επεξεργασία]
λογικοπροτασιακός λογισμός
- (λογική) βλ. συνώνυμο προτασιακός λογισμός[2][3]
- Συχνά οι λογικές προτάσεις συνδυάζονται μέσω των λογικών συνδετικών (άρνηση, σύζευξη, διάζευξη, συνεπαγωγή) και δημιουργούνται έτσι σύνθετα προτασιακά σύνολα λογικοπροτασιακού λογισμού, τα οποία προσδιορίζονται αξιωματικά μέσω λογικών νόμων ως προς την αλήθεια ή το ψεύδος τους.[4]
Συνώνυμα[επεξεργασία]
Μεταφράσεις[επεξεργασία]
λογικοπροτασιακός λογισμός
Αναφορές[επεξεργασία]
- ↑ «ο λογικοπροτασιακός λογισμός και η ακόμα χειρότερη λογικοπροτασιακή λογική είναι όροι περιττοί, πέραν του πλεονασμού που εμπεριέχουν», ΟΡΟΓΡΑΜΜΑ - Αρ.140 Σεπτέμβριος – Οκτώβριος 2016, σελ. 3. Πρόσβαση 2020-02-24
- ↑ Zagoura Master Thesis
- ↑ Δημητροπούλου Μαρία (Πάτρα 2016), «Η μετάφραση των νεολογισμών στο επιστημονικό λεξιλόγιο με έμφαση στον τομέα της γλωσσολογίας», σελ. 70. Προσπέλαση 2020-02-29
- ↑ «λογική πρόταση», στην Παράλληλη αναζήτηση του ιστότοπου: greek language.gr - η Πύλη για την ελληνική γλώσσα (του Κέντρου Ελληνικής Γλώσσας)