משתמש:בר/קבוע לוגי

בלוגיקה, קבוע לוגי של שפה ${\mathcal {L}}$ הוא סמל שיש לו ערך סמנטי זהה לכל פרשנות של ${\mathcal {L}}$. שני סוגים חשובים של קבועים לוגיים הם קשרים לוגיים וכמתים. פידיקט השוויון (שנכתב בדרך כלל =) מתייחס גם כאל קבוע לוגי במערכות לוגיות רבות.

אחת השאלות היסודיות בפילוסופיה של הלוגיקה היא מהו קבוע לוגי; כלומר, איזה מאפיין מיוחד של קבועים מסוימים הופך אותם לוגיים באופיים?

כמה סמלים שמתייחסים אליהם כאל קבועים הגיוניים הם:

סמל	משמעות
T	אמת
F	שקר
¬	לא
∧	וגם
∨	או
→	גורר, אם ... אז
∀	לכל
∃	קיים, יש
=	שווה
$\Box$	בהכרח
$\Diamond$	ייתכן

רבים מהקבועים הלוגיים הללו נקבעים לעיתים בסמלים חלופיים (למשל השימוש בסמל & ולא ∧ לציון וגם). הגדרת קבועים לוגיים היא חלק עיקרי בעבודתם של גוטלוב פרגה וברטראנד ראסל.

ראה גם

• ערך אמת
• קשר לוגי

קישורים חיצוניים

• אנציקלופדיה לפילוסופיה של סטנפורד על קבועים לוגיים