λογική πρόταση
Νέα ελληνικά (el) επεξεργασία
Ετυμολογία
επεξεργασία
- λογική πρόταση < → δείτε τις λέξεις λογικός και πρόταση. Η χρήση του όρου «λογική» δεν είναι απαραίτητη παρά μόνο για να διακρίνεται από την «γραμματική πρόταση»[1]
Πολυλεκτικός όρος
επεξεργασία
λογική πρόταση
- (λογική) η αριστοτελική «πρότασις»[1], νοητικός ισχυρισμός ή δήλωση, με λογικό περιεχόμενο, διατυπωμένη σε μία φυσική ή τεχνητή γλώσσα, στην οποία μπορεί να αποδοθεί μία από τις αληθοτιμές 'Αληθής' (true) ή 'Ψευδής' (false)[2][3]
- Η διάκριση ανάμεσα σε λογική και γραμματική πρόταση επιτρέπει σε διαφορετικές γραμματικές προτάσεις να εκφράζουν την ίδια λογική πρόταση και, αντίστροφα, σε μία και μόνη γραμματική πρόταση να εκφράζει πολλές, συχνά άπειρες, πολύ διαφορετικές λογικές προτάσεις.[2]
- Οι δηλώσεις: «ο ανθρωπος είναι θνητός», 2+3=5 και 100 > 1000, είναι λογικές προτάσεις με αληθοτιμές 'Αληθής', 'Αληθής' και 'Ψευδής' αντίστοιχα.
- Συμβολισμός: βλ. προτασιακή μεταβλητή
Συνώνυμα επεξεργασία
Συγγενικά επεξεργασία
Υπώνυμα επεξεργασία
- ατομική πρόταση
- αξίωμα
- εικασία ή υπόθεση
- θεώρημα
- καθολική πρόταση
- μερική πρόταση
- παράδοξο ή αντινομία ή αντίφαση
- σύνθετη πρόταση
Δείτε επίσης επεξεργασία
- ΜΑΘ101/Προτάσεις στο Βικιεπιστήμιο
Μεταφράσεις
επεξεργασία
λογική πρόταση
Αναφορές
επεξεργασία
- ↑ 1,0 1,1 1,2 ΟΡΟΓΡΑΜΜΑ - Αρ.140 Σεπτέμβριος – Οκτώβριος 2016, σελ. 3. Πρόσβαση 2020-02-24
- ↑ 2,0 2,1 «λογική πρόταση», στην Παράλληλη αναζήτηση του ιστότοπου: greek language.gr - η Πύλη για την ελληνική γλώσσα (του Κέντρου Ελληνικής Γλώσσας)
- ↑ Γεώργιος Βούρος (Πάτρα 2002), «Διακριτά Μαθηματικά», σελ. 12. Προσπέλαση 2020-02-28