TradingKey

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))$

TradingKey - Theo phân tích khảo sát nhà tuyển dụng do McKinsey & Company, Hiệp hội Công nghiệp Bán dẫn Mỹ (SEMI) và Quỹ Khoa học Quốc gia phối hợp thực hiện, tình trạng thiếu hụt nhân lực kỹ thuật trong ngành chip của Mỹ dự kiến sẽ lên tới 157.000 nhân viên toàn thời gian vào năm 2030.

TradingKey - Một báo cáo chuyên sâu gần đây của công ty nghiên cứu SemiAnalysis cho thấy Anthropic, một công ty mô hình lớn về AI, dự kiến sẽ đạt lợi nhuận trước thuế và lãi vay theo nguyên tắc kế toán chấp nhận chung (GAAP EBIT) hơn 1 tỷ USD vào quý 3 năm 2026, với doanh thu thường niên (ARR) tăng vọt từ 9 tỷ USD vào cuối năm 2025 lên hơn 60 tỷ USD. SemiAnalysis tin rằng nếu Anthropic tiếp tục thực thi chiến lược một cách hiệu quả, họ có tiềm năng trở thành công ty đầu tiên đạt vốn hóa thị trường 6 nghìn tỷ USD.

TradingKey - Lượng vàng bạn nắm giữ đã âm thầm bị định giá sai trong suốt ba mươi năm qua. Dưới đây là cơ chế đằng sau hiện tượng này — và lý do tại sao nó đang dần sụp đổ._

TradingKey - Trong phiên giao dịch châu Á ngày 8 tháng 7, giá cổ phiếu của Samsung có lúc biến động mạnh từ mức tăng 1% sang mức giảm sâu hơn 7%, chạm mức thấp nhất là 273.500 KRW, trước khi đóng cửa giảm 6,25% ở mức 277.500 KRW. Mặc dù ngày hôm qua Samsung đã công bố báo cáo định hướng kết quả kinh doanh quý 2 vượt xa cùng kỳ năm ngoái, giá cổ phiếu của hãng vẫn không thể duy trì được đà tăng trưởng tích cực từ kết quả kinh doanh này. Thay vào đó, cổ phiếu này đã sụt giảm trong hai phiên giao dịch liên tiếp, với mức giảm lũy kế gần 14%.

TradingKey - Theo các nguồn tin do The Information trích dẫn, bộ phận trí tuệ nhân tạo của SpaceX, SpaceXAI, và công ty công cụ lập trình Cursor có kế hoạch ra mắt mô hình AI đầu tiên do hai bên hợp tác phát triển sớm nhất là vào thứ Tư tuần này.

Thị trường chứng khoán Nhật Bản và Hàn Quốc đồng loạt sụt giảm, trong đó chỉ số KOSPI lao dốc hơn 5% và chỉ số Nikkei 225 giảm hơn 2%. Cổ phiếu Samsung và SK Hynix giảm mạnh khoảng 6%, trong khi SoftBank và Kioxia ghi nhận mức giảm nhẹ.

TradingKey - Theo các tài liệu công bố của Ủy ban Truyền thông Liên bang Hoa Kỳ (FCC), SpaceX đã nộp đơn đăng ký lên FCC trong tuần này, yêu cầu phê duyệt việc phóng và vận hành chòm sao vệ tinh thế hệ thứ ba (Gen3) bao gồm 100.000 vệ tinh, nhằm mục tiêu xây dựng một cơ sở hạ tầng truyền thông toàn cầu cho kỷ nguyên AI.

TradingKey - Tính đến phiên giao dịch châu Á ngày 8 tháng 7, giá dầu thô WTI (USOIL) đã tăng lên mức khoảng 72 USD, phục hồi đáng kể so với vài phiên giao dịch trước đó. Về mặt kỹ thuật, giá dầu trước đó đã giảm xuống dưới mức 70 USD do kỳ vọng về các cuộc đàm phán giữa Mỹ và Iran, việc khôi phục lưu thông qua eo biển Hormuz, cùng áp lực từ việc tăng sản lượng của OPEC+. Tuy nhiên, khi các vụ tấn công tàu thuyền tại eo biển Hormuz leo thang, đồng thời Mỹ tái khởi động các hành động quân sự và lệnh trừng phạt đối với Iran, thị trường đã nhanh chóng phản ánh trở lại mức phí bù rủi ro nguồn cung tại Trung Đông, thúc đẩy đà phục hồi liên tục của giá dầu WTI.

