Hi everyone,

As announced in class on Thursday, WeBWorK #4 has been extended by 1 week – it is now due on 9/27 at midnight.

NOTE: WeBWorK #3 is still due this Tuesday, 9/20, at midnight.

Best,

Prof. Reitz

Skip to the content

Hi everyone,

As announced in class on Thursday, WeBWorK #4 has been extended by 1 week – it is now due on 9/27 at midnight.

NOTE: WeBWorK #3 is still due this Tuesday, 9/20, at midnight.

Best,

Prof. Reitz

- Can Cantor's diagonal argument be used for an informal proof of the internal inconsistency of formal logic systems? May 18, 2022So I've been thinking about how Cantor's diagonalization argument might be analogous to Tarski's theorem on the undefinability of truth ("Arithmetical truth can't be defined in arithmetic") and Godel's incompleteness theorems ("Consistent formal arithmetic systems contain statements that are unprovable within the system, one of which is "this system is consistent""). If you have a […]Gabriel Dunin-Borkowski
- How do I translate this pattern of sentence into a quantified statement using logical operators? May 18, 2022How do I translate this pattern of sentence into a quantified statement using logical operators? (It's basically introducing a new symbol, "b" in this case, in a proof.) So a = xb where b is the integer yc. Do I go $∃b ∈ Z, (b = yc ∧ a = xb)$ or $(∃b ∈ Z […]j to the j
- Is there a counterexample for this statement? May 18, 2022$(astics
- Notation for the set of conjonctions of two adjacent level of the levy hierarchy May 18, 2022Let $\Sigma_n$ and $\Pi_n$ be two levels of the levy hierarchy. We consider the set of formulas $$\Gamma = \left\{ \phi \wedge \psi, \phi \in \Sigma_n, \psi \in \Pi_n \right\}$$ Is there a common name for such a $\Gamma$ ? Something like $\Sigma_n \cup \Pi_n$ or $\Sigma_n \wedge \Pi_n$ ?Johan
- $A$ says "I am a knight" and $B$ says "$A$ is a Knave?" therefore what is $A$ and $B$? May 18, 2022$A$ says "I am a knight" and $B$ says "$A$ is a Knave?" therefore what is $A$ and $B$ ? The logic is Knights always tell the truth and Knaves always lie. What I'm thinking is that $A$ is knight and $B$ is knave because if what $A$ says is true then $B$ says the […]Itachi
- What strategies could be used to prove the validity of this argument in order to not violate restrictions on universal generalization (Hurley) May 17, 2022I'm considering a particular argument while working through Hurley's Concise Introduction: 1. (x)(Ax -> Bx) 2. (x)(Bx -> (E!y)Cxy) 3. (x)(Cxy -> Dx) / (x)(Ax -> Dx) I verified the validity of this argument using truth-trees. However, moving on to actually deriving the conclusion, my current strategy is to use conditional proof: 1. (x)(Ax -> […]Zzig
- Should the word "or" be exclusive or inclusive when stating a theorem? May 17, 2022Let $X$ and $Y$ be arbitrary sets. Further, let $X'\subset X$ and $Y', Y''\subset Y$, where and $Y'\neq Y''$. I am currently stating (and proving) a theorem of the form \begin{gather} x\in X'\Leftrightarrow (y\in Y')\vee(y\in Y'') \end{gather} I am, however, writing this theorem in English. Hence, I am currently writing \begin{gather} \textit{x belongs to X […]Hector
- Is Kleene's realizability recursive? May 17, 2022Kleene introduced realizability as a practical semantical interpretation of Heyting Arithmetic (see link for definition). The key result he proved is that provability of $\varphi$ in HA implies the existence of a realizer $n \in \mathbb{N}$ for $\varphi$. Two questions: Is $n$ computable from the Gödel code of $\varphi$? Or otherwise, is it at least […]Jori
- Write the truth value of the following statement below [closed] May 17, 2022Write the truth value of the following statement: If x/y = 0, then y should not be equal to zero If x > y, then x + 3 < y + 3Krungkrung
- Consistent full Horn theories of two structures May 17, 2022Suppose that two structures $A$ and $B$ whose cardinality is greater than 1 (added in a revision) have the same positive primitive theory. Does it follow that the union of the full Horn theory of $A$ and that of $B$ is consistent? (Here I allow possibly empty finite conjunctions in the antecedent of a basic […]Pteromys

advice
advice for the future
advice from the future
advice from the past
assignment
assignments
Bridges
chapter 7
chapter 8
conjecture
date
exam
exam #3
exam 1
exam 2
exam 2 review
getting started
grades
group paper
homework
join
lockhart's lament
login
metacognition
midsemester grades
MIU puzzle
office hours
openlab
OpenLab #4: Bridges and Walking Tours
openlab 7
OpenLab8
OpenLab 8
openlab assignment
perfect circle
project
puzzle
reflection
resource
review
vi hart
Walking Tours
webwork
welcome
writing
written work

© 2022 2016 Fall – MAT 2071 Proofs and Logic – Reitz

Theme by Anders Noren — Up ↑

Our goal is to make the OpenLab accessible for all users.

top

Our goal is to make the OpenLab accessible for all users.

## Leave a Reply