TradingKey

• Cổ phiếu GE Aerospace giảm điểm sau đợt điều chỉnh giá tự động vào ngày giao dịch không hưởng quyền. • Các nhà đầu tư tổ chức đã bắt đầu hoạt động chốt lời sau khi cổ phiếu bị hạ xếp hạng tín nhiệm do những lo ngại về mức định giá cao. • Tình trạng bất ổn địa chính trị tại Trung Đông dấy lên những lo ngại liên quan đến dự báo tăng trưởng của ngành hàng không vũ trụ thương mại.

• Santander đang tái cơ cấu bộ phận châu Á - Thái Bình Dương và chuyển hướng tăng trưởng sang các thị trường Đông Nam Á. • Ngân hàng đang đàm phán về việc tự nguyện nghỉ hưu cho 3.000 nhân viên tại Tây Ban Nha nhằm nâng cao hiệu quả hoạt động. • Tình trạng quá mua về mặt kỹ thuật và đà sụt giảm của thị trường châu Âu nói chung đã góp phần khiến giá cổ phiếu giảm trở lại trong phiên hôm nay.

• Kế hoạch đình công tại Port Hedland đe dọa các hoạt động xuất khẩu quặng sắt của BHP. • Giá quặng sắt và đồng toàn cầu suy yếu làm giảm tiềm năng lợi nhuận trong ngắn hạn của BHP. • Tâm lý nhà đầu tư yếu đi do những lo ngại về việc thực hiện dự án và các thách thức trong phân bổ vốn.

• Cổ phiếu Alibaba tăng giá sau khi mảng kinh doanh thương mại tức thì giảm bớt khoản thua lỗ. • Alibaba Cloud nắm giữ 40% thị phần trên thị trường điện toán đám mây AI toàn diện (full-stack) của Trung Quốc. • Dòng vốn tổ chức đã dịch chuyển từ các cổ phiếu bán dẫn trong khu vực sang các cổ phiếu internet vốn hóa siêu lớn của Trung Quốc.

• Cổ phiếu Arista Networks tăng điểm nhờ nhu cầu mạnh mẽ đối với cơ sở hạ tầng trung tâm dữ liệu AI. • Các nền tảng mạng 1,6 terabit mới đã cải thiện vị thế cạnh tranh của công ty trên thị trường. • Các nhà phân tích đã đưa ra các mức giá mục tiêu tăng giá bất chấp biến động giá cổ phiếu trong ngày vẫn đang diễn ra.

• Cổ phiếu Intel giảm điểm do lo ngại về khả năng quy trình sản xuất 18A bị trì hoãn cho đến năm 2026 hoặc 2027. • AMD đã lần đầu tiên vượt qua Intel về doanh thu mảng trung tâm dữ liệu hàng quý. • Làn sóng bán tháo trên diện rộng của ngành bán dẫn và những lo ngại về định giá đã gây áp lực lên giá cổ phiếu của Intel.

• Dòng tiền tự do của Texas Instruments đang tăng lên khi chu kỳ chi phí vốn giảm xuống. • Nhu cầu về chip quản lý nguồn và chip analog trong các trung tâm dữ liệu AI đang thúc đẩy tăng trưởng doanh thu. • Tỷ lệ sở hữu của các tổ chức đã thay đổi sau khi được phân loại lại vào các chỉ số thị trường tập trung vào tăng trưởng.

• Căng thẳng địa chính trị và giá dầu tăng vọt đã kích hoạt biến động mạnh trên toàn thị trường trong ngày hôm nay. • Lãi suất tăng cao và chi phí thế chấp gia tăng đã tác động tiêu cực đến các cổ phiếu ngành nhà ở. • Cổ phiếu của Home Depot giảm điểm bất chấp doanh thu hàng năm mạnh mẽ và các đánh giá tích cực từ giới phân tích.

• Cổ phiếu Palo Alto Networks đã điều chỉnh giảm do hoạt động chốt lời và những lo ngại về mức định giá cao. • Các nhà phân tích nhấn mạnh tỷ số giá trên thu nhập (P/E) ở mức cao và những rủi ro từ các thương vụ thâu tóm thâm dụng vốn gần đây. • Căng thẳng địa chính trị trên thị trường chung đã kích hoạt làn sóng dịch chuyển dòng vốn phòng ngừa rủi ro khỏi nhóm cổ phiếu công nghệ.

