λογική πρόταση
•
- λογικήη αριστοτελική «πρότασις», νοητικός ισχυρισμός ή δήλωση, με λογικό περιεχόμενο, διατυπωμένη σε μία φυσική ή τεχνητή γλώσσα, στην οποία μπορεί να αποδοθεί μία από τις αληθοτιμές 'Αληθής' (true) ή 'Ψευδής' (false) Βικιλεξικό
- Η διάκριση ανάμεσα σε λογική και γραμματική πρόταση επιτρέπει σε διαφορετικές γραμματικές προτάσεις να εκφράζουν την ίδια λογική πρόταση και, αντίστροφα, σε μία και μόνη γραμματική πρόταση να εκφράζει πολλές, συχνά άπειρες, πολύ διαφορετικές λογικές προτάσεις.
- Οι δηλώσεις: «ο ανθρωπος είναι θνητός», 2+3=5 και 100 > 1000, είναι λογικές προτάσεις με αληθοτιμές 'Αληθής', 'Αληθής' και 'Ψευδής' αντίστοιχα.
- Συμβολισμός: βλ. προτασιακή μεταβλητή
Ετυμολογία
λογική πρόταση < → δείτε τις λέξεις λογικός και πρόταση. Η χρήση του όρου «λογική» δεν είναι απαραίτητη παρά μόνο για να διακρίνεται από την «γραμματική πρόταση»
Κάτι δεν είναι σωστό; Βοήθησε να βελτιώσουμε αυτήν την καταχώρηση. →