לוגיקה סמלית מחשבים ומערכות מידע
לועזית: s mbolic logic

ייצוג של חוקי הלוגיקה באמצעות סמלים ולא באמצעות ביטויים בשפה טבעית