TradingKey - Thị trường dầu thô quốc tế đã phản ứng nhanh chóng sau khi quân đội Mỹ phát động một đợt tấn công mới nhằm vào Iran, khiến cả giá dầu WTI (USOIL) và dầu Brent đều tăng. Bộ Chỉ huy Trung ương Mỹ tuyên bố hoạt động này nhằm đáp trả các cuộc tấn công gần đây của Iran vào các tàu thương mại ở Eo biển Hormuz. Các mục tiêu của đợt tấn công bao gồm hệ thống phòng không, mạng lưới chỉ huy và kiểm soát, radar ven biển và năng lực tên lửa chống hạm của Iran, trong khi một số xuồng nhỏ của Lực lượng Vệ binh Cách mạng Hồi giáo Iran cũng bị tiêu diệt tại các vùng nước liên quan.

SK Hynix đảo chiều ngoạn mục sau khi mở cửa suy yếu và tăng vọt trong phiên; tuy nhiên, nhà đầu tư không nên mù quáng mua đuổi theo đà tăng.

Các cuộc không kích của Mỹ nhằm vào Iran đã khiến giá dầu tăng vọt, trong khi vàng và Bitcoin không tăng như kỳ vọng mà thay vào đó lại biến động và suy yếu.

TradingKey - Vào ngày 7 tháng 7 (giờ miền Đông), cả ba chỉ số chứng khoán chính của Mỹ đều đóng cửa trong sắc đỏ, trong đó nhóm cổ phiếu AI và bán dẫn một lần nữa là tác nhân chính kéo thị trường đi xuống. Mặc dù báo cáo ước tính kết quả kinh doanh quý 2 của Samsung Electronics cho thấy nhu cầu bộ nhớ AI vẫn duy trì mạnh mẽ, nhưng kết quả khả quan hơn mong đợi này đã không thể thúc đẩy tâm lý đối với nhóm cổ phiếu chip. Ngược lại, chúng còn làm trầm trọng thêm mối lo ngại của thị trường về mức định giá quá cao của các cổ phiếu phần cứng AI, hoạt động chốt lời theo kiểu "bán khi tin ra" (sell-the-news) và dòng vốn rút khỏi lĩnh vực này. Trong khi đó, một vụ tấn công tàu thuyền gần eo biển Hormuz đã đẩy giá dầu tăng cao, khiến lạm phát và lộ trình chính sách của Cục Dự trữ Liên bang Mỹ (Fed) một lần nữa trở thành tâm điểm chú ý.

Thị trường chứng khoán Nhật Bản và Hàn Quốc lao dốc ngay khi mở cửa phiên giao dịch, trong đó chỉ số KOSPI và Nikkei 225 trải qua một đợt bán tháo thứ cấp mạnh mẽ. Cả Samsung Electronics và SK Hynix đều giảm khoảng 4%, trong khi Kioxia lội ngược dòng xu hướng và ghi nhận mức tăng.

TradingKey - Sự leo thang căng thẳng mới trong xung đột giữa Mỹ và Iran, cùng với kết quả kinh doanh trái chiều từ Samsung, đã gây áp lực lên tâm lý thị trường và kích hoạt làn sóng bán tháo cổ phiếu ngành chip và bộ nhớ. Cả ba chỉ số chứng khoán chính của Mỹ đều giảm điểm đồng loạt, ngay cả khi chỉ số Dow Jones đã chạm mức cao kỷ lục lịch sử trong đầu phiên giao dịch. Khi đóng cửa, chỉ số Trung bình Công nghiệp Dow Jones giảm 0,25% xuống 52.925,15 điểm; chỉ số Nasdaq Composite giảm 1,16% xuống 25.818,69 điểm; và chỉ số S&P 500 giảm 0,45% xuống 7.503,85 điểm.

