当前位置:网站首页>Discrete mathematics: propositional symbolization of predicate logic
Discrete mathematics: propositional symbolization of predicate logic
2022-07-05 00:58:00 【Xiaobai Xiaozheng】
Individual words
- Individual constant or individual constant : Use x, y, z Express
- Individual variable or individual variable : Use a, b, c Express
- Individual domain or discourse : Value of individual argument
- Total individual domain : Everything in the universe
The predicate
- Concept : A word that indicates the nature of an individual or the relationship between them
- Illustrate with examples :A(x) Can mean x It's the students ,B(x,y) Can mean x Greater than y
quantifiers
- Full name quantifier ∀:∀x Represents all x
- There are quantifiers ∃:∃x Indicates that x
exercises
The individual domain is limited to (a) and (b) When the conditions , Symbolize the following proposition :
proposition :
(1) For any x, There are x2-5x+6=(x-2)(x-3).
(2) There is x, bring x+1=0.
Conditions :
(a) Individual domain D1 Is a set of natural numbers .
(b) Individual domain D2 Is a set of real numbers .
Explain : Make F(x):x2-5x+6=(x-2)(x-3),G(x):x+1=0
For conditions (a), Individual domain D1 After symbolization
(1) ∀xF(x), True proposition .
(2) ∀xG(x), False proposition , Natural number is greater than or equal to 0.
For conditions (b), Individual domain D2 After symbolization
(1) ∀xF(x), True proposition .
(2) ∀xG(x), True proposition .
Proposition symbolization
The basic formula
F(x):x Have the quality of F
G(x):x Have the quality of G
(1) There are properties in the individual domain F All individuals have properties G
Proposition symbolization :∀x(F(x)→G(x))
(2) There are properties in the individual domain F And nature G The individual of
Proposition symbolization :∃x(F(x)∧G(x))
Propositional symbolization steps
(1) Determine the scope of individual domain ( Human beings gather 、 Total individual domain …)
(2) Definite predicate (G(x):x Prime number 、F(x):x Born myopia …)
(3) Get the symbolic result of proposition
exercises
Not all rabbits run faster than turtles .
Explain :
(1) The individual domain is the total individual domain
(2)F(x):x It's a rabbit ,G(y):y It's a turtle
--------H(x,y):x Than y Run fast
(3)¬∀x(F(x)∧∀y(G(y)→H(x,y)))
边栏推荐
- pycharm专业版下载安装教程
- User login function: simple but difficult
- lambda表达式
- 6. Scala operator
- (脚本)一键部署redis任意版本 —— 筑梦之路
- Hologres query management and timeout processing
- 1189. Maximum number of "balloons"
- Les phénomènes de « salaire inversé » et de « remplacement des diplômés » indiquent que l'industrie des tests a...
- 2022.07.03(LC_6109_知道秘密的人数)
- 2022.07.03 (LC 6109 number of people who know secrets)
猜你喜欢
“薪资倒挂”、“毕业生平替” 这些现象说明测试行业已经...
Innovation leads the direction. Huawei Smart Life launches new products in the whole scene
2022.07.03(LC_6108_解密消息)
Les phénomènes de « salaire inversé » et de « remplacement des diplômés » indiquent que l'industrie des tests a...
Several simplified forms of lambda expression
leetcode494,474
Postman automatically fills headers
4. Scala writes HelloWorld in idea, in-depth analysis of accompanying objects, and association of source packages
Poap: the adoption entrance of NFT?
Hisilicon 3559 universal platform construction: YUV422 pit stepping record
随机推荐
“薪資倒掛”、“畢業生平替” 這些現象說明測試行業已經...
Liangzai's first program life and annual summary in 2022
Leetcode70 (Advanced), 322
npm install报错 强制安装
Les phénomènes de « salaire inversé » et de « remplacement des diplômés » indiquent que l'industrie des tests a...
What you learned in the eleventh week
Implementation steps of master detail detail layout mode of SAP ui5 application
[Yocto RM]11 - Features
Maximum number of "balloons"
各大主流编程语言性能PK,结果出乎意料
URLs and URIs
Chia Tai International Futures: what is the master account and how to open it?
揭露测试外包公司,关于外包,你或许听到过这样的声音
Call Huawei order service to verify the purchase token interface and return connection reset
Getting started with Paxos
The performance of major mainstream programming languages is PK, and the results are unexpected
[FPGA tutorial case 9] design and implementation of clock manager based on vivado core
User login function: simple but difficult
2022.07.03 (LC 6109 number of people who know secrets)
Relationship between classes and objects