פסוק (לוגיקה) – שפות אחרות