109-2 [二技一 & 四技二] W14(02)-27May2021-HW (Truth-conditional semantics 1)

這部分開始跨領域，你/妳自己決定要吸收多少。

期末考還是會以語意學的角度出發(但不可避免地會有交集產生，尤其是集合、命題判定和真值表)。

[HW]

6/3上課前把lexical semantics的分類做好(synonym, antonym, etc.)

1. Review of W13 [semantics]

2. Reading

(a) [Analyzing meaning by Kroeger (2019)]

(pp.35-47)

(pp.53-72)

3. Types of predicate

(a) [predicate] (mathematics)

https://www.geeksforgeeks.org/mathematic-logic-predicates-quantifiers/

(b) [predicate] (linguistics)

https://glossary.sil.org/term/predicate

[Logic]

1 What is conjunction?

shorturl.at/zFLT3

2 What is disjunction?

shorturl.at/gpuY5

3 What is negation?

shorturl.at/dioH6

4 What is predicate?

shorturl.at/dgjG4

5 What is implication? (If..., then...)

shorturl.at/twEV3

6 What is proposition?

shorturl.at/wBKSU

7 What is equivalence?

shorturl.at/fxJY4

[Propositional logic]

8. What is propositional logic?

shorturl.at/arsAT

9. Predicate logic and quantifier negation

shorturl.at/eikF1

[笛摩根定律De Morgan's Theorem / Laws]

[中文版]

(1) shorturl.at/coFL6

(2) shorturl.at/fglU1

[英文]

(1) Logic - DeMorgan's Laws of Negation

shorturl.at/disX5 [Form]

(2) 3 Ways to Show a Logical Equivalence | Ex: DeMorgan's Laws

shorturl.at/bkqDQ [More concrete examples]

[謂詞邏輯中文版]

Week 1

shorturl.at/eSU67

Week 2

shorturl.at/pELVY

Week 3 (到39:46)

shorturl.at/uvOQ5