λογική πρόταση

Νέα ελληνικά (el)

Ετυμολογία

λογική πρόταση < → δείτε τις λέξεις λογικός και πρόταση. Η χρήση του όρου «λογική» δεν είναι απαραίτητη παρά μόνο για να διακρίνεται από την «γραμματική πρόταση»

Πολυλεκτικός όρος

λογική πρόταση

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

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

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

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

Συνώνυμα

• πρόταση

Συγγενικά

• προτασιακός
• προτασιακός λογισμός, προτασιακή λογική

Υπώνυμα

• ατομική πρόταση
• αξίωμα
• εικασία ή υπόθεση
• θεώρημα
• καθολική πρόταση
• μερική πρόταση
• παράδοξο ή αντινομία ή αντίφαση
• σύνθετη πρόταση

Δείτε επίσης

• ΜΑΘ101/Προτάσεις στο Βικιεπιστήμιο

Μεταφράσεις

    λογική πρόταση

αγγλικά : proposition (en)