formal method lecture 2: propositional logic

每一个都是一个能够判断是真的还是假的

atomic是能够判断对错的

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)

找真值表

如果有一个组合满足就可以

1 0
0 1
1 1
0 0

右键，两个指头按一下就行

总结

以上是生活随笔为你收集整理的formal method lecture 2: propositional logic的全部内容，希望文章能够帮你解决所遇到的问题。

如果觉得生活随笔网站内容还不错，欢迎将生活随笔推荐给好友。