Tag: .999
Handy Links
Logic on Math StackExchange
- Can a contradiction prove a contradiction like this? May 28, 2023If I prove the implication ¬P ⇒ ¬R∧R, and then I prove the implications ¬R ⇒ Q, R ⇒ ¬Q, is it valid to say ¬P ⇒ Q∧¬Q? I am unsure because while it is the case that Q and ¬Q both follow from P, it seems that we may have assumed that R is […]God
- About inference in mathematical induction of first-order predicate logic. May 28, 2023In induction of first order logic, reasoning with n∈ℕ : P(n)➞P(n+1). {n=1,P(1)} ⊨ P(1) k∈ℕ, {∃k: P(k)} ⊢ P(k+1) K:={ k | P(k), {P(k)} ⊢ P(k+1)} (then K⊂ℕ), {P(1) ∧ (P(1) → P(2))} ⊨ (P(2) ∧ 1∈K), {P(2) ∧ (P(2) → P(3))} ⊨ (P(3) ∧ 2∈K), ...... ∴∀n∈K, ⊨ (∀n: P(n) ∧ (P(n) → P(n+1))) […]DoP
- Does $(x\in A\land y\in B)$ follow from $xRy$? May 27, 2023I have defined “being in $R$-relation to” as: Given a binary relation $R\subseteq A\times B$ and the elements $x\in A$ and $y\in B,$ $$xRy\iff (x,y)\in R.$$ For $R$ to be injective, is $$(xRz\land yRz)\implies x=y$$ acceptable or is $$\forall x, y, z\;\big((x,y\in A\land z\in B \land xRz\land yRz)\implies x=y\big)$$ necessary? But doesn't $(x\in A\land y\in […]Leonardo Orietti Del Duca
- Existence of some syntactic deduction May 27, 2023Given an $\mathcal{L}-$language, prove if it exists or not a deduction for: $$\exists x_1 \exists x_2 \neg \varphi \vdash \neg \exists x_1 \exists x_2 \varphi $$ My idea is that if it exists a syntactic deduction, by the Soundness Theorem it follows the semantic implication, so a set composed of the first formula and the […]Superdivinidad
- Texts on the logic of chess May 27, 2023I am looking for texts that discuss the logic of the game of chess. I am sure there are a few such texts out there. Such a text might formalize chess in first-order logic. I would be very grateful if someone gave me a list of texts on the logic of chess.user107952
- If a set is arbitrary, can you prove something about it by constructing an example of it? May 27, 2023Let $R$ be a relation from $A$ to $B.$ Prove that $\operatorname{Domain}\left(R\right)\times \operatorname{Range}\left(R\right)\not\subset R.$ I need to show that there is some couple $(a,b)\in \operatorname{Domain}(R)\times \operatorname{Range}(R)$ such that $(a,b)\notin R.$ It is easy to show by example that the theorem is true: A={1,2} B={3,4} R={(1,3),(2,4)} Domain(R)={1,2} Range(R)={3,4} Domain(R) x Range(R)={(1,3),(1,4),(2,3),(2,4)} In this case, the theorem […]lightyourassonfire
- Need help with fitch proof May 27, 2023I've been tasked with using the fitch proof system to do the following: Given ¬q, (¬p⇒(¬q⇒¬r)), (s∨r), (s⇒t), and (p⇒t), prove t. I'm experiencing great difficulty doing this. I've tried to do so by assuming ¬t, proving a contradiction and thereby deriving ¬¬t, and then using negation elimination to get t. I've also tried to […]JCKing87
- Does $\Gamma \vDash \alpha \iff \Gamma \vDash \beta$ implies $\alpha \iff \beta$? May 27, 2023I think it doesn't, because if $\Gamma \vDash \alpha \iff \Gamma \vDash \beta$, then, by definition: $v(\Gamma) = 1 \to v(\alpha) = 1 \iff v(\Gamma) = 1 \to v(\beta) = 1$, which is the same as: $(v(\Gamma) = 1 \to v(\alpha) = 1) \land v(\Gamma) = 1 \iff v(\beta) = 1$, and we can simplify […]Jonas
- Strategies for proving completeness for an extension of Intuitionistic Logic May 26, 2023Recently I’ve been working on axiomatizing a logic that results from adding a new operator to standard Intuitionistic Logic. I use $\sim$ for standard intuitionistic negation, and $\neg$ for the new “weak” negation operator. I have previously posted about this logic here Question about an extension of Intuitionistic Logic . In this post I use […]RW_123
- Shoenfield absoluteness lemma with just $\mathsf{ZF}$? May 26, 2023Shoenfield's absoluteless lemma asserts that if $\sigma$ is a $\Sigma_2^1$ statement (in arithmetic), then it is absolute to all inner models of $\mathsf{ZF} + \mathsf{DC}$. I am aware that this result applies to all models of $\mathsf{ZF}$. However, all proofs that I see uses the absoluteness of well-foundedness, which requires $\mathsf{DC}$. According to this answer […]Clement Yung
Recent Comments