Tag: OpenLab7
Logic on Math StackExchange
- What are the names that you should give to statements which can be true or false? June 6, 2023I'm compiling a set of notes for high school students about logic and proof and at one point, I write the following: Let $A$ and $B$ be statements. Then $A \implies B$ means ''if $A$ is true then $B$ is true.'' But the following was my definition of a statement: A (mathematical) statement is a […]James
- Epistemic puzzles and rule RK June 6, 2023So I came across epistemic puzzles, or specifically the "Surprise Exam"/"Prediction Paradox" and found some explanation by Wesley H. Holliday, however there is a normal modal logic K used together with the rule: How is this rule semantically and syntactically sound for the logic K? If $m=0$ the rule is basically standard necessitation but what […]jjbinks
- Need help with using fitch system for this proof: Given ¬q, (¬p⇒(¬q⇒¬r)), (s∨r), (s⇒t), and (p⇒t), prove t. [duplicate] June 6, 2023I am having difficulty using the Fitch proof system for the following proof: Given ¬q, (¬p⇒(¬q⇒¬r)), (s∨r), (s⇒t), and (p⇒t), prove t. I'm able to use the following rules: Reiteration, Negation introduction, Negation elimination, And introduction, And elimination, Or introduction, Or elimination, Assumption, Implication elimination, Biconditional introduction, Biconditional elimination, Universal introduction, Universal elimination, Existential introduction, […]JCKing87
- What is the relationship between ultrafilters and propositional theories? June 6, 2023I am learning more about how to use ultrafilters by using them to prove several of the typical results which appear as applications of propositional (or first-order) compactness. Generally speaking, as I try to work out the proofs, I begin to see that ultrafilters produce precise descriptions/specifications certain desirable points (in the sense of what […]John
- Does uniqueness imply existence for the solution of a finite dimensional linear system? June 6, 2023I have a rather naive question concerning a logical implication. Fact: A finite dimensional linear system has either no solution, a unique solution or infinitely many solutions. Now to my question: Suppose I am given a finite dimensional linear system from which I do not know whether a solution exists but I do know that […]Rhjg
- How would you translate this sentence into first-order logic (bolded part)? June 6, 2023From the Wikipedia page of Laramie County: Laramie County is a county located at the southeast corner of the state of Wyoming. As of the 2020 United States Census, the population was 100,512 or 17.4% of the state's total 2020 population, making it the most populous county in Wyoming, but the least populous county in […]Lisramic
- Construct a proof for the argument $Q\to R \vdash P\to (Q\to R)$ [closed] June 6, 2023I can't seem to find the correct answer to this problem. I need help.Michelle
- Bisimulation games to compare equivalent but not bisimilar BML models June 6, 2023Two BML models M, w and N, w' are given: in M, w has with infinitely many R-transitions of finite length, and in N, w' has infinitely many R-transitions and also includes an infinite-length R-transition. How can one use bisimulation games to prove that M, w and N, w' are equivalent but not bisimilar?daci
- Can the Completeness Theorem be proven constructively in a natural-deductive system? June 5, 2023In Sets, Logic and Computation the following is said of the Completeness Theorem: When completeness is thought of as “whenever $\models A$ then $\vdash A$,” it may be hard to even come up with an idea: for to show that $\vdash A$ we have to find a derivation, and it does not look like the […]zaq
- What is $r^-1(B)$ if $r$ is a rule and $B$ is an expression in a proof system? June 5, 2023In the first paragraph, what does $r^{-1}(B)$ mean? Does it have something to do with relations? e.g if $A$ is a relation then $A^{-1}$ is the inverse of that relation. Its from a paper about the hilbert system: https://www3.cs.stonybrook.edu/~cse541/chapter8.pdflightyourassonfire
Recent Comments