Hi everyone,

The review sheet for Exam #2, taking place on Thursday, 10/25, has been posted under `Classroom Resources/Exam Reviews`

. Let me know if you have any questions.

Best,

Prof. Reitz

Skip to the content

Hi everyone,

The review sheet for Exam #2, taking place on Thursday, 10/25, has been posted under `Classroom Resources/Exam Reviews`

. Let me know if you have any questions.

Best,

Prof. Reitz

- A question about S4 modal logic September 30, 2023I’ve been doing some proofs in S4 recently and noticed that the following holds: If $\phi$ is a wff and all positive literals $A$ that occur in $\phi$ are prefixed by either $\Diamond$ or $\Box$, then $\vDash_{S4} \Box \Diamond \phi \to \Diamond \Box \phi$. I’m trying to prove this by induction on the complexity of […]PW_246
- Negation of a statement validation September 29, 2023Let the statement be : "For any two real numbers $x,y,$ if $xAlex03
- In Presburger arithmetic: express "all numbers are odd or even" without using ∃ September 29, 2023I read in many places that in Presburger arithmetic the formula $∀x ∃y ((y + y = x) ∨ (y + y + 1 = x))$ expresses that every number is either even or odd. But as I understand, the restriction in Presburger arithmetic is on the use of existential quantification ($∃$), meaning one cannot […]Alfa Beta
- Logic equivalence question September 29, 2023I have a question about discrete mathematics question that I have been struggling to solve. Here is the question: Each of the two rooms (room I and room II) contains either a lady or a tiger. If a room contains a lady, the sign on its door is true. If it contains a tiger, the […]Rozhan Mosaferfard
- Vacuous falsehood - does it exist, and are there examples? September 28, 2023I've ben struggling with the concept of vacuous truth, as used (1) in proving implications, (2) as base cases for induction proofs. To help me understand, it would be useful to understand if the concept of vacuous falsehood exists, and if so, what simple examples might be. Discussion This question comes from the notion that […]Penelope
- Is the following correct concerning mathematical logic? September 28, 2023After having read initial chapters and solved questions from Prof. Tao's Real Analysis book, I decided to go through the appendix which explains Mathematical logic and proof writing because I was having issues with 'vacuously true if-then' type proofs. Apologies beforehand for the diverse nature of the questions I have, stated below, but I will […]Quorthon
- What is the difference between propositional constants, propositional variables and schematic letters in propositional calculus? September 28, 2023I am about to start the logic module in my first year undergraduate computer science course so have been reading through the propositional logic Wikipedia page.(https://en.wikipedia.org/wiki/Propositional_calculus). Mathematicians sometimes distinguish between propositional constants, propositional variables, and schemata. Propositional constants represent some particular proposition, while propositional variables range over the set of all atomic propositions. Schemata, however, […]Jacob
- A doctrine is a categorification of a theory September 28, 2023So it says in the nlab page of doctrine. Let's focus on first order theories for simplicity. I have two questions, one regarding vertical categorification and another regarding horizontal categorification. My final goal would be to understand first order hyperdoctrines as a vertical categorification of first order theories with possibly some extra conditions. First I […]Julián
- Quantifier elimination in ACF from an example September 28, 2023The (first order) theory of algebraically closed field (ACF) admits quantifier elimination. That means that for each (possibly) quantified statement $\phi$ in the theory, we can construct a statement $\psi$ without quantifiers such that it is a theorem of ACF that $\phi \iff \psi$. I would like to understand how this works, on a particular […]Weier
- I believe in a different logic where there is no Gödel incompleteness theorem [closed] September 28, 2023In my logic, a sentence can be true, false, or meaningless. An example of meaningless sentence would be liar paradox. Now assume there is a theory T which formalizes the classical arithmetic. For sure, you can construct a Godël sentence but its interpretation is not the same, it now says : You can construct a […]François

"Math Improve"
.999
1
assignment
assignments
calculus
calendar
Doodling
exam #3
exam 3 grades
final papers
grading criteria
grading policy
graph theory
group paper
group project
homework
logic
mathography
metacognition
only if
openlab
OpenLab #4: Bridges and Walking Tours
OpenLab7
OpenLab 8
OpenLab8
Open Lab 8
openlab assignment
perfect circle
points
presentation
project
resource
rubric
semester project
spring classes
vi hart
ViHart
visual math
Wau
webwork
week 8
week 14
welcome
written work

© 2023 2018 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.

## Recent Comments