WikiDer > Mantiqiy doimiy

Yilda mantiq, a mantiqiy doimiy a til ${displaystyle {mathcal {L}}}$ a belgi u xuddi shunday semantik ahamiyatga ega har biri ostida sharhlash ning ${displaystyle {mathcal {L}}}$. Mantiqiy barqarorlarning ikkita muhim turi mantiqiy bog`lovchilar va miqdoriy ko'rsatkichlar. The tenglik predikat (odatda '=' yoziladi) ko'pchilikda mantiqiy doimiy sifatida qaraladi mantiq tizimlari.

Da asosiy savollardan biri mantiq falsafasi bu "Mantiqiy doimiy nima?"; ya'ni ba'zi bir doimiylarning o'ziga xos xususiyati ularni yaratadi mantiqiy tabiatda?^{[1][to'liq iqtibos kerak]}

Odatda mantiqiy doimiy sifatida ko'rib chiqiladigan ba'zi belgilar:

Belgilar	Ingliz tilida ma'nosi
T	"rost"
F	"yolg'on"
¬	"emas"
∧	"va"
∨	"yoki"
→	"nazarda tutadi"," agar ... keyin "
∀	"Barcha uchun"
∃	"mavjud"," kimdir uchun "
=	"teng"
${displaystyle Box}$	"majburiy"
${displaystyle Diamond}$	"ehtimol"

Ushbu mantiqiy barqarorlarning aksariyati ba'zan muqobil belgilar bilan belgilanadi (masalan., belgilash uchun "∧" o'rniga "&" belgisidan foydalanish mantiqiy va). Mantiqiy doimiylikni aniqlash - bu ishning asosiy qismidir Gottlob Frege va Bertran Rassel.

Shuningdek qarang

• Mantiqsiz belgi
• Mantiqiy qiymat
• Mantiqiy biriktiruvchi

Adabiyotlar

Tashqi havolalar

• Stenford falsafa entsiklopediyasi mantiqiy barqarorlarga kirish

Bu mantiqbilan bog'liq maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish. v t e