symbolic logic איך מתרגמים את הביטוי לעיל (ככל הנראה תחום או נושא במתמטיקה)? לוגיקה סימובלית והגיון סמלי נראה לי לא מתאים. suggestions anyone?