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

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

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

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

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

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

ראה גם

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

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

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