🚝

Chapter 10:A Little

Propositional Logic ( mệnh đề)
Có 6 chủ đề chính

Conjunction (kết hợp)

Meanings:

two simple statement connect each other with AND or &

Two simple statement sign in p and q (other letter are available)

Tính bằng TRUTH TABLE: list of possible true value. Sign: True/False

Perform of truth table

Example
“Tina is tall, and Sarah is tall” as “p & q”

Word caution

Chỉ có anh trong vai trò là nối 2 statement mới là đúng chứ như “Tom
and Petter” là sai nheee

How to identified simple statement: 2 question:

What’s does the statement mean?

Does the statement consist of two simple statements?

→ If it does→ COMPOUND
→ If it doesn’t → SIMPLE

Word similar AND: But, yet ,while ,whereas, although, though, however

conjunction and validity

Chapter 10:A Little Propositional Logic ( mệnh đề) 1

 Symbolized:

kết luận ∴
Premise của đề is marked by *

conclusion marked with C

T/F của valid hay in valid will draw circle

NOTE: xét conclu hay pre là dựa vào đề bài nhaaaa

Example:

Franklin is short and stout.

So, Franklin is shor

Rules of valid and invalid:

Premise( p dới q akkk) true mà conclusion also true→ valid

Premise true but conclusion false → invalid

How to identified valid and invalid

B1: Vẽ bẳng p,q and p&q

B2: Xác định và vẽ sign premise and conclusion

B3: Khoanh các trường hợp * là T( chỉ xét true hoi nhaaa)

B4: từ * coi C akk.

Chapter 10:A Little Propositional Logic ( mệnh đề) 2

 Nếu * T and C True→ valid

Còn * T and C F→ invalid

B5: Kết luận đề bài ( Xét hết mấy cái * là True, dù 1 cái * True mà c False thì
cũng là invalid nhaaaa)

negation ( phủ định)

Meaning

the use of word NOT

Sign: ~+premise (not p→ ~p)

Symbolized:

IT IS NOT A CASE THAT p and q → ~(p&q)

p is NOT…and q is NOT… → ~p & ~q

Cách làm

Cách làm dống conjunc nhưng thêm cái phủ định của p and q và kết
luận theo đề bài

Deeper analysis of negation and conjunction

Meanings: là có 3 mệnh đề akkk

Cách làm giống mấy cái ở trên hoiiii.

Disjunction

Meanings:

Chapter 10:A Little Propositional Logic ( mệnh đề) 3

 Sigh for OR

Two or more statement

Symbolized: p v q

2 type:

Exclusive sense: “A or b” means “a or b, but not both”

Nonexclusive sense: “A or b” means “at least a or b, but maybe

both”

→ QUY ƯỚC là dùng cái non nhaaa

Example:

p q pvq

T T T

T F T

F T T

F F F

Some caution must know

Rank is not angry or Hank is tired

~a v t

Frank is not angry or Hank is not tired

~a v ~t

It’s not the case that Frank is angry or Hank is tired

~(a v t)

Neither is Frank angry nor is Hank tired

~(a v t)

Frank is not angry and Hank is not tired

(~a & ~t)

Conditional statement

Meanings

If statement ekkk

Chapter 10:A Little Propositional Logic ( mệnh đề) 4

 2 part:

Antecedent (p): là câu có if ak

Consequent(q): follow the, là câu sau dấu phẩy hoặc vế 2 của IF

akkk

Symbolized: p → q (true hay false phụ thuộc vào cái thằng được mũi tên
chỉ dào)

p q p🡪q

T T T

T F F

F T T

F F T

How to draww

If it did not rain, then the game was played

~p🡪q

If it did not rain, then the game was not played

~p🡪~q

It is not the case that if it rained then the game was played

~(p🡪q)

🚖 chapter 10.1
🧥 Bài tập chap 10.2
🌘 Bài tập chapter 10.3
🎽 Bài tập chapter 10.4
🧸 Bài tập chap 10.5
✒ Bài tập chapter 10.6

Chapter 10:A Little Propositional Logic ( mệnh đề) 5