WikiDer > Логикалық тұрақты

Жылы логика, а логикалық тұрақты а тіл ${displaystyle {mathcal {L}}}$ Бұл таңба сол сияқты мағыналық мәні әрқайсысының астында түсіндіру туралы ${displaystyle {mathcal {L}}}$. Логикалық тұрақтылардың екі маңызды түрі болып табылады логикалық байланыстырғыштар және кванторлар. The теңдік предикат (әдетте '=' жазылады) көбінде логикалық тұрақты ретінде қарастырылады логика жүйелері.

Ішіндегі негізгі сұрақтардың бірі логика философиясы бұл «Логикалық тұрақты дегеніміз не?»; яғни белгілі бір тұрақтылардың қандай ерекше ерекшелігі оларды жасайды логикалық табиғатта?^{[1][толық дәйексөз қажет]}

Логикалық тұрақтылар ретінде қарастырылатын кейбір белгілер:

Таңба	Ағылшын тіліндегі мағынасы
Т	«шын»
F	"жалған"
¬	"емес"
∧	"және"
∨	"немесе"
→	"білдіреді«,» егер ... онда «
∀	"барлығына"
∃	"бар«,» кейбіреулер үшін «
=	"тең"
${displaystyle Box}$	«міндетті»
${displaystyle Diamond}$	«мүмкін»

Осы логикалық тұрақтылардың көпшілігі кейде балама белгілермен белгіленеді (мысалы, белгілеу үшін «∧» орнына «&» таңбасын қолдану логикалық және). Логикалық тұрақтыларды анықтау - жұмыстың негізгі бөлігі Gottlob Frege және Бертран Рассел.

Сондай-ақ қараңыз

• Логикалық емес таңба
• Логикалық мән
• Логикалық дәнекер

Әдебиеттер тізімі

Сыртқы сілтемелер

• Логикалық тұрақтылар туралы Стэнфорд энциклопедиясының енуі

Бұл логика- қатысты мақала а бұта. Сіз Уикипедияға көмектесе аласыз оны кеңейту. v т e