TradingKey - Vào ngày 7 tháng 7 theo giờ miền Đông, sau các cuộc tấn công của Iran nhằm vào các tàu thương mại đi qua Eo biển Hormuz, Bộ Tài chính Hoa Kỳ đã công bố một văn bản trên trang web chính thức của mình về việc thu hồi các giấy phép chung liên quan đến Iran. Quyết định này sẽ dần loại bỏ các văn bản cấp phép cho hoạt động sản xuất, vận chuyển và bán dầu thô, sản phẩm hóa dầu và các sản phẩm dầu mỏ của Iran được ban hành vào ngày 21 tháng 6 năm 2026. Giá của hai loại dầu thô kỳ hạn chủ chốt đã tăng mạnh trong ngắn hạn. Tính đến thời điểm đưa tin, dầu thô WTI tăng 5,25% lên mức 72,15 USD, trong khi giá dầu thô kỳ hạn Brent tăng 5,7% lên mức 76,14 USD.

TradingKey - Vào ngày 7 tháng 7 (giờ miền Đông), cả ba chỉ số chứng khoán chính đều giảm điểm khi làn sóng bán tháo gia tăng ở nhóm cổ phiếu chip và bộ nhớ đã kéo sụt toàn bộ nhóm cổ phiếu công nghệ. Chỉ số Trung bình Công nghiệp Dow Jones đã đảo chiều sau khi chạm mức cao kỷ lục, chỉ số Nasdaq 100

TradingKey - Ngày 7 tháng 7 (giờ miền Đông), cổ phiếu Intel (INTC) đã giảm xuống mức thấp nhất là 108,36 USD, đồng thời phá vỡ các đường trung bình động 5 ngày, 10 ngày, 20 ngày và 30 ngày. Tính đến thời điểm báo chí đưa tin, cổ phiếu này vẫn giảm hơn 8%, giao dịch ở mức 111,78 USD. Theo báo cáo, Samsung có kế hoạch sản xuất hàng loạt công nghệ tiến trình 1,4nm tiên tiến vào năm 2029. Thị trường tin rằng bước đi này có thể thu hẹp hơn nữa khoảng cách cạnh tranh giữa Samsung và các đối thủ Intel và TSMC, đồng thời có khả năng cao sẽ giúp hãng giành được các đơn đặt hàng từ Apple.

TradingKey - Vào ngày 7 tháng 7 (giờ EST), cổ phiếu SpaceX (SPCX) đã giảm xuống mức thấp nhất là 150,55 USD trong đầu phiên giao dịch, cận kề mức giảm xuống dưới giá niêm yết ngày đầu tiên một lần nữa. Tính đến thời điểm báo chí đưa tin, cổ phiếu này đã giảm hơn 5%, giao dịch ở mức 150,85 USD. Đáng chú ý, SpaceX sẽ chính thức được đưa vào Chỉ số Nasdaq 100, trở thành cổ phiếu thành phần đầu tiên trong lịch sử chỉ số này có hoạt động kinh doanh cốt lõi là bay vào vũ trụ. Bất chấp những kỳ vọng về lực mua thụ động nhờ việc lọt vào rổ chỉ số, SpaceX hiện đang phải đối mặt với các vụ kiện liên quan đến hoạt động kinh doanh cốt lõi của mình.

TradingKey - Vào ngày 7 tháng 7 (theo giờ miền Đông), căng thẳng địa chính trị một lần nữa leo thang khi hai cuộc xung đột quân sự liên tiếp xảy ra đã kích hoạt đà phục hồi của giá dầu. Sau khi Iran phóng ít nhất hai tên lửa vào nhiều tàu thương mại ở Eo biển Hormuz, Ukraine đã tiến hành một cuộc tấn công bằng máy bay không người lái vào nhà máy lọc dầu lớn nhất của Nga. Những cuộc xung đột quân sự liên tiếp này đã phá vỡ bối cảnh địa chính trị vừa mới hạ nhiệt gần đây. Chịu tác động từ hai cuộc xung đột, cả hai hợp đồng dầu thô tương lai chủ chốt đều tăng trên diện rộng. Tính đến thời điểm đưa tin, giá dầu thô tương lai WTI đã tăng 2,49% lên mức 70,26 USD, trong khi giá dầu thô tương lai Brent tăng 2,7% và giao dịch ở mức 74 USD.