每一個(gè)都是一個(gè)能夠判斷是真的還是假的

atomic是能夠判斷對(duì)錯(cuò)的

from simple to complex

p and q are formula

negation of p and negation of q are also formula

conjunction

not p and not q are formulas

(p and q) or (not p and not q )

assigning the truth value to the values

interpretation is mapping atomic propositions with truth values

assigning atomic propositios

I1§ = T

I1(q) = T

I3 = F

and

I3 = T

I assigns the truth values to the

atomic propositional

go to construtors

flip the truth value

(p->q)^(p->~q)

找真值表

如果有一個(gè)組合滿足就可以

1 0
0 1
1 1
0 0

右鍵，兩個(gè)指頭按一下就行

總結(jié)

以上是生活随笔為你收集整理的formal method lecture 2: propositional logic的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。