TradingKey

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.

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.

• Giá dầu thô WTI tăng mạnh do căng thẳng địa chính trị leo thang ở Trung Đông. • Mỹ đã thu hồi các lệnh miễn trừ trừng phạt, đe dọa loại bỏ dầu mỏ Iran khỏi thị trường toàn cầu. • Lượng tồn kho dầu thô và xăng của Mỹ giảm đã cung cấp thêm sự hỗ trợ cơ bản cho giá dầu.

• Giá khí tự nhiên kỳ hạn tại Mỹ đã đạt mức cao nhất trong một tuần trong bối cảnh sản lượng nội địa sụt giảm. • Sản lượng khí khô tại 48 bang vùng hạ nước Mỹ đã giảm xuống còn 109,4 tỷ feet khối mỗi ngày. • Các đợt nắng nóng gia tăng và nhu cầu xuất khẩu LNG ngày càng tăng đang hỗ trợ tâm lý tăng giá hiện tại trên thị trường.

• Giá dầu thô Brent đã tăng trở lại sau khi các hoạt động xung đột quân sự gia tăng tại Trung Đông. • Hoa Kỳ đã thu hồi các giấy phép cho phép bán dầu thô của Iran. • Rủi ro địa chính trị đã thay thế những kỳ vọng trước đó của thị trường về tình trạng dư thừa nguồn cung dầu toàn cầu.

• Giá dầu thô Brent tăng sau các cuộc tấn công quân sự ở Trung Đông. • Bộ Tài chính Hoa Kỳ đã thu hồi giấy phép cho phép bán dầu mỏ của Iran trên toàn cầu. • Dự trữ dầu thô của Hoa Kỳ đã giảm tuần thứ mười hai liên tiếp trong bối cảnh nhu cầu vẫn kiên cường.

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.

• Ngân hàng Dự trữ New Zealand đã tăng Lãi suất Chiết khấu Chính thức thêm 25 điểm cơ bản. • Ngân hàng trung ương đã phát tín hiệu rằng việc thắt chặt chính sách tiền tệ hơn nữa có thể sẽ là cần thiết. • Căng thẳng địa chính trị và dữ liệu lao động yếu kém của Mỹ đã ảnh hưởng đến hiệu suất của cặp tỷ giá NZDUSD.

• Tâm lý né tránh rủi ro toàn cầu và thanh khoản vĩ mô thắt chặt đang gây áp lực lên định giá thị trường của BNB. • Sự giám sát chặt chẽ từ các cơ quan quản lý và hoạt động launchpool giảm bớt đã làm giảm nhu cầu của các tổ chức đối với BNB. • Sự sụt giảm lượng hợp đồng mở (open interest) của thị trường phái sinh và tổng giá trị bị khóa (TVL) trì trệ phản ánh áp lực bán tháo cục bộ.

• XRP giảm giá do gặp vùng kháng cự kỹ thuật, hoạt động chốt lời và tỷ lệ đòn bẩy phái sinh sụt giảm. • Việc được cơ quan quản lý tại Luxembourg chấp thuận đã không thể tạo ra động lực tăng giá ngay lập tức. • Dòng vốn đầu cơ dịch chuyển sang các altcoin có vốn hóa nhỏ hơn, gây áp lực lên giá ngắn hạn của XRP.

• SOLUSD giảm điểm do hoạt động chốt lời và việc thanh lý các vị thế mua sử dụng đòn bẩy quá cao. • Các nhà sở hữu quy mô lớn đã chuyển token lên các sàn giao dịch, làm gia tăng áp lực bán trong ngắn hạn. • Các yếu tố cơ bản trên chuỗi (on-chain) của Solana vẫn duy trì mạnh mẽ với khối lượng giao dịch xử lý kỷ lục và dòng vốn chảy vào từ các tổ chức.

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.

• Đồng Đô la New Zealand đã tăng giá so với đồng Đô la Mỹ trước thềm các quyết định chính sách. • Thị trường kỳ vọng Ngân hàng Dự trữ New Zealand sẽ sớm tăng lãi suất. • Dữ liệu việc làm yếu kém của Mỹ và các lộ trình lãi suất phân kỳ đã làm suy yếu đồng Đô la Mỹ.