Hi everyone,

The grades for Exam #3 are posted on the “Grades page – the exams will be returned on Tuesday. Let me know if you have any questions.

Regards,

Prof. Reitz

Skip to the content

Hi everyone,

The grades for Exam #3 are posted on the “Grades page – the exams will be returned on Tuesday. Let me know if you have any questions.

Regards,

Prof. Reitz

Hi everyone,

The review sheet for Exam #3, taking place next Tuesday 11/22, is posted under `Classroom Resources / Exam Reviews`

. As always, if you have any questions or notice any errors please let me know (by email, in person, or here on the OpenLab).

Best,

Prof. Reitz

- How to prove that { ¬, →,$\forall$ } is a functionally complete set of connectors? June 1, 2023I already know how to prove that a set is functionally complete in propositional language without having the quantifier in the set. Now how can I prove tha this set { ¬, →,$\forall$ } is functionally complete in laguage of predicates ?Jazmine
- What are the order types of computable pseudo-ordinals with no c.e. descending chains? May 31, 2023The notion of a “computable pseudo-ordinal”, i.e. a computable linearly ordered set with no hyperarithmetical descending chains, is an old one going back to Stephen Kleene. Joe Harrison wrote the definitive paper on them in 1968, showing that any such linear order is either well-ordered or has order type $\omega_1^{CK}(1+\eta)+\alpha$ for some computable ordinal $\alpha$, […]Keshav Srinivasan
- Investigation on bijection between Axiomatic systems May 31, 2023As an undergraduate math major, I am planning to do a project investigating what conditions are necessary for a bijection to exist between two axiomatic systems. Should I do this topic and with the skills of understanding first order logic, is this an unattainable goal?Nobody It
- Proving $P\rightarrow Q$ is false by assuming $P$ and showing its possible that $\neg Q$? May 31, 2023Im being told my proof is invalid and its driving me crazy because i just dont understand how its not valid. Here: Proving that a theorem is invalid ($\left(A\cap B\right)\triangle C\subset \left(A\triangle C\right)\cap \left(B\triangle C\right)$) In my opinion, the statement is of the form: $P\rightarrow Q$, and what i have done is assumed $P$ and […]lightyourassonfire
- When proving a proposition is false or doing proof by counterexample, do you need to show an explicit example? May 31, 2023To prove a proposition is false, do you need to find an explicit example for which the proposition is not true, or can you just assume stuff and show it leads to a contradiction? For example: Suppose $R_1$ is a total order on $A_1$, $R_2$ is a total order on $A_2$, and $A_1\cap A_2=\emptyset$. Then […]lightyourassonfire
- Is a relation in partional order if its antisymmetric only sometimes? May 31, 2023$A$ = the set of all countries in the world. $R=\\{(x,y)\in A\times A: P(x) \le P(y)\\}$ $P(x)$ means population of $x$ The relation R is antisymmetric only if there are no countries with the same population, so this relation is only antisymmetric sometimes. So I guess the statement "$R$ is a partional order on A$ […]lightyourassonfire
- Levy hierarchy and the axiom of separation May 31, 2023I'm trying to understand how the Levy hierarchy does not contradict the axiom schema of restricted separation. In his paper on the set hierarchy Levy introduced satisfaction predicates which I think implies that for any fixed quantifier rank $k$, there is a predicate $\phi_k$ of the same rank with one additional free variable $x$ such […]Ari
- What is the most primitive notion in mathematics? May 30, 2023I had a recent conversation with a professional mathematician about the status of relations, functions and predicates. I was arguing that it seems intuitive (to me at least) to classify them in this hierarchy (as to which is more primitive): All predicates are functions. All functions are relations. The obvious problem here is that it […]daegontaven
- Who invented a way to measure the consistency of logical statements using cosine distance? May 30, 2023It seems as if the consistency of logical propositions is amenable to being measured using cosine distance. let $\ell$ be such a metric. For any proposition $P$, it is the case that $P$ is consistent with itself, so $\ell(P, P) = 1$ For any proposition $P$, it is the case that $P$ is not consistent […]Lisramic
- Using Fitch proof system to for: Given ¬q, (¬p⇒(¬q⇒¬r)), (s∨r), (s⇒t), and (p⇒t), prove t. May 30, 2023I've been tasked with using the fitch proof system to do the to complete the following proof: Given ¬q, (¬p⇒(¬q⇒¬r)), (s∨r), (s⇒t), and (p⇒t), prove t. I'm experiencing difficulty getting this done. I've tried by assuming ¬t, proving a contradiction and thereby deriving ¬¬t, and then using negation elimination to get t. I've also tried […]JCKing87

advice for the future
assignment
assignments
calculus
calendar
cancelled
conjecture
date change
due date
exam #3
exam 1
exam 2
extension
grades
grading criteria
grading policy
graph theory
group paper
group project
homework
in-class
late
lockhart's lament
mathography
metacognition
MIU puzzle
office hours
openlab
OpenLab #4: Bridges and Walking Tours
OpenLab 8
OpenLab8
perfect circle
points
presentation
project
resource
review
rubric
semester project
vi hart
visual math
Wau
webwork
week 8
written work

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

## Recent Comments