分别在(a),(b)时将下面命题谓词逻辑符号化,并讨论各命题的真值 (1)凡整数都能被2整队。 (2)有的整数能被2整队。 其中,(a)个体域为整数集合, (b)个体域为实数集合。
分别在(a),(b)时将下面命题谓词逻辑符号化,并讨论各命题的真值 (1)凡整数都能被2整队。 (2)有的整数能被2整队。 其中,(a)个体域为整数集合, (b)个体域为实数集合。
参考答案和解析
设I(x):x是整数;Q(x):x是有理数;P(x):x是素数;则符号化原命题为: x(I(x)→Q(x)), x(I(x)∧P(x)) x(Q(x)∧P(x)). 证明结论的有效性如下: ① x(I(x)∧P(x)) P ②I(a)∧P(a) ①ES ⑧ x(I(x)→Q(x)) P ④I(a)→Q(a) ③US ⑤I(a) T②I ⑥Q(a) T④⑤I ⑦P(a) T②I ⑧Q(a)∧P(a) T⑥⑦I ⑨ x(Q(x)∧P(x)) ⑧EG
相关考题:
设f:Z×Z→Z,f()=n2k,其中Z为整数集合,下面命题为真的是 Ⅰ.f是满射的 Ⅱ.f是单射的 Ⅲ.F-1(N 设f:Z×Z→Z,f(<n,k>)=n2k,其中Z为整数集合,下面命题为真的是Ⅰ.f是满射的Ⅱ.f是单射的Ⅲ.F-1(N)=ZXN(N 为自然数集合)Ⅳ.f(z{1})=NA.Ⅰ和ⅡB.Ⅰ和ⅣC.Ⅰ和ⅢD.全为真
在Excel 2003中,将某单元格数值格式设置为"#,##0.00",其含义是()A:整数4位,保留2位小数B:整数4位,小数2位C:整数4位,千位加分节符,保留2位小数D:整数1位,小数2位
现有以下程序: Private Sub Command1 Click( ) c1=0 c2=0 For i=1 To 100 If i Mod 3=0 Then c1=c1+1 Else If i Mod 7=0 Then c2=c2+1 End If Next i Print c1+c2 End Sub 此程序运行后输出的是在1~100范围内( )。A.同时能被3和7整除的整数个数B.能被3或7整除的整数个数(同时被3和7整除的数只记一次)C.能被3整除,而不能被7整除的整数个数D.能被7整除,而不能被3整除的整数个数
如果用一个圆来表示词语所指称的对象的集合,那么以下哪项中三个词语之间的关系符合下图?A.①能被23整除的正整数,②6的因子,③10以内的正整数B.①20的因子,②40以内的正整数,③能被43整除的正整数C.①50以内的正整数,②能被41整除的正整数,③49的因子D.①100以内的正整数,②87的因子,③能被73整除的正整数
单选题与命题“能被6整除的整数,一定能被3整除“等价的命题是( ).A能被3整除的整数,一定能被6整除B不能被3整除的整数,一定不能被6整除C不能被6整除的整数,一定不能被3整除D不能被6整除的整数,不一定能被3整除
单选题下列命题为真的是()。A2是素数,且4是素数B2+1=0,且2+1=3C2是整数,且4是实数D2=0,或5比2小