Lecture: HGX308, M 9:5511:35
Section: HGX307, R 18:3020:10
Teach
Set Theory II 2020
Online Lecture: Lecture 01 Slides
Mathematical Logic 2019
Modal Logic 2019
Lecture: H5116, F 8:009:40
Section: HGW2403, F(e) 18:3020:10
Textbook: https://doi.org/10.1017/CBO9781107050884
Computability Theory 2019
Lecture: H5312, W 18:3020:10
Section: H5312, W 20:2021:05
This course is based on Shore‘s lecture note. Here is some solutions for the exercises.
Mathematical Logic 2018
Modal Logic 2018
Lecture: HGX205, M 18:3021
Section: HGW2403, F 18:3020
Exercise 01
 Prove that \(\neg\Box(\Diamond\varphi\wedge\Diamond\neg\varphi)\) is equivalent to \(\Box\Diamond\varphi\rightarrow\Diamond\Box\varphi\). What you have assumed?
 Define strategy and winning strategy for modal evaluation games. Prove Key Lemma: \(M,s\vDash\varphi\) iff V has a winning strategy in \(G(M,s,\varphi)\). Prove that modal evaluation games are determined, i.e. either V or F has a winning strategy.
And all exercises for Chapter 2 (see page 23, open minds)
Exercise 02
 Let \(T\) with root \(r\) be the tree unraveling of some possible world model, and \(T’\) be the tree unraveling of \(T,r\). Show that \(T\) and \(T’\) are isomorphic.
 Prove that the union of a set of bisimulations between \(M\) and \(N\) is a bisimulation between the two models.
 We define the bisimulation contraction of a possible world model \(M\) to be the “quotient model”. Prove that the relation links every world \(x\) in \(M\) to the equivalent class \([x]\) is a bisimulation between the original model and its bisimulation contraction.
And exercises for Chapter 3 (see page 35, open minds): 1 (a) (b), 2.
Exercise 03
 Prove that modal formulas (under possible world semantics) have ‘Finite Depth Property’.
And exercises for Chapter 4 (see page 47, open minds): 1 – 3.
Exercise 04

 Prove the principle of Replacement by Provable Equivalents: if \(\vdash\alpha\leftrightarrow\beta\), then \(\vdash\varphi[\alpha]\leftrightarrow\varphi[\beta]\).
 Prove the following statements.
 “For each formula \(\varphi\), \(\vdash\varphi\) is equivalent to \(\vDash\varphi\)” is equivalent to “for each formula \(\varphi\), \(\varphi\) being consistent is equivalent to \(\varphi\) being satisfiable”.
 “For every set of formulas \(\Sigma\) and formula \(\varphi\), \(\Sigma\vdash\varphi\) is equivalent to \(\Sigma\vDash\varphi\)” is equivalent to “for every set of formulas \(\Sigma\), \(\Sigma\) being consistent is equivalent to \(\Sigma\) being satisfiable”.
 Prove that “for each formula \(\varphi\), \(\varphi\) being consistent is equivalent to \(\varphi\) being satisfiable” using the finite version of Henkin model.
And exercises for Chapter 5 (see page 60, open minds): 1 – 5.
Exercise 05
Exercises for Chapter 6 (see page 69, open minds): 1 – 3.
Exercise 06
 Show that “being equivalent to a modal formula” is not decidable for arbitrary firstorder formulas.
Exercises for Chapter 7 (see page 88, open minds): 1 – 6. For exercise 2 (a) – (d), replace the existential modality E with the difference modality D. In the clause (b) of exercise 4, “completeness” should be “correctness”.
Exercise 07
 Show that there are infinitely many nonequivalent modalities under T.
 Show that GL + Id is inconsistent and Un proves GL.
 Give a complete proof of the fact: In S5, Every formula is equivalent to one of modal depth \(\leq 1\).
Exercises for Chapter 8 (see page 99, open minds): 1, 2, 4 – 6.
Exercise 08
 Let \(\Sigma\) be a set of modal formulas closed under substitution. Show that \[(W,R,V),w\vDash\Sigma~\Leftrightarrow~ (W,R,V’),w\vDash\Sigma\] hold for any valuation \(V\) and \(V’\). Define a \(p\)morphism between \((W,R),w\) and \((W’,R’),w’\) as a “functional bisimulation”, namely bisimulation regardless of valuation. Show that if there is a \(p\)morphism between \((W,R),w\) and \((W’,R’),w’\), then for any valuation \(V\) and \(V’\), we have \[(W,R,V),w\vDash\Sigma~\Leftrightarrow~ (W’,R’,V’),w\vDash\Sigma.\]
Exercises for Chapter 9 (see page 99, open minds).
Exercise the last
Exercises for Chapter 10 and 11 (see page 117 and 125, open minds).
为什么能行可计算的就是图灵可计算的（递归的）
这是对知乎问题为什么能行可计算的就是图灵可计算的 的回答。
如果我没理解错的话，题主想要问的实际上就是丘奇图灵论题（ChurchTuring Thesis）为什么成立。丘奇图灵论题简单地说就是：
一个自然数上的函数\(f:\mathbb{N}^n\to\mathbb{N}\)是能行可计算的（effectively computable），当且仅当它是图灵可计算的（Turing computable）。
Continue reading “为什么能行可计算的就是图灵可计算的（递归的）”
集合论和一阶逻辑的关系？
有朋友在知乎上问：
http://logic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf 最后一段：
 集合论可以被看作是一种一阶逻辑理论
 一阶逻辑的语法、语义概念都可以在集合论中定义， 关于一阶逻辑的定理可以被看作是集合论的定理
建立一阶逻辑时貌似很多定义都用了集合论描述。而集合论本身又可以被看作是一种一阶逻辑理论。不是有循环定义的嫌疑吗？
我在知乎的回答如下： Continue reading “集合论和一阶逻辑的关系？”