У логіці логічною константою є символ, який має одне й те ж саме семантичне значення при будь-якій (інтерпретації) в . Два дуже важливих типи логічних констант це — (логічні сполучники) та (квантори). Предикат (рівності) (зазвичай позначається "=") так само розглядається як логічна константа в багатьох системах логіки.
Питання «Що таке логічна константа?» є одним із фундаментальних питань (філософії логіки). Тобто які спеціальні властивості констант визначають їх як логічні по своїй природі?
Наведені символи зазвичай розглядаються як логічні константи:
Символ | Значення |
---|---|
T | «істина» |
F | «хиба» |
¬ | «не» |
∧ | «і» |
∨ | «або» |
→ | «слідує», «якщо…то» |
∀ | «для всіх» |
∃ | «існує», «для деяких» |
= | «дорівнює» |
«необхідно» | |
«можливо» |
Багато з цих логічних констант позначаються по іншому, наприклад, символ «&» також використовують для позначення (логічного «і»).
Див. також
- (Логічний сполучник)
- (Значення істинності)
Примітки
- Carnap, Rudolf, Introduction to Symbolic Logic and its Applications.
- . Архів оригіналу за 12 лютого 2015. Процитовано 11 жовтня 2016.
Посилання
- Stanford Encyclopedia of Philosophy entry on logical constants [ 2 лютого 2021 у Wayback Machine.]
Це незавершена стаття з логіки. Ви можете проєкту, виправивши або дописавши її. |
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет