合式公式的层次
几个定义
(1)若公式A是单个的命题变项,则称A为0层公式;
(2)对下面的情况,称A是n+1(n≥0)层公式:
(a) A= ┐B,B是n层公式;
(b) A=B∧C,其中B,C分别为i层和j层公式,且n=max(i,j);
(c) A=B∨C,其中B,C的层次及n同(b);
(d) A=B→C,其中B,C的层次及n同(b);
(e) A=B←→C,其中B,C的层次及n同(b).
1.(┐p∧q)→r
2 .(┐(p→┐q))∧((r∨s)←→┐p)
一个是3层公式一个是4层是怎么分开的,有点晕,
人气:458 ℃ 时间:2019-12-08 14:23:54
解答
1.p是0层公式,由(a)┐p是0+1=1层公式,┐p是1层公式,q是0层公式,故由(b)(┐p∧q)是max(1,0)+1=1+1=2层公式,(┐p∧q) 是2层公式,r是0层公式,由(d)(┐p∧q)→r是max(2,0)+1=2+1=3层公式.2.同上 ┐(p→┐q) 是3层公式,((...
推荐
猜你喜欢
- 请问I am lily who live in Paris.和 I am lily who lives in Paris 哪个正确
- 一个长方体冰柜,从里面量90cm,宽50cm,深50cm.它的容积是多少立方分米
- 美学中的名词解释 .
- “1.5*X的值等于3.6:4.8的值”怎么算比例(数学)
- 英语翻译
- 复合重句 中,where 和which用法有点歧义,如下题
- 甲乙两人相向而行甲的速度是20千米/小时,乙的速度是18千米/小时,他们在离中点3千米是相遇,问全?
- 在四边形ABCD中,AB>CD.E.F分别是对角线BD.AC的中点,求证:EF>1/2(AB-CD)