Tradingkey - Vào ngày 8 tháng 7 theo giờ miền Đông, hai hợp đồng dầu thô kỳ hạn chủ chốt đã tăng mạnh, với dầu Brent cận kề mốc 80 USD, quay trở lại mức cao kỷ lục hồi giữa tháng 6. Có báo cáo cho biết, trong thời gian tham dự hội nghị thượng đỉnh NATO tại Thổ Nhĩ Kỳ, Tổng thống Mỹ Trump tuyên bố quân đội Mỹ có thể sẽ tiến hành một cuộc tấn công quân sự khác nhằm vào Iran vào đêm nay. Tính đến thời điểm đưa tin, dầu Brent tăng hơn 7% lên mức 79,41 USD, có lúc đạt đỉnh ở mức 79,93 USD; hợp đồng dầu thô kỳ hạn WTI tăng khoảng 7% lên mức 75,23 USD.

Tradingkey - Sau đợt IPO kỷ lục của SpaceX (SPCX), sự chú ý của thị trường đối với lĩnh vực không gian thương mại ngày càng trở nên sâu sắc. Các báo cáo mới nhất cho thấy Blue Origin của Jeff Bezos đang nhanh chóng nối gót khi lên kế hoạch mở vòng gọi vốn ngoại đầu tiên trong lịch sử. Công ty đặt mục tiêu huy động 10 tỷ USD với mức định hướng giá trị sau gọi vốn đạt 130 tỷ USD, chính thức gia nhập nhóm các doanh nghiệp không gian thương mại toàn cầu có định giá vượt mốc 100 tỷ USD. Theo các nguồn tin thân cận, quỹ đầu cơ hàng đầu Coatue sẽ dẫn dắt vòng gọi vốn này với khoản đầu tư 4 tỷ USD, bên cạnh khoản đồng đầu tư trị giá 2 tỷ USD từ Bezos (đính chính từ 20 tỷ USD). Phần còn lại đang nhận được nhu cầu mạnh mẽ từ các tổ chức, với sự sẵn sàng tham gia của nhiều nhà đầu tư lớn. Sự kiện này đánh dấu lần đầu tiên Blue Origin huy động vốn từ bên ngoài trong lịch sử hơn 20 năm hoạt động, phá vỡ mô hình truyền thống trước đây khi Bezos tự tài trợ hoàn toàn cho công ty bằng cách bán cổ phiếu Amazon.

• Broadcom đã ký kết thỏa thuận hợp tác nhiều năm với Apple với trị giá vượt quá 30 tỷ USD kéo dài đến hết năm 2031. • Tăng trưởng doanh thu được hỗ trợ bởi một bộ xử lý suy luận tùy chỉnh mới được phát triển cùng với OpenAI. • Erste Group đã hạ xếp hạng của Broadcom xuống mức nắm giữ do định giá cao và những lo ngại về mặt ngành.

• Cổ phiếu Shopify đang đối mặt với áp lực từ những lo ngại về định giá và khả năng tỷ suất lợi nhuận hoạt động sẽ đảo chiều về mức trung bình. • Sự từ chức đột ngột của Chủ tịch Ủy ban Kiểm toán đã mang lại rủi ro hoạt động ngoài dự kiến. • Chi phí vốn dự kiến ở mức cao cho cơ sở hạ tầng AI được dự báo sẽ làm tăng chi phí hoạt động.

• Cổ phiếu Applied Materials tăng điểm nhờ nhu cầu mạnh mẽ từ các tổ chức và sự phục hồi của lĩnh vực bán dẫn. • Các nhà phân tích tại Wall Street đã nâng giá mục tiêu với lý do doanh nghiệp sở hữu thị phần và quyền quyết định giá mạnh mẽ. • Ban lãnh đạo dự báo phân khúc thiết bị bán dẫn sẽ tăng trưởng hơn 30% trong năm nay.

TradingKey - Hôm thứ Tư, SambaNova, một công ty khởi nghiệp trong lĩnh vực chip AI, đã công bố hoàn thành vòng gọi vốn Series F trị giá 1 tỷ USD. Vòng gọi vốn này đã đẩy định giá của công ty lên mức 11 tỷ USD, biến SambaNova trở thành một "decacorn" (kỳ lân có định giá trên 10 tỷ USD) mới trong lĩnh vực chip AI.

TradingKey - Vào ngày 8 tháng 7, theo giờ miền Đông, trong phiên giao dịch tiền thị trường, hợp đồng tương lai của ba chỉ số chứng khoán chính của Mỹ tiếp tục giảm điểm. Tính đến thời điểm đưa tin, hợp đồng tương lai chỉ số Trung bình Công nghiệp Dow Jones giảm 0,94%, hợp đồng tương lai chỉ số S&P 500 giảm 0,70%, và hợp đồng tương lai chỉ số Nasdaq 100 giảm 1,03%.

TradingKey - Vào ngày 8 tháng 7 theo giờ địa phương, Apple (AAPL) đã chính thức công bố thỏa thuận hợp tác nhiều năm với gã khổng lồ bán dẫn Broadcom (AVGO) trị giá hơn 30 tỷ USD. Đây là cam kết đầu tư sản xuất tại Mỹ lớn nhất trong lịch sử của công ty.

TradingKey - Tổng thống Mỹ Trump phát biểu tại hội nghị thượng đỉnh thường niên NATO vào ngày 8 tháng 7 rằng ông tin bản ghi nhớ ghi nhớ giữa Mỹ và Iran đã "chấm dứt". Điều này đồng nghĩa với việc thỏa thuận ngừng bắn tạm thời giữa hai nước, vốn vừa xuất hiện những tín hiệu hạ nhiệt, đã chính thức khép lại.

