Meaning of λογική πρόταση | Babel Free

Ορισμοί

η αριστοτελική «πρότασις», νοητικός ισχυρισμός ή δήλωση, με λογικό περιεχόμενο, διατυπωμένη σε μία φυσική ή τεχνητή γλώσσα, στην οποία μπορεί να αποδοθεί μία από τις αληθοτιμές 'Αληθής' (true) ή 'Ψευδής' (false)

Παραδείγματα

“Η διάκριση ανάμεσα σε λογική και γραμματική πρόταση επιτρέπει σε διαφορετικές γραμματικές προτάσεις να εκφράζουν την ίδια λογική πρόταση και, αντίστροφα, σε μία και μόνη γραμματική πρόταση να εκφράζει πολλές, συχνά άπειρες, πολύ διαφορετικές λογικές προτάσεις.”

“Οι δηλώσεις: «ο ανθρωπος είναι θνητός», 2+3=5 και 100 > 1000, είναι λογικές προτάσεις με αληθοτιμές 'Αληθής', 'Αληθής' και 'Ψευδής' αντίστοιχα.”

“Συμβολισμός: βλ. προτασιακή μεταβλητή”

Επίπεδο CEFR