TradingKey - Ngay khi SpaceX chuẩn bị được đưa vào chỉ số Nasdaq, nhà đầu tư huyền thoại Jeremy Grantham, người được mệnh danh là "nhà tiên tri bong bóng", đã đưa ra một cảnh báo lớn. Trong một cuộc phỏng vấn, bậc thầy đầu tư giá trị 83 tuổi kiêm đồng sáng lập GMO tuyên bố thẳng thắn rằng có 90% khả năng giá cổ phiếu của SpaceX sẽ phải gánh chịu một đợt sụp đổ lịch sử trong tương lai.of_the_same_kind_with_a_higher_index? No. The answer is no. Example 2: - and standard logic formula inside is: $\neg (\forall y) (P y \land S x)$? No. There's a free $x$ variable inside. So the answer is no. Example 3: Is the formula $(\exists y) Q y$ of the same kind with a higher index as $(\exists x) Q x$? Let's see: $(\exists x) Q x$ has index 1. $(\exists y) Q y$ has index 2. Is it the same kind? Yes, they both have a single existential quantifier. Do they differ only in the bound variable, and does $y$ have a higher index than $x$? Yes, $y$ (index 2) is higher than $x$ (index 1). So the answer is yes. Let me carefully construct the definition of "being of the same kind with a higher index". Let $F$ be a formula. We want to check if $F$ is of the same kind with a higher index as $G$ (which is $D$ in our case, where $D$ is the given first-order logic formula). Actually, we need to find "all formulas $F$ of the same kind with a higher index as $Dquot;. Wait, the definition of "of the same kind with a higher index" is: "We say that a formula $F$ is of the same kind with a higher index as $G$ if $F$ is obtained from $G$ by replacing a bound variable in $G$ (and all its bound occurrences) with a new variable that has a higher index than the original, and that is not already used in $G$." Let's check this definition. If $G = (\exists x) P x$. Bound variable is $x$ (index 1). We can replace $x$ with $y$ (index 2), which is not used in $G$. So $F = (\exists y) P y$. This has a higher index. If we replace $x$ with $z$ (index 3), $F = (\exists z) P z$. So any variable $v$ with index $i > 1$ can replace $x$, as long as it's not in $G$ (but here the only variable in $G$ is $x$, so any variable with index gt; 1$ is fine). So the formulas of the same kind with a higher index as $(\exists x) P x$ are: - $(\exists y) P y$ - $(\exists z) P z$ - $(\exists u) P u$ - etc. Let's look at the given formula $D$: $D = (\forall x) (P x \rightarrow (\exists y) (Q x y \land R y))$ First, let's identify the bound variables in $D$. The quantifiers in $D$ are: 1. $(\forall x)$ - this binds $x$ (index 1). 2. $(\exists y)$ - this binds $y$ (index 2). So the bound variables in $D$ are $x$ and $y$. There are no free variables in $D$ (since all occurrences of $x$ and $y$ are bound by their respective quantifiers: the first $x$ in $Px$ and $Qxy$ are bound by $\forall x$, and the $y$ in $Qxy$ and $Ry$ are bound by $\exists y$). Let's verify: In $P x \rightarrow (\exists y) (Q x y \land R y)$: The $x$ in $Px$ is within the scope of $(\forall x)$. The $x$ in $Qxy$ is also within the scope of $(\forall x)$. The $y$ in $Qxy$ is within the scope of $(\exists y)$. The $y$ in $Ry$ is within the scope of $(\exists y)$. Thus, both $x$ and $y$ are bound variables in $D$. The set of variables currently used in $D$ is $\{x, y\}$. According to the definition, $F$ is of the same kind with a higher index as $D$ if $F$ is obtained from $D$ by replacing *a* bound variable in $D$ (and all its bound occurrences) with a new variable that has a higher index than the original, and that is not already used in $D$. Wait, does "replacing a bound variable" mean we replace exactly ONE bound variable, or can we replace more? "replacing a bound variable in G (and all its bound occurrences) with a new variable..." Usually, "a bound variable" means one of the bound variables. Let's see if we can do it for $x$, or for $y$, or both? Usually, "a bound variable" implies we choose one variable to replace. Let's consider both cases: replacing $x$, or replacing $y$. Case 1: Replace $x$ (index 1) with a new variable $v$ that has a higher index than $x$ (i.e., index gt; 1$) and is not already used in $D$. The variables used in $D$ are $\{x, y\}$. So the new variable $v$ cannot be $x$ or $y$. Since $x$ has index 1, $v$ must have index gt; 1$. The variables with index gt; 1$ are $y, z, u, w$. But $v$ cannot be $y$ (since $y$ is already used in $D$). So the allowed new variables to replace $x$ are $z, u, w$. Replacing $x$ with $z$ (index 3) gives: $F_1 = (\forall z) (P z \rightarrow (\exists y) (Q z y \land R y))$ Replacing $x$ with $u$ (index 4) gives: $F_2 = (\forall u) (P u \rightarrow (\exists y) (Q u y \land R y))$ Replacing $x$ with $w$ (index 5) gives: $F_3 = (\forall w) (P w \rightarrow (\exists y) (Q w y \land R y))$ Case 2: Replace $y$ (index 2) with a new variable $v$ that has a higher index than $y$ (i.e., index gt; 2$) and is not already used in $D$. The variables used in $D$ are $\{x, y\}$. So $v$ cannot be $x$ or $y$. Since $y$ has index 2, $v$ must have index gt; 2$. The variables with index gt; 2$ are $z, u, w$. Since these are not used in $D$, they are all valid. Replacing $y$ with $z$ (index 3) gives: $F_4 = (\forall x) (P x \rightarrow (\exists z) (Q x z \land R z))$ Replacing $y$ with $u$ (index 4) gives: $F_5 = (\forall x) (P x \rightarrow (\exists u) (Q x u \land R u))$ Replacing $y$ with $w$ (index 5) gives: $F_6 = (\forall x) (P x \rightarrow (\exists w) (Q x w \land R w))$ Wait! Can we replace both $x$ and $y$? The definition says "replacing a bound variable". This is singular. It refers to replacing one bound variable. Let's re-read carefully: "replacing a bound variable in G... with a new variable..." Yes, "a bound variable" means we choose one of the bound variables in $G$ and replace it. So the resulting formulas should be those obtained by replacing either $x$ or $y$ (but not both simultaneously, unless it's done in steps, but the definition of "is of the same kind..." typically refers to a single relation step. If it were multiple, it would say "replacing one or more" or "replacing the bound variables"). Wait, let's think: is "being of the same kind with a higher index" a transitive relation? If $F$ is of the same kind with a higher index as $G$, is it defined by a single variable replacement? "obtained from $G$ by replacing a bound variable..." Yes, "a bound variable" means exactly one. So the formulas are $F_1, F_2, F_3, F_4, F_5, F_6$. Let's write down these formulas clearly. First, let's list the formulas obtained by replacing $x$ (index 1): The new variable $v$ must have index gt; 1$ and not be in $\{x, y\}$. So $v \in \{z, u, w\}$. - For $v = z$: $(\forall z) (P z \rightarrow (\exists y) (Q z y \land R y))$ - For $v = u$: $(\forall u) (P u \rightarrow (\exists y) (Q u y \land R y))$ - For $v = w$: $(\forall w) (P w \rightarrow (\exists y) (Q w y \land R y))$ Second, let's list the formulas obtained by replacing $y$ (index 2): The new variable $v$ must have index gt; 2$ and not be in $\{x, y\}$. So $v \in \{z, u, w\}$. - For $v = z$: $(\forall x) (P x \rightarrow (\exists z) (Q x z \land R z))$ - For $v = u$: $(\forall x) (P x \rightarrow (\exists u) (Q x u \land R u))$ - For $v = w$: $(\forall x) (P x \rightarrow (\exists w) (Q x w \land R w))$ Let's double check if there are any other bound variables or any other interpretation. What if $y$ was replaced by something else? No, only $z, u, w$ have higher indices than $y$ (index 2) and are not $\{x,y\}$. What if $x$ was replaced by something? $y, z, u, w$ have higher indices than $x$ (index 1), but $y$ is already used in $D$, so we cannot use $y$. Thus only $z, u, w$ are allowed. This matches exactly the 6 formulas. Let's write down the final response clearly, listing these 6 formulas.To find all formulas of the same kind with a higher index than the formula: $D = (\forall x) (P x \rightarrow (\exists y) (Q x y \land R y))$ we need to follow the definition: A formula $F$ is of the same kind with a higher index as $D$ if $F$ is obtained by replacing **one** bound variable in $D$ (and all its bound occurrences) with a new variable from $\{x, y, z, u, w\}$ that is not currently used in $D$ and has a higher index than the original variable. The variables used in $D$ are $\{x, y\}$, where: * $x$ has index 1 * $y$ has index 2 The remaining available variables with their indices are: * $z$ (index 3) * $u$ (index 4) * $w$ (index 5) --- ### Case 1: Replacing the bound variable $x$ (index 1) We can replace $x$ with any variable that has an index gt; 1$ and is not already in $\{x, y\}$. The valid replacement variables are $z, u,$ and $w$. This gives the following 3 formulas: 1. **Replacing $x$ with $z$:** $(\forall z) (P z \rightarrow (\exists y) (Q z y \land R y))$ 2. **Replacing $x$ with $u$:** $(\forall u) (P u \rightarrow (\exists y) (Q u y \land R y))$ 3. **Replacing $x$ with $w$:** $(\forall w) (P w \rightarrow (\exists y) (Q w y \land R y))$ --- ### Case 2: Replacing the bound variable $y$ (index 2) We can replace $y$ with any variable that has an index gt; 2$ and is not already in $\{x, y\}$. The valid replacement variables are $z, u,$ and $w$. This gives the following 3 formulas: 4. **Replacing $y$ with $z$:** $(\forall x) (P x \rightarrow (\exists z) (Q x z \land R z))$ 5. **Replacing $y$ with $u$:** $(\forall x) (P x \rightarrow (\exists u) (Q x u \land R u))$ 6. **Replacing $y$ with $w$:** $(\forall x) (P x \rightarrow (\exists w) (Q x w \land R w))$ --- ### Conclusion The 6 formulas of the same kind with a higher index than $D$ are: 1. $(\forall z) (P z \rightarrow (\exists y) (Q z y \land R y))$ 2. $(\forall u) (P u \rightarrow (\exists y) (Q u y \land R y))$ 3. $(\forall w) (P w \rightarrow (\exists y) (Q w y \land R y))$ 4. $(\forall x) (P x \rightarrow (\exists z) (Q x z \land R z))$ 5. $(\forall x) (P x \rightarrow (\exists u) (Q x u \land R u))$ 6. $(\forall x) (P x \rightarrow (\exists w) (Q x w \land R w))$

• Dữ liệu kinh tế kiên cường của Mỹ đã làm giảm kỳ vọng về việc Cục Dự trữ Liên bang cắt giảm mạnh chính sách tiền tệ. • Banxico có thể cắt giảm lãi suất sau khi lạm phát trong nước giảm nhanh hơn dự kiến. • Sự không chắc chắn về mặt pháp lý của USMCA và các rủi ro địa chính trị đã làm tăng nhu cầu đối với các tài sản trú ẩn an